Multi-completion with Termination Tools (System Description). - Haruhiko Sato; Sarah Winkler; Masahito Kurihara; Aart Middeldorp (IJCAR, 2008)

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. - Haruhiko Sato; Masahito Kurihara; Sarah Winkler; Aart Middeldorp (IEICE Trans. Inf. Syst., 2009)

Termination Tools in Ordered Completion. - Sarah Winkler; Aart Middeldorp (IJCAR, 2010)

Optimizing mkbTT. - Sarah Winkler; Haruhiko Sato; Aart Middeldorp; Masahito Kurihara (RTA, 2010)

AC Completion with Termination Tools. - Sarah Winkler; Aart Middeldorp (CADE, 2011)

Ordinals and Knuth-Bendix Orders. - Sarah Winkler; Harald Zankl; Aart Middeldorp (LPAR, 2012)

CeTA - A Tool for Certified Termination Analysis - Christian Sternagel; René Thiemann; Sarah Winkler; Harald Zankl (CoRR, 2012)

Normalized Completion Revisited. - Sarah Winkler; Aart Middeldorp (RTA, 2013)

Beyond Peano Arithmetic - Automatically Proving Termination of the Goodstein Sequence. - Sarah Winkler; Harald Zankl; Aart Middeldorp (RTA, 2013)

Multi-Completion with Termination Tools. - Sarah Winkler; Haruhiko Sato; Aart Middeldorp; Masahito Kurihara (J. Autom. Reason., 2013)

Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations. - Julian Nagele; René Thiemann; Sarah Winkler (VSTTE, 2014)

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. - Haruhiko Sato; Sarah Winkler (CADE, 2015)

Recording Completion for Certificates in Equational Reasoning. - Thomas Sternagel; Sarah Winkler; Harald Zankl (CPP, 2015)

Formalizing Soundness and Completeness of Unravelings. - Sarah Winkler; René Thiemann (FroCos, 2015)

Beyond polynomials and Peano arithmetic - automation of elementary and ordinal interpretations. - Harald Zankl; Sarah Winkler; Aart Middeldorp (J. Symb. Comput., 2015)

AC-KBO revisited. - Akihisa Yamada 002; Sarah Winkler; Nao Hirokawa; Aart Middeldorp (Theory Pract. Log. Program., 2016)

Infinite Runs in Abstract Completion. - Nao Hirokawa; Aart Middeldorp; Christian Sternagel; Sarah Winkler (FSCD, 2017)

MædMax: A Maximal Ordered Completion Tool. - Sarah Winkler; Georg Moser (IJCAR, 2018)

Completion for Logically Constrained Rewriting. - Sarah Winkler; Aart Middeldorp (FSCD, 2018)

Loop Detection by Logically Constrained Term Rewriting. - Naoki Nishida 001; Sarah Winkler (VSTTE, 2018)

Certified Ordered Completion. - Christian Sternagel; Sarah Winkler (CoRR, 2018)

Certified Equational Reasoning via Ordered Completion. - Christian Sternagel; Sarah Winkler (CADE, 2019)

Extending Maximal Completion (Invited Talk). - Sarah Winkler (FSCD, 2019)

Smarter Features, Simpler Learning? - Sarah Winkler; Georg Moser (ARCADE@CADE, 2019)

Tools in Term Rewriting for Education. - Sarah Winkler; Aart Middeldorp (ThEdu@CADE, 2019)

Abstract Completion, Formalized. - Nao Hirokawa; Aart Middeldorp; Christian Sternagel; Sarah Winkler (Log. Methods Comput. Sci., 2019)

SGGS Decision Procedures. - Maria Paola Bonacina; Sarah Winkler (IJCAR (1), 2020)

Runtime Complexity Analysis of Logically Constrained Rewriting. - Sarah Winkler; Georg Moser (LOPSTR, 2020)

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (BPM, 2021)

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (CoRR, 2021)

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. - Paolo Felli; Marco Montali; Sarah Winkler (AAAI, 2022)

A Modular SMT-based Approach for Data-aware Conformance Checking. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (OVERLAY@AI*IA, 2022)

Conformance Checking with Uncertainty via SMT. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (BPM, 2022)

CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic. - Paolo Felli; Marco Montali; Sarah Winkler (IJCAR, 2022)

