| 2026 | CaiSE | Detecting Dynamic Relationships in Object-Centric Event Logs. | Alessandro Gianola, Zeeshan Hameed, Marco Montali, Anjo Seidel, Mathias Weske, Sarah Winkler |
| 2025 | BPM | Efficient Conformance Checking of Rich Data-Aware Declare Specifications. | Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Mucientes, Manuel Lama |
| 2025 | CaiSE | Object-Centric Processes with Structured Data and Exact Synchronization - Formal Modelling and Conformance Checking. | Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2025 | ECAI | First-Order LTLf Synthesis with Lookback. | Sarah Winkler |
| 2025 | ER | To Bind or Not to Bind? Discovering Stable Relationships in Object-Centric Processes. | Anjo Seidel, Sarah Winkler, Alessandro Gianola, Marco Montali, Mathias Weske |
| 2024 | AAAI | Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata. | Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2024 | BPM | Glocal Conformance Checking. | Alessandro Burigana, Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2024 | CaiSE | Object-Centric Conformance Alignments with Synchronization. | Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2023 | AAAI | Monitoring Arithmetic Temporal Properties on Finite Traces. | Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler |
| 2023 | BPM | 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 Penn, Alberto Jos Bugarn Diz |
| 2023 | BPM | Approximating Multi-perspective Trace Alignment Using Trace Encodings. | Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler |
| 2023 | BPM | Equivalence of Data Petri Nets with Arithmetic. | Marco Montali, Sarah Winkler |
| 2023 | ECAI | Decidable Fragments of LTL | Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler |
| 2023 | ICPM | Repairing Soundness Properties in Data-Aware Processes. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | AAAI | Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | BPM | Conformance Checking with Uncertainty via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2022 | CADE | CTL | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | CaiSE | Soundness of Data-Aware Processes with Arithmetic Conditions. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | IJCAI | Reasoning and Verification with Data Petri Nets. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2021 | BPM | CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2020 | CADE | SGGS Decision Procedures. | Maria Paola Bonacina, Sarah Winkler |
| 2020 | LOPSTR | Runtime Complexity Analysis of Logically Constrained Rewriting. | Sarah Winkler, Georg Moser |
| 2019 | CADE | Certified Equational Reasoning via Ordered Completion. | Christian Sternagel, Sarah Winkler |
| 2018 | CADE | MdMax: A Maximal Ordered Completion Tool. | Sarah Winkler, Georg Moser |
| 2015 | CADE | Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. | Haruhiko Sato, Sarah Winkler |
| 2015 | CPP | Recording Completion for Certificates in Equational Reasoning. | Thomas Sternagel, Sarah Winkler, Harald Zankl |
| 2014 | FLOPS | AC-KBO Revisited. | Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp |
| 2012 | LPAR | Ordinals and Knuth-Bendix Orders. | Sarah Winkler, Harald Zankl, Aart Middeldorp |
| 2011 | CADE | AC Completion with Termination Tools. | Sarah Winkler, Aart Middeldorp |
| 2010 | CADE | Termination Tools in Ordered Completion. | Sarah Winkler, Aart Middeldorp |
| 2008 | CADE | Multi-completion with Termination Tools (System Description). | Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp |