| |
University of Verona, Italy
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2009 | ||
|---|---|---|
| 4 | EE | Andrea Masini, Luca Viganò, Marco Volpe: A Labeled Natural Deduction System for a Fragment of CTL*. LFCS 2009: 338-353 |
| 2008 | ||
| 3 | EE | Luca Viganò, Marco Volpe: Labeled Natural Deduction Systems for a Family of Tense Logics. TIME 2008: 118-126 |
| 2 | EE | Luca Viganò, Marco Volpe: Labeled Natural Deduction Systems for a Family of Tense Logics CoRR abs/0803.3187: (2008) |
| 2006 | ||
| 1 | EE | Rosario De Chiara, Marco Volpe: FireFly: Lightweight AJAX System for F2F-CL. EC-TEL Workshops 2006 |
| 1 | Rosario De Chiara | [1] |
| 2 | Andrea Masini | [4] |
| 3 | Luca Viganò | [2] [3] [4] |