Marco Volpe
Marco Volpe
Postdoctoral Researcher, fortiss Research Institute, Munich
Verified email at fortiss.org - Homepage
Title
Cited by
Cited by
Year
Focused labeled proof systems for modal logic
D Miller, M Volpe
Logic for Programming, Artificial Intelligence, and Reasoning, 266-280, 2015
202015
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
202015
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
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
142017
A focused framework for emulating modal proof systems
S Marin, D Miller, M Volpe
122016
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
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
Proof checking and logic programming
D Miller
Formal Aspects of Computing 29 (3), 383-399, 2017
82017
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
Labeled natural deduction systems for a family of tense logics
L Vigano, M Volpe
2008 15th International Symposium on Temporal Representation and Reasoning†…, 2008
82008
A history of until
A Masini, L Vigano, M Volpe
Electronic Notes in Theoretical Computer Science 262, 189-204, 2010
72010
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
42005
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
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
32012
Back from the future
A Masini, L ViganÚ, M Volpe
Journal of Applied Non-Classical Logics 20 (3), 241-277, 2010
32010
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
22017
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
22013
Labeled natural deduction for temporal logics
M Volpe
PhD Thesis, University of Verona, 2010
22010
From axioms to synthetic inference rules via focusing
S Marin, D Miller, E Pimentel, M Volpe
12020
The system can't perform the operation now. Try again later.
Articles 1–20