PPaperPicks

Marco Montali

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

DBLP profile ↗ORCID search ↗

Venues

CAiSE ×5AAAI ×3ECAI ×1FM ×1KR ×1

Frequent coauthors

Alessandro Gianola
×3
Sarah Winkler
×3
Zeeshan Hameed
×1
Anjo Seidel
×1
Mathias Weske
×1
Maike Basmer
×1
Radu-Dan Falcusan
×1
Matthias Weidlich
×1
Hosna Hooshyar
×1
Mattia Fumagalli
×1
Giancarlo Guizzardi
×1
Thomas Bolander
×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. Porifera: A Relational Approach to Conformance Checking for Object-Centric Behavioral Constraints
    CAiSE 2026 ·
    Maike Basmer
    ,
    Radu-Dan Falcusan
    , Marco Montali,
    Matthias Weidlich
  3. Time and Relations into Focus: Ontological Foundations of Object-Centric Event Data
    CAiSE 2026 ·
    Hosna Hooshyar
    ,
    Mattia Fumagalli
    , Marco Montali,
    Giancarlo Guizzardi
  4. Depth-Bounded Epistemic Planning
    KR 2025 ·
    Thomas Bolander
    ,
    Alessandro Burigana
    , Marco Montali
  5. Generating Counterfactual Explanations Under Temporal Constraints
    AAAI 2025 ·
    Andrei Buliga
    ,
    Chiara Di Francescomarino
    ,
    Chiara Ghidini
    , Marco Montali,
    Massimiliano Ronzani
  6. Modeling and Monitoring Business Constraints of Non-conformant Choreographed Business Processes
    CAiSE 2025 ·
    Giovanni Meroni
    ,
    Pierluigi Plebani
    ,
    Simone Tagliente
    , Marco Montali
  7. Object-Centric Processes with Structured Data and Exact Synchronization - Formal Modelling and Conformance Checking
    CAiSE 2025 ·
    Alessandro Gianola
    , Marco Montali,
    Sarah Winkler
  8. AI for Declarative Processes: Representation, Mining, Synthesis
    ECAI 2024 · Marco Montali
  9. Foundations of Reactive Synthesis for Declarative Process Specifications
    AAAI 2024 ·
    Luca Geatti
    , Marco Montali,
    Andrey Rivkin
  10. Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
    AAAI 2024 ·
    Alessandro Gianola
    , Marco Montali,
    Sarah Winkler
  11. Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
    FM 2024 ·
    Ben Greenman
    ,
    Siddhartha Prasad
    ,
    Antonio Di Stasio
    ,
    Shufang Zhu
    ,
    Giuseppe De Giacomo
    ,
    Shriram Krishnamurthi
    , Marco Montali,
    Tim Nelson
    ,
    Milda Zizyte