Gianluigi Zavattaro

Identifiers

• name variant Gianluigi Zavattaro 0.60 · backfill

Papers (5)

1. Optimal and Automated Deployment for Microservices cs.DC · 2019 · author #5
2. On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping cs.PL · 2017 · author #3
3. Undecidability of Asynchronous Session Subtyping cs.PL · 2016 · author #3
4. The Cost of Parameterized Reachability in Mobile Ad Hoc Networks cs.LO · 2012 · author #4
5. Parameterized Verification of Safety Properties in Ad Hoc Network Protocols cs.LO · 2011 · author #3

Mentions

• 1202.5850 #4 · backfill · confidence 0.70 Gianluigi Zavattaro
• 1108.1864 #3 · backfill · confidence 0.70 Gianluigi Zavattaro

Frequent Coauthors

• Mario Bravetti 3 shared papers
• Arnaud Sangnier 2 shared papers
• Giorgio Delzanno 2 shared papers
• Marco Carbone 2 shared papers
• Iacopo Talevi 1 shared papers
• Jacopo Mauro 1 shared papers
• Riccardo Traverso 1 shared papers
• Saverio Giallorenzo 1 shared papers