Marco Volpe
Marco Volpe
University of Osnabrück, Institute of Cognitive Science, Department of Artificial Intelligence
Verified email at uni-osnabrueck.de - Homepage
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
212015
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
202014
Focused labeled proof systems for modal logic
D Miller, M Volpe
Logic for Programming, Artificial Intelligence, and Reasoning, 266-280, 2015
192015
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
152017
A focused framework for emulating modal proof systems
S Marin, D Miller, M Volpe
11th conference on" Advances in Modal Logic", 469-488, 2016
142016
Proof checking and logic programming
D Miller
Formal Aspects of Computing 29 (3), 383-399, 2017
122017
Labelled natural deduction for a bundled branching temporal logic
A Masini, L Vigano, M Volpe
Journal of Logic and Computation 21 (6), 1093-1163, 2011
122011
Mitral valve repair with a malleable bovine pericardium ring
MA Volpe, DM Braile, RW Vieira, DRS Souza
Arquivos brasileiros de cardiologia 75 (5), 389-396, 2000
122000
Labeled natural deduction systems for a family of tense logics
L Vigano, M Volpe
2008 15th International Symposium on Temporal Representation and Reasoning …, 2008
102008
A labeled deduction system for the logic UB
C Caleiro, L Viganò, M Volpe
2013 20th International Symposium on Temporal Representation and Reasoning …, 2013
92013
Tratamento cirúrgico das valvopatias: parte 1
DM Braile, MA Volpe, SL Ramin, DRS Souza
Brazilian Journal of Cardiovascular Surgery 9 (2), 113-122, 1994
91994
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
Disfunção endotelial após isquemia global e reperfusão em cirurgia cardíaca com circulação extracorpórea: estudo do papel do magnésio em artérias coronarianas caninas
MA Volpe, JJ Carneiro, LA Magna, F Viaro, EAL Origuela, PRB Evora
Brazilian Journal of Cardiovascular Surgery 17 (3), 187-200, 2002
62002
Certification of prefixed tableau proofs for modal logic
T Libal, M Volpe
arXiv preprint arXiv:1609.04100, 2016
52016
Geli Putty®: a new alternative on sternal hemostasis in cardiac surgery
MA Volpe, JDG Martinez
Brazilian Journal of Cardiovascular Surgery 26 (3), 485-487, 2011
52011
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
52003
Natural modelling of interactive applications
F Paternò, M Volpe
International Workshop on Design, Specification, and Verification of …, 2005
42005
Plastica mitral com anel maleavel de pericardio bovino.
MA Volpe
[sn], 1997
41997
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
32013
The system can't perform the operation now. Try again later.
Articles 1–20