Follow
Marco Volpe
Title
Cited by
Cited by
Year
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
362015
Focused labeled proof systems for modal logic
D Miller, M Volpe
Logic for Programming, Artificial Intelligence, and Reasoning, 266-280, 2015
312015
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
272022
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
212014
A focused framework for emulating modal proof systems
S Marin, D Miller, M Volpe
11th conference on" Advances in Modal Logic", 469-488, 2016
202016
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
172017
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
142011
Labeled natural deduction systems for a family of tense logics
L Vigano, M Volpe
2008 15th International Symposium on Temporal Representation and Reasoning …, 2008
122008
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
122000
A labeled deduction system for the logic UB
C Caleiro, L Viganò, M Volpe
2013 20th International Symposium on Temporal Representation and Reasoning …, 2013
102013
Tratamento cirúrgico das valvopatias: parte 1
DM Braile, MA Volpe, SL Ramin, DRS Souza
Brazilian Journal of Cardiovascular Surgery 9, 113-122, 1994
101994
Synthetic inference rules for geometric theories
S Marin, D Miller, E Pimentel, M Volpe
Submitted, 2020
82020
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
82009
A history of until
A Masini, L Vigano, M Volpe
Electronic Notes in Theoretical Computer Science 262, 189-204, 2010
72010
Natural modelling of interactive applications
F Paternò, M Volpe
International Workshop on Design, Specification, and Verification of …, 2005
62005
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
62003
Certification of prefixed tableau proofs for modal logic
T Libal, M Volpe
arXiv preprint arXiv:1609.04100, 2016
52016
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
42018
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
42017
Back from the future
A Masini, L Viganò, M Volpe
Journal of Applied Non-Classical Logics 20 (3), 241-277, 2010
42010
The system can't perform the operation now. Try again later.
Articles 1–20