Sarah Winkler
Scholar

Sarah Winkler

Google Scholar ID: 0iCGf3UAAAAJ
postdoctoral researcher, Free University Bolzano
automated reasoningterm rewritingprogram analysis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
603
 
H-index
15
 
i10-index
25
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
5 items
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
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)