Marco Volpe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2008–2021
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICIDS | Enhancing Interactivity in Propp-Based Narrative Generation. | Luis Mienhardt, Marco Volpe |
| 2016 | AiML | A focused framework for emulating modal proof systems. | Sonia Marin, Dale Miller, Marco Volpe |
| 2015 | LPAR | Focused Labeled Proof Systems for Modal Logic. | Dale Miller, Marco Volpe |
| 2014 | WoLLIC | Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). | Luca Vigan, Marco Volpe, Margherita Zorzi |
| 2013 | TIME | A Labeled Deduction System for the Logic UB. | Carlos Caleiro, Luca Vigan, Marco Volpe |
| 2012 | WoLLIC | Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. | Marco Volpe, Joo Marcos, Carlos Caleiro |
| 2009 | LFCS | A Labeled Natural Deduction System for a Fragment of CTL*. | Andrea Masini, Luca Vigan, Marco Volpe |
| 2008 | TIME | Labeled Natural Deduction Systems for a Family of Tense Logics. | Luca Vigan, Marco Volpe |