Sarah Winkler
Orcid: 0000-0001-8114-3107Affiliations:
- Free University of Bozen-Bolzano, Bolzano, Italy (since 2020)
- University of Verona, Italy (2019-2020)
- University of Innsbruck, Austria (until 2019, PhD 2013)
According to our database1,
Sarah Winkler
authored at least 51 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2024
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover.
J. Autom. Reason., March, 2023
CoRR, 2023
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version).
CoRR, 2023
Proceedings of the 5th International Conference on Process Mining, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Business Process Management Workshops, 2023
Proceedings of the Business Process Management - 21st International Conference, 2023
The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining.
Proceedings of the Best Dissertation Award, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022
Proceedings of the Advanced Information Systems Engineering, 2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
Proceedings of the Business Process Management - 20th International Conference, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version).
CoRR, 2021
Proceedings of the Business Process Management - 19th International Conference, 2021
2020
Proceedings of the Logic-Based Program Synthesis and Transformation, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, 2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
2016
2015
Beyond polynomials and Peano arithmetic - automation of elementary and ordinal interpretations.
J. Symb. Comput., 2015
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014
2013
Beyond Peano Arithmetic - Automatically Proving Termination of the Goodstein Sequence.
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
2011
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011
2010
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
IEICE Trans. Inf. Syst., 2009
2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008