Giorgio Delzanno

Identifiers

• name variant Giorgio Delzanno 0.60 · backfill

Papers (8)

1. Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things cs.PL · 2018 · author #3
2. Verification of Relational Multiagent Systems with Data Types (Extended Version) cs.AI · 2014 · author #2
3. Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations cs.LO · 2014 · author #1
4. The Cost of Parameterized Reachability in Mobile Ad Hoc Networks cs.LO · 2012 · author #1
5. Parameterized Verification of Safety Properties in Ad Hoc Network Protocols cs.LO · 2011 · author #1
6. Constraint-based automatic verification of abstract models of multithreaded programs cs.LO · 2006 · author #1
7. Constraint-based verification of abstract models of multitreaded programs cs.CL · 2006 · author #1
8. An Effective Fixpoint Semantics for Linear Logic Programs cs.PL · 2001 · author #2

Mentions

• 1411.4516 #2 · backfill · confidence 0.70 Giorgio Delzanno
• 1407.4394 #1 · backfill · confidence 0.70 Giorgio Delzanno
• 1202.5850 #1 · backfill · confidence 0.70 Giorgio Delzanno
• 1108.1864 #1 · backfill · confidence 0.70 Giorgio Delzanno

Frequent Coauthors

• Arnaud Sangnier 2 shared papers
• Gianluigi Zavattaro 2 shared papers
• Davide Ancona 1 shared papers
• Diego Calvanese 1 shared papers
• Filippo Ricca 1 shared papers
• Jan St\"uckrath 1 shared papers
• Luca Franceschini 1 shared papers
• Marco Bozzano 1 shared papers
• Marco Montali 1 shared papers
• Marina Ribaudo 1 shared papers
• Maurizio Leotta 1 shared papers
• Maurizio Martelli 1 shared papers
• Riccardo Traverso 1 shared papers