Scholar
Sarah Winkler
Google Scholar ID: 0iCGf3UAAAAJ
postdoctoral researcher, Free University Bolzano
automated reasoning
term rewriting
program analysis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
603
H-index
15
i10-index
25
Publications
20
Co-authors
0
Publications
6 items
Progression- vs Automata-based Anticipatory Monitoring of LTL over Finite Traces (Extended Version)
2026
Cited
0
Monitoring Data-aware Temporal Properties (Extended Version)
2026
Cited
0
First-Order LTLf Synthesis with Lookback (Extended Version)
2025
Cited
0
To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
2025
Cited
0
Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
2025
Cited
0
Object-centric Processes with Structured Data and Exact Synchronization (Extended Version)
2025
Cited
0
