| Focused labeled proof systems for modal logic D Miller, M Volpe Logic for Programming, Artificial Intelligence, and Reasoning, 266-280, 2015 | 20 | 2015 |
| Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics C Caleiro, J Marcos, M Volpe Theoretical Computer Science 603, 84-110, 2015 | 20 | 2015 |
| Quantum state transformations and branching distributed temporal logic L Vigano, M Volpe, M Zorzi International Workshop on Logic, Language, Information, and Computation, 1-19, 2014 | 20 | 2014 |
| A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations L Vigano, M Volpe, M Zorzi Information and Computation 255, 311-333, 2017 | 15 | 2017 |
| A focused framework for emulating modal proof systems S Marin, D Miller, M Volpe | 13 | 2016 |
| Labelled natural deduction for a bundled branching temporal logic A Masini, L Viganò, M Volpe Journal of Logic and Computation 21 (6), 1093-1163, 2011 | 12 | 2011 |
| Proof checking and logic programming D Miller Formal Aspects of Computing 29 (3), 383-399, 2017 | 9 | 2017 |
| A labeled deduction system for the logic UB C Caleiro, L Viganò, M Volpe 2013 20th International Symposium on Temporal Representation and Reasoning …, 2013 | 9 | 2013 |
| A Labeled Natural Deduction System for a Fragment of CTL * A Masini, L Vigano, M Volpe International Symposium on Logical Foundations of Computer Science, 338-353, 2009 | 8 | 2009 |
| Labeled natural deduction systems for a family of tense logics L Vigano, M Volpe 2008 15th International Symposium on Temporal Representation and Reasoning …, 2008 | 8 | 2008 |
| A history of until A Masini, L Vigano, M Volpe Electronic Notes in Theoretical Computer Science 262, 189-204, 2010 | 7 | 2010 |
| Certification of prefixed tableau proofs for modal logic T Libal, M Volpe arXiv preprint arXiv:1609.04100, 2016 | 5 | 2016 |
| Natural modelling of interactive applications F Paternò, M Volpe International Workshop on Design, Specification, and Verification of …, 2005 | 4 | 2005 |
| On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators C Caleiro, L Viganò, M Volpe Logica Universalis 7 (1), 33-69, 2013 | 3 | 2013 |
| Classic-like cut-based tableau systems for finite-valued logics M Volpe, J Marcos, C Caleiro International Workshop on Logic, Language, Information, and Computation, 321-335, 2012 | 3 | 2012 |
| Back from the future A Masini, L Viganò, M Volpe Journal of Applied Non-Classical Logics 20 (3), 241-277, 2010 | 3 | 2010 |
| An interpolation-based method for the verification of security protocols M Rocchetto, L Viganò, M Volpe Journal of Computer Security 25 (6), 463-510, 2017 | 2 | 2017 |
| Using interpolation for the verification of security protocols M Rocchetto, L Vigano, M Volpe, G Dalle Vedove International Workshop on Security and Trust Management, 99-114, 2013 | 2 | 2013 |
| Labeled natural deduction for temporal logics M Volpe PhD Thesis, University of Verona, 2010 | 2 | 2010 |
| From axioms to synthetic inference rules via focusing S Marin, D Miller, E Pimentel, M Volpe | 1 | 2020 |
