PPaperPicks

Sarah Winkler

4 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

CAiSE ×2AAAI ×1ECAI ×1

Frequent coauthors

Alessandro Gianola
×3
Marco Montali
×3
Zeeshan Hameed
×1
Anjo Seidel
×1
Mathias Weske
×1

Papers

  1. Detecting Dynamic Relationships in Object-Centric Event Logs
    CAiSE 2026 ·
    Alessandro Gianola
    ,
    Zeeshan Hameed
    ,
    Marco Montali
    ,
    Anjo Seidel
    ,
    Mathias Weske
    , Sarah Winkler
  2. First-Order LTLf Synthesis with Lookback
    ECAI 2025 · Sarah Winkler
  3. Object-Centric Processes with Structured Data and Exact Synchronization - Formal Modelling and Conformance Checking
    CAiSE 2025 ·
    Alessandro Gianola
    ,
    Marco Montali
    , Sarah Winkler
  4. Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
    AAAI 2024 ·
    Alessandro Gianola
    ,
    Marco Montali
    , Sarah Winkler