Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Volpe 0001
Person information
- affiliation: University of Osnabrück, Institute of Cognitive Science, Germany
- affiliation (former): fortiss Research Institute, Munich, Germany
- affiliation (former): INRIA Saclay - Île-de-France, Palaiseau, France
Other persons with the same name
- Marco Volpe 0002 — ISTI-CNR, Pisa, Italy
- Marco Volpe 0003 — University of Salerno, ISISLab, Fisciano, Italy
- Marco Volpe 0004 — Business Integration Partners (BIP), Milan, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j8]Sonia Marin, Dale Miller
, Elaine Pimentel, Marco Volpe:
From axioms to synthetic inference rules via focusing. Ann. Pure Appl. Log. 173(5): 103091 (2022)- 2021
- [c11]Luis Mienhardt, Marco Volpe:
Enhancing Interactivity in Propp-Based Narrative Generation. ICIDS 2021: 260-265
2010 – 2019
- 2019
- [j7]Tomer Libal, Marco Volpe:
A general proof certification framework for modal logic. Math. Struct. Comput. Sci. 29(8): 1344-1378 (2019) - 2018
- [i4]Tomer Libal, Marco Volpe:
A general proof certification framework for modal logic. CoRR abs/1810.10257 (2018) - 2017
- [j6]Luca Viganò, Marco Volpe, Margherita Zorzi:
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Inf. Comput. 255: 311-333 (2017) - [j5]Marco Rocchetto, Luca Viganò, Marco Volpe:
An interpolation-based method for the verification of security protocols. J. Comput. Secur. 25(6): 463-510 (2017) - 2016
- [c10]Sonia Marin, Dale Miller, Marco Volpe:
A focused framework for emulating modal proof systems. Advances in Modal Logic 2016: 469-488 - [c9]Tomer Libal, Marco Volpe:
Certification of Prefixed Tableau Proofs for Modal Logic. GandALF 2016: 257-271 - 2015
- [j4]Carlos Caleiro, João Marcos, Marco Volpe:
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theor. Comput. Sci. 603: 84-110 (2015) - [c8]Dale Miller, Marco Volpe:
Focused Labeled Proof Systems for Modal Logic. LPAR 2015: 266-280 - 2014
- [c7]Luca Viganò, Marco Volpe, Margherita Zorzi:
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). WoLLIC 2014: 1-19 - [i3]Carlos Caleiro, João Marcos, Marco Volpe:
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. CoRR abs/1408.3775 (2014) - 2013
- [j3]Carlos Caleiro, Luca Viganò, Marco Volpe:
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. Logica Universalis 7(1): 33-69 (2013) - [c6]Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove:
Using Interpolation for the Verification of Security Protocols. STM 2013: 99-114 - [c5]Carlos Caleiro, Luca Viganò, Marco Volpe:
A Labeled Deduction System for the Logic UB. TIME 2013: 45-53 - 2012
- [c4]Marco Volpe, João Marcos, Carlos Caleiro:
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. WoLLIC 2012: 321-335 - 2011
- [j2]Andrea Masini, Luca Viganò, Marco Volpe:
Labelled natural deduction for a bundled branching temporal logic. J. Log. Comput. 21(6): 1093-1163 (2011) - 2010
- [b1]Marco Volpe:
Labeled natural deduction for temporal logics. University of Verona, Italy, 2010 - [j1]Andrea Masini, Luca Viganò, Marco Volpe:
Back from the future. J. Appl. Non Class. Logics 20(3): 241-277 (2010)
2000 – 2009
- 2009
- [c3]Andrea Masini, Luca Viganò, Marco Volpe:
A Labeled Natural Deduction System for a Fragment of CTL*. LFCS 2009: 338-353 - [c2]Andrea Masini, Luca Viganò, Marco Volpe:
A History of Until. M4M 2009: 189-204 - [i2]Andrea Masini, Luca Viganò, Marco Volpe:
A History of Until. CoRR abs/0910.4500 (2009) - 2008
- [c1]Luca Viganò, Marco Volpe:
Labeled Natural Deduction Systems for a Family of Tense Logics. TIME 2008: 118-126 - [i1]Luca Viganò, Marco Volpe:
Labeled Natural Deduction Systems for a Family of Tense Logics. CoRR abs/0803.3187 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-09 05:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
