PPaperPicks

Sarah Winkler

2 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ECAI ×1

Frequent coauthors

Alessandro Gianola
DBLP profile ↗ORCID search ↗
×1

Papers

  1. First-Order LTLf Synthesis with Lookback
    ECAI 2025 · Sarah Winkler
  2. Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
    AAAI 2024 ·
    Alessandro Gianola
    DBLP profile ↗ORCID search ↗