Marco Bozzano

Identifiers

No identifiers captured yet.

Papers (3)

1. Causality and Temporal Dependencies in the Design of Fault Management Systems cs.AI · 2017 · author #1
2. The xSAP Safety Analysis Platform cs.SE · 2015 · author #2
3. An Effective Fixpoint Semantics for Linear Logic Programs cs.PL · 2001 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alberto Griggio 1 shared papers
• Alessandro Cimatti 1 shared papers
• Andrea Micheli 1 shared papers
• Benjamin Bittner 1 shared papers
• Cristian Mattarei 1 shared papers
• Gianni Zampedri 1 shared papers
• Giorgio Delzanno 1 shared papers
• Marco Gario 1 shared papers
• Maurizio Martelli 1 shared papers
• Roberto Cavada 1 shared papers