Fabio Patrizi
Identifiers
- name variant Fabio Patrizi 0.60 · backfill
Papers (6)
- Neuro-Symbolic Predictive Process Monitoring cs.AI · 2025 · author #6
- Modeling and In-Database Management of Relational, Data-Aware Processes (Extended Version) cs.DB · 2018 · author #3
- Situation Calculus for Synthesis of Manufacturing Controllers cs.AI · 2018 · author #4
- Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version) cs.AI · 2017 · author #3
- Verification of Agent-Based Artifact Systems cs.MA · 2013 · author #3
- An Introduction to Simulation-Based Techniques for Automated Service Composition cs.SE · 2009 · author #1
Mentions
- 2509.00834 #6 · arxiv_oai · confidence 0.70 Fabio Patrizi
- 1301.2678 #3 · backfill · confidence 0.70 Fabio Patrizi
- 0906.3916 #1 · backfill · confidence 0.70 Fabio Patrizi
Frequent Coauthors
- Giuseppe De Giacomo 2 shared papers
- Alessio Lomuscio 1 shared papers
- Andrey Rivkin 1 shared papers
- Axel Mezini 1 shared papers
- Brian Logan 1 shared papers
- Diego Calvanese 1 shared papers
- Elena Umili 1 shared papers
- Fabrizio Maria Maggi 1 shared papers
- Francesco Belardinelli 1 shared papers
- Ivan Donadello 1 shared papers
- Marco Montali 1 shared papers
- Matteo Mancanelli 1 shared papers
- Paolo Felli 1 shared papers
- Ronen Brafman 1 shared papers
- Sebastian Sardina 1 shared papers