α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Sarah Winkler
Sarah Winkler
1
papers
6
total citations
papers (1)
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
AAAI 2024
arXiv
6
citations