| CoCoMoT: conformance checking of multi-perspective processes via SMT P Felli, A Gianola, M Montali, A Rivkin, S Winkler Business Process Management: 19th International Conference, BPM 2021, Rome …, 2021 | 37 | 2021 |
| Linear-time verification of data-aware dynamic systems with arithmetic P Felli, M Montali, S Winkler Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5642-5650, 2022 | 25 | 2022 |
| Multi-completion with termination tools (system description) H Sato, S Winkler, M Kurihara, A Middeldorp International Joint Conference on Automated Reasoning, 306-312, 2008 | 24 | 2008 |
| Completion for logically constrained rewriting S Winkler, A Middeldorp 3rd International Conference on Formal Structures for Computation and …, 2018 | 21 | 2018 |
| MædMax: A Maximal Ordered Completion Tool S Winkler, G Moser Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 21 | 2018 |
| Multi-completion with termination tools S Winkler, H Sato, A Middeldorp, M Kurihara Journal of Automated Reasoning 50 (3), 317-354, 2013 | 19 | 2013 |
| Loop detection by logically constrained term rewriting N Nishida, S Winkler Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018 | 16 | 2018 |
| Ordinals and knuth-bendix orders S Winkler, H Zankl, A Middeldorp Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 15 | 2012 |
| Infinite runs in abstract completion N Hirokawa, A Middeldorp, C Sternagel, S Winkler 2nd International Conference on Formal Structures for Computation and …, 2017 | 14 | 2017 |
| Optimizing mkbTT S Winkler, H Sato, A Middeldorp, M Kurihara Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010 | 14 | 2010 |
| Formalizing soundness and completeness of unravelings S Winkler, R Thiemann International Symposium on Frontiers of Combining Systems, 239-255, 2015 | 13 | 2015 |
| Termination tools in ordered completion S Winkler, A Middeldorp International Joint Conference on Automated Reasoning, 518-532, 2010 | 13 | 2010 |
| Constraint-based multi-completion procedures for term rewriting systems H Sato, M Kurihara, S Winkler, A Middeldorp IEICE transactions on information and systems 92 (2), 220-234, 2009 | 13 | 2009 |
| Conformance checking with uncertainty via SMT P Felli, A Gianola, M Montali, A Rivkin, S Winkler International Conference on Business Process Management, 199-216, 2022 | 12 | 2022 |
| Soundness of data-aware processes with arithmetic conditions P Felli, M Montali, S Winkler International Conference on Advanced Information Systems Engineering, 389-406, 2022 | 12 | 2022 |
| Beyond polynomials and Peano arithmetic—Automation of elementary and ordinal interpretations H Zankl, S Winkler, A Middeldorp Journal of Symbolic Computation 69, 129-158, 2015 | 12 | 2015 |
| Ceta-A tool for certified termination analysis C Sternagel, R Thiemann, S Winkler, H Zankl arXiv preprint arXiv:1208.1591, 2012 | 12 | 2012 |
| Data-aware conformance checking with SMT P Felli, A Gianola, M Montali, A Rivkin, S Winkler Information Systems 117, 102230, 2023 | 9 | 2023 |
| CTL Model Checking for Data-Aware Dynamic Systems with Arithmetic P Felli, M Montali, S Winkler International Joint Conference on Automated Reasoning, 36-56, 2022 | 9 | 2022 |
| Normalized completion revisited S Winkler, A Middeldorp 24th International Conference on Rewriting Techniques and Applications (RTA …, 2013 | 9 | 2013 |