Soundness of Data-Aware Processes with Arithmetic Conditions. - Paolo Felli; Marco Montali; Sarah Winkler (CAiSE, 2022)

Reasoning and Verification with Data Petri Nets. - Paolo Felli; Marco Montali; Sarah Winkler (PMAI@IJCAI, 2022)

On SGGS and Horn Clauses. - Maria Paola Bonacina; Sarah Winkler (PAAR@IJCAR, 2022)

CTL* model checking for data-aware dynamic systems with arithmetic. - Paolo Felli; Marco Montali; Sarah Winkler (CoRR, 2022)

Conformance Checking with Uncertainty via SMT (Extended Version). - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (CoRR, 2022)

Monitoring Arithmetic Temporal Properties on Finite Traces. - Paolo Felli; Marco Montali; Fabio Patrizi; Sarah Winkler (AAAI, 2023)

The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining. - Yago Fontenla-Seco; Sarah Winkler; Alessandro Gianola; Marco Montali; Manuel Lama Penín; Alberto José Bugarín Diz (BPM (Demos / Resources Forum), 2023)

Approximating Multi-perspective Trace Alignment Using Trace Encodings. - Alessandro Gianola; Jonghyeon Ko; Fabrizio Maria Maggi; Marco Montali; Sarah Winkler (BPM, 2023)

Equivalence of Data Petri Nets with Arithmetic. - Marco Montali; Sarah Winkler (Business Process Management Workshops, 2023)

Decidable Fragments of LTLf Modulo Theories. - Luca Geatti; Alessandro Gianola; Nicola Gigante; Sarah Winkler (ECAI, 2023)

Repairing Soundness Properties in Data-Aware Processes. - Paolo Felli; Marco Montali; Sarah Winkler (ICPM, 2023)

Decidable Fragments of LTLf Modulo Theories (Extended Version). - Luca Geatti; Alessandro Gianola; Nicola Gigante; Sarah Winkler (CoRR, 2023)

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version). - Alessandro Gianola; Marco Montali; Sarah Winkler (CoRR, 2023)

Object-Centric Conformance Alignments with Synchronization (Extended Version). - Alessandro Gianola; Marco Montali; Sarah Winkler (CoRR, 2023)

Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover. - Maria Paola Bonacina; Sarah Winkler (J. Autom. Reason., 2023)

Data-aware conformance checking with SMT. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (Inf. Syst., 2023)

Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (Eng. Appl. Artif. Intell., 2023)

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata. - Alessandro Gianola; Marco Montali; Sarah Winkler (AAAI, 2024)

Glocal Conformance Checking. - Alessandro Burigana; Alessandro Gianola; Marco Montali; Sarah Winkler (BPM, 2024)

Object-Centric Conformance Alignments with Synchronization. - Alessandro Gianola; Marco Montali; Sarah Winkler (CAiSE, 2024)

Relating behaviour of data-aware process models. - Marco Montali; Sarah Winkler (Data Knowl. Eng., 2024)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications. - Jacobo Casas-Ramos; Sarah Winkler; Alessandro Gianola; Marco Montali; Manuel Mucientes; Manuel Lama (BPM, 2025)

Object-Centric Processes with Structured Data and Exact Synchronization - Formal Modelling and Conformance Checking. - Alessandro Gianola; Marco Montali; Sarah Winkler (CAiSE (2), 2025)

First-Order Rewriting. - René Thiemann; Christian Sternagel; Christina Kirk; Martin Avanzini; Bertram Felgenhauer; Julian Nagele; Thomas Sternagel; Sarah Winkler; Akihisa Yamada 002 (Arch. Formal Proofs, 2025)

Approximate conformance checking: Fast computation of multi-perspective, probabilistic alignments. - Alessandro Gianola; Jonghyeon Ko; Fabrizio Maria Maggi; Marco Montali; Sarah Winkler (Inf. Syst., 2025)

Object-centric Processes with Structured Data and Exact Synchronization (Extended Version). - Alessandro Gianola; Marco Montali; Sarah Winkler (CoRR, 2025)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended). - Jacobo Casas-Ramos; Sarah Winkler; Alessandro Gianola; Marco Montali; Manuel Mucientes; Manuel Lama (CoRR, 2025)