Sarah Winkler

76 papers A* 3A 17B 6C 1Misc 1Journal 31Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Symbolic runtime verification for monitoring under uncertainties and assumptions.
Inf. Softw. Technol.
Raik Hipler, Hannes Kallwies, Martin Leucker, Marco Montali, César Sánchez, Sarah Winkler
2025 J jnl
Approximate conformance checking: Fast computation of multi-perspective, probabilistic alignments.
Inf. Syst.
Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler
2025 J jnl
Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended).
CoRR
Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Mucientes, Manuel Lama
2025 A conf
Efficient Conformance Checking of Rich Data-Aware Declare Specifications.
BPM
Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Mucientes, Manuel Lama
2025 J jnl
First-Order LTLf Synthesis with Lookback (Extended Version).
CoRR
Sarah Winkler
2025 A conf
First-Order LTLf Synthesis with Lookback.
ECAI
Sarah Winkler
2025 J jnl
First-Order Rewriting.
Arch. Formal Proofs
René Thiemann, Christian Sternagel, Christina Kirk, Martin Avanzini, Bertram Felgenhauer, Julian Nagele, Thomas Sternagel, Sarah Winkler, Akihisa Yamada
2025 — conf
Object-Centric Processes with Structured Data and Exact Synchronization - Formal Modelling and Conformance Checking.
CAiSE (2)
Alessandro Gianola, Marco Montali, Sarah Winkler
2025 J jnl
Object-centric Processes with Structured Data and Exact Synchronization (Extended Version).
CoRR
Alessandro Gianola, Marco Montali, Sarah Winkler
2025 J jnl
SMT Techniques for Data-Aware Process Mining.
Künstliche Intell.
Alessandro Gianola, Marco Montali, Sarah Winkler
2025 A conf
To Bind or Not to Bind? Discovering Stable Relationships in Object-Centric Processes.
ER
Anjo Seidel, Sarah Winkler, Alessandro Gianola, Marco Montali, Mathias Weske
2025 J jnl
To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version).
CoRR
Anjo Seidel, Sarah Winkler, Alessandro Gianola, Marco Montali, Mathias Weske
2024 A conf
Glocal Conformance Checking.
BPM
Alessandro Burigana, Alessandro Gianola, Marco Montali, Sarah Winkler
2024 A* conf
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata.
AAAI
Alessandro Gianola, Marco Montali, Sarah Winkler
2024 A conf
Object-Centric Conformance Alignments with Synchronization.
CAiSE
Alessandro Gianola, Marco Montali, Sarah Winkler
2024 J jnl
Relating behaviour of data-aware process models.
Data Knowl. Eng.
Marco Montali, Sarah Winkler
2023 A conf
Approximating Multi-perspective Trace Alignment Using Trace Encodings.
BPM
Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler
2023 J jnl
Data-aware conformance checking with SMT.
Inf. Syst.
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2023 A conf
Decidable Fragments of LTL
ECAI
Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
2023 J jnl
Decidable Fragments of LTLf Modulo Theories (Extended Version).
CoRR
Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
2023 — conf
Equivalence of Data Petri Nets with Arithmetic.
Business Process Management Workshops
Marco Montali, Sarah Winkler
2023 J jnl
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version).
CoRR
Alessandro Gianola, Marco Montali, Sarah Winkler
2023 A* conf
Monitoring Arithmetic Temporal Properties on Finite Traces.
AAAI
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
2023 J jnl
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach.
Eng. Appl. Artif. Intell.
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2023 J jnl
Object-Centric Conformance Alignments with Synchronization (Extended Version).
CoRR
Alessandro Gianola, Marco Montali, Sarah Winkler
2023 B conf
Repairing Soundness Properties in Data-Aware Processes.
ICPM
Paolo Felli, Marco Montali, Sarah Winkler
2023 J jnl
Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover.
J. Autom. Reason.
Maria Paola Bonacina, Sarah Winkler
2023 — conf
The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining.
BPM (Demos / Resources Forum)
Yago Fontenla-Seco, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Lama Penín, Alberto José Bugarín Diz
2022 — conf
A Modular SMT-based Approach for Data-aware Conformance Checking.
OVERLAY@AI*IA
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2022 A conf
CTL
IJCAR
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
CTL* model checking for data-aware dynamic systems with arithmetic.
CoRR
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
Conformance Checking with Uncertainty via SMT (Extended Version).
CoRR
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2022 A conf
Conformance Checking with Uncertainty via SMT.
BPM
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2022 A* conf
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic.
AAAI
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic.
CoRR
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
Monitoring Arithmetic Temporal Properties on Finite Traces.
CoRR
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
2022 — conf
On SGGS and Horn Clauses.
PAAR@IJCAR
Maria Paola Bonacina, Sarah Winkler
2022 — conf
Reasoning and Verification with Data Petri Nets.
PMAI@IJCAI
Paolo Felli, Marco Montali, Sarah Winkler
2022 A conf
Soundness of Data-Aware Processes with Arithmetic Conditions.
CAiSE
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
Soundness of Data-Aware Processes with Arithmetic Conditions.
CoRR
Paolo Felli, Marco Montali, Sarah Winkler
2021 J jnl
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version).
CoRR
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2021 A conf
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT.
BPM
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2021 — ed.
Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021.
ARCADE@CADE
Martin Suda, Sarah Winkler
2020 C conf
Runtime Complexity Analysis of Logically Constrained Rewriting.
LOPSTR
Sarah Winkler, Georg Moser
2020 J jnl
Runtime Complexity Analysis of Logically Constrained Rewriting.
CoRR
Sarah Winkler, Georg Moser
2020 — conf
SGGS Decision Procedures.
IJCAR (1)
Maria Paola Bonacina, Sarah Winkler
2019 J jnl
Abstract Completion, Formalized.
Log. Methods Comput. Sci.
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
2019 A conf
Certified Equational Reasoning via Ordered Completion.
CADE
Christian Sternagel, Sarah Winkler
2019 B conf
Extending Maximal Completion (Invited Talk).
FSCD
Sarah Winkler
2019 — ed.
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019.
ARCADE@CADE
Martin Suda, Sarah Winkler
2019 — conf
Smarter Features, Simpler Learning?
ARCADE@CADE
Sarah Winkler, Georg Moser
2019 — conf
Tools in Term Rewriting for Education.
ThEdu@CADE
Sarah Winkler, Aart Middeldorp
2018 J jnl
Abstract Completion, Formalized.
CoRR
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
2018 J jnl
Certified Ordered Completion.
CoRR
Christian Sternagel, Sarah Winkler
2018 B conf
Completion for Logically Constrained Rewriting.
FSCD
Sarah Winkler, Aart Middeldorp
2018 — conf
Loop Detection by Logically Constrained Term Rewriting.
VSTTE
Naoki Nishida, Sarah Winkler
2018 A conf
MædMax: A Maximal Ordered Completion Tool.
IJCAR
Sarah Winkler, Georg Moser
2017 B conf
Infinite Runs in Abstract Completion.
FSCD
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
2016 J jnl
AC-KBO revisited.
Theory Pract. Log. Program.
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
2015 J jnl
Beyond polynomials and Peano arithmetic - automation of elementary and ordinal interpretations.
J. Symb. Comput.
Harald Zankl, Sarah Winkler, Aart Middeldorp
2015 A conf
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion.
CADE
Haruhiko Sato, Sarah Winkler
2015 — conf
Formalizing Soundness and Completeness of Unravelings.
FroCos
Sarah Winkler, René Thiemann
2015 B conf
Recording Completion for Certificates in Equational Reasoning.
CPP
Thomas Sternagel, Sarah Winkler, Harald Zankl
2014 Misc conf
AC-KBO Revisited.
FLOPS
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
2014 J jnl
AC-KBO Revisited.
CoRR
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
2014 — conf
Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations.
VSTTE
Julian Nagele, René Thiemann, Sarah Winkler
2013 — conf
Beyond Peano Arithmetic - Automatically Proving Termination of the Goodstein Sequence.
RTA
Sarah Winkler, Harald Zankl, Aart Middeldorp
2013 J jnl
Multi-Completion with Termination Tools.
J. Autom. Reason.
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
2013 — conf
Normalized Completion Revisited.
RTA
Sarah Winkler, Aart Middeldorp
2012 J jnl
CeTA - A Tool for Certified Termination Analysis
CoRR
Christian Sternagel, René Thiemann, Sarah Winkler, Harald Zankl
2012 B conf
Ordinals and Knuth-Bendix Orders.
LPAR
Sarah Winkler, Harald Zankl, Aart Middeldorp
2011 A conf
AC Completion with Termination Tools.
CADE
Sarah Winkler, Aart Middeldorp
2010 — conf
Optimizing mkbTT.
RTA
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
2010 A conf
Termination Tools in Ordered Completion.
IJCAR
Sarah Winkler, Aart Middeldorp
2009 J jnl
Constraint-Based Multi-Completion Procedures for Term Rewriting Systems.
IEICE Trans. Inf. Syst.
Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
2008 A conf
Multi-completion with Termination Tools (System Description).
IJCAR
Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp