Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sarah Winkler
Multi-Completion With Termination Tools
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
Termination Checking With Types
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Melanoma Patients With Positive Sentinel Nodes Who Did Not Undergo Completion Lymphadenectomy: A Multi-Institutional Study
Annals of Surgical Oncology
Oncology
Surgery
Interval Completion With Few Edges
Proving Termination With Multiset Orderings
Communications of the ACM
Computer Science
Comprehensive Study of Multi-Resource Cloud Simulation Tools
International Journal of ADVANCED AND APPLIED SCIENCES
Nonconvex Matrix Completion With Nesterov’s Acceleration
Big Data Analytics
Technology Review of Multi-Agent Systems and Tools
Supporting Worth Mapping With Sentence Completion
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Termination and Non-Termination Specification Inference
ACM SIGPLAN Notices
Computer Science
