Sarah Winkler

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover Journal of Automated Reasoning	2023-06-14	Paper
CTL* model checking for data-aware dynamic systems with arithmetic (available as arXiv preprint)	2022-12-07	Paper
SGGS decision procedures	2022-11-09	Paper
Extending Maximal Completion (Invited Talk)	2022-07-18	Paper
Runtime complexity analysis of logically constrained rewriting (available as arXiv preprint)	2022-03-23	Paper
Completion for logically constrained rewriting	2021-06-15	Paper
scientific article; zbMATH DE number 7204438 (Why is no real title available?)	2020-05-26	Paper
Certified equational reasoning via ordered completion	2020-03-10	Paper
Abstract completion, formalized (available as arXiv preprint)	2019-09-13	Paper
Loop detection by logically constrained term rewriting	2018-12-07	Paper
MædMax: a maximal ordered completion tool	2018-10-18	Paper
AC-KBO revisited Theory and Practice of Logic Programming	2017-11-09	Paper
Formalizing soundness and completeness of unravelings Frontiers of Combining Systems	2017-02-27	Paper
Beyond Peano arithmetic -- automatically proving termination of the Goodstein sequence	2017-02-01	Paper
Normalized completion revisited	2017-02-01	Paper
Encoding dependency pair techniques and control strategies for maximal completion Automated Deduction - CADE-25	2015-12-02	Paper
Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations Journal of Symbolic Computation	2015-01-14	Paper
AC-KBO revisited Functional and Logic Programming	2014-07-24	Paper
Multi-completion with termination tools Journal of Automated Reasoning	2013-07-05	Paper
Ordinals and Knuth-Bendix orders Logic for Programming, Artificial Intelligence, and Reasoning	2012-06-15	Paper
scientific article; zbMATH DE number 6027911 (Why is no real title available?)	2012-04-25	Paper
AC completion with termination tools Lecture Notes in Computer Science	2011-07-29	Paper
Termination tools in ordered completion Automated Reasoning	2010-09-14	Paper
Multi-completion with Termination Tools (System Description) Automated Reasoning	2008-11-27	Paper

Research outcomes over time

This page was built for person: Sarah Winkler