PPaperPicks

Alessandro Gianola

5 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3CAiSE ×2

Frequent coauthors

Marco Montali
×3
Sarah Winkler
×3
Zeeshan Hameed
×1
Anjo Seidel
×1
Mathias Weske
×1
Pierriccardo Olivieri
×1
Fausto Lasca
×1
Matteo Papini
×1
Luca Geatti
×1
Nicola Gigante
×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. Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning
    AAAI 2026 ·
    Pierriccardo Olivieri
    ,
    Fausto Lasca
    , Alessandro Gianola,
    Matteo Papini
  3. First-Order Automata
    AAAI 2025 ·
    Luca Geatti
    , Alessandro Gianola,
    Nicola Gigante
  4. Object-Centric Processes with Structured Data and Exact Synchronization - Formal Modelling and Conformance Checking
    CAiSE 2025 · Alessandro Gianola,
    Marco Montali
    ,
    Sarah Winkler
  5. Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
    AAAI 2024 · Alessandro Gianola,
    Marco Montali
    ,
    Sarah Winkler