Sarah Winkler

Available identifiers

zbMath Open winkler.sarahMaRDI QIDQ352953

List of research outcomes

Publication	Date of Publication	Type
Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover	2023-06-14	Paper
CTL* model checking for data-aware dynamic systems with arithmetic	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	2022-03-23	Paper
Completion for logically constrained rewriting	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q5111315	2020-05-26	Paper
Certified equational reasoning via ordered completion	2020-03-10	Paper
Abstract completion, formalized	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	2017-11-09	Paper
Formalizing soundness and completeness of unravelings	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	2015-12-02	Paper
Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations	2015-01-14	Paper
AC-KBO revisited	2014-07-24	Paper
Multi-completion with termination tools	2013-07-05	Paper
Ordinals and Knuth-Bendix orders	2012-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q5389156	2012-04-25	Paper
AC completion with termination tools	2011-07-29	Paper
Termination tools in ordered completion	2010-09-14	Paper
Multi-completion with Termination Tools (System Description)	2008-11-27	Paper

Research outcomes over time

This page was built for person: Sarah Winkler