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 | 36 | 2015 |
Focused labeled proof systems for modal logic D Miller, M Volpe Logic for Programming, Artificial Intelligence, and Reasoning, 266-280, 2015 | 31 | 2015 |
From axioms to synthetic inference rules via focusing S Marin, D Miller, E Pimentel, M Volpe Annals of Pure and Applied Logic 173 (5), 103091, 2022 | 27 | 2022 |
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 | 21 | 2014 |
A focused framework for emulating modal proof systems S Marin, D Miller, M Volpe 11th conference on" Advances in Modal Logic", 469-488, 2016 | 20 | 2016 |
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 | 17 | 2017 |
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 | 14 | 2011 |
Labeled natural deduction systems for a family of tense logics L Vigano, M Volpe 2008 15th International Symposium on Temporal Representation and Reasoning …, 2008 | 12 | 2008 |
Mitral valve repair with a malleable bovine pericardium ring MA Volpe, DM Braile, RW Vieira, DRS Souza Arquivos brasileiros de cardiologia 75, 389-396, 2000 | 12 | 2000 |
A labeled deduction system for the logic UB C Caleiro, L Viganò, M Volpe 2013 20th International Symposium on Temporal Representation and Reasoning …, 2013 | 10 | 2013 |
Tratamento cirúrgico das valvopatias: parte 1 DM Braile, MA Volpe, SL Ramin, DRS Souza Brazilian Journal of Cardiovascular Surgery 9, 113-122, 1994 | 10 | 1994 |
Synthetic inference rules for geometric theories S Marin, D Miller, E Pimentel, M Volpe Submitted, 2020 | 8 | 2020 |
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 |
A history of until A Masini, L Vigano, M Volpe Electronic Notes in Theoretical Computer Science 262, 189-204, 2010 | 7 | 2010 |
Natural modelling of interactive applications F Paternò, M Volpe International Workshop on Design, Specification, and Verification of …, 2005 | 6 | 2005 |
The role of magnesium in the endothelial dysfunction caused by global ischemia followed by reperfusion: in vitro study of canine coronary arteries MA Volpe, JJ Carneiro, LA Magna, F Viaro, EAL Origuela, PRB Evora Scandinavian Cardiovascular Journal 37 (5), 288-296, 2003 | 6 | 2003 |
Certification of prefixed tableau proofs for modal logic T Libal, M Volpe arXiv preprint arXiv:1609.04100, 2016 | 5 | 2016 |
Heart injury with projectile lodged inside the heart MA Volpe, JEM Paredes, LC Redigolo, ISM Sanchez, F Lanichek, ... Brazilian Journal of Cardiovascular Surgery 33 (3), 303-305, 2018 | 4 | 2018 |
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 | 4 | 2017 |
Back from the future A Masini, L Viganò, M Volpe Journal of Applied Non-Classical Logics 20 (3), 241-277, 2010 | 4 | 2010 |