Follow
Sarah Winkler
Sarah Winkler
postdoctoral researcher, Free University Bolzano
Verified email at unibz.it - Homepage
Title
Cited by
Cited by
Year
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
352021
Multi-completion with termination tools (system description)
H Sato, S Winkler, M Kurihara, A Middeldorp
International Joint Conference on Automated Reasoning, 306-312, 2008
242008
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
232022
MædMax: A Maximal Ordered Completion Tool
S Winkler, G Moser
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
202018
Multi-completion with termination tools
S Winkler, H Sato, A Middeldorp, M Kurihara
Journal of Automated Reasoning 50 (3), 317-354, 2013
192013
Completion for logically constrained rewriting
S Winkler, A Middeldorp
3rd International Conference on Formal Structures for Computation and …, 2018
152018
Infinite runs in abstract completion
N Hirokawa, A Middeldorp, C Sternagel, S Winkler
2nd International Conference on Formal Structures for Computation and …, 2017
142017
Ordinals and knuth-bendix orders
S Winkler, H Zankl, A Middeldorp
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
142012
Formalizing soundness and completeness of unravelings
S Winkler, R Thiemann
International Symposium on Frontiers of Combining Systems, 239-255, 2015
132015
Optimizing mkbTT
S Winkler, H Sato, A Middeldorp, M Kurihara
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
132010
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
132009
Ceta-A tool for certified termination analysis
C Sternagel, R Thiemann, S Winkler, H Zankl
arXiv preprint arXiv:1208.1591, 2012
122012
Termination tools in ordered completion
S Winkler, A Middeldorp
International Joint Conference on Automated Reasoning, 518-532, 2010
122010
Loop detection by logically constrained term rewriting
N Nishida, S Winkler
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018
112018
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
112015
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
102022
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
92022
Soundness of data-aware processes with arithmetic conditions
P Felli, M Montali, S Winkler
International Conference on Advanced Information Systems Engineering, 389-406, 2022
92022
Normalized completion revisited
S Winkler, A Middeldorp
24th International Conference on Rewriting Techniques and Applications (RTA …, 2013
92013
AC-KBO revisited
A Yamada, S Winkler, N Hirokawa, A Middeldorp
Theory and Practice of Logic Programming 16 (2), 163-188, 2016
82016
The system can't perform the operation now. Try again later.
Articles 1–20