Follow
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
262015
Focused labeled proof systems for modal logic
D Miller, M Volpe
Logic for Programming, Artificial Intelligence, and Reasoning, 266-280, 2015
252015
A focused framework for emulating modal proof systems
S Marin, D Miller, M Volpe
11th conference on" Advances in Modal Logic", 469-488, 2016
192016
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
192014
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
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
122011
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
112000
Tratamento cirúrgico das valvopatias: parte 1
DM Braile, MA Volpe, SL Ramin, DRS Souza
Brazilian Journal of Cardiovascular Surgery 9, 113-122, 1994
111994
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
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
82022
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 labeled deduction system for the logic UB
C Caleiro, L Viganò, M Volpe
2013 20th International Symposium on Temporal Representation and Reasoning …, 2013
72013
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, 187-200, 2002
62002
Synthetic inference rules for geometric theories
S Marin, D Miller, E Pimentel, M Volpe
Submitted, 2020
52020
Certification of prefixed tableau proofs for modal logic
T Libal, M Volpe
arXiv preprint arXiv:1609.04100, 2016
52016
Natural modelling of interactive applications
F Paternò, M Volpe
International Workshop on Design, Specification, and Verification of …, 2005
52005
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
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
Plástica mitral com anel maleável de pericárdio bovino
MA Volpe, DM Braile, EW Vieira, DRS Souza
Arq Bras Cardiol 75 (5), 381-388, 2000
42000
The system can't perform the operation now. Try again later.
Articles 1–20