default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marco Volpe 0001
@article{DBLP:journals/apal/MarinMPV22,
author = {Sonia Marin and
Dale Miller and
Elaine Pimentel and
Marco Volpe},
title = {From axioms to synthetic inference rules via focusing},
journal = {Ann. Pure Appl. Log.},
volume = {173},
number = {5},
pages = {103091},
year = {2022},
url = {https://doi.org/10.1016/j.apal.2022.103091},
doi = {10.1016/J.APAL.2022.103091},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MarinMPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icids/MienhardtV21,
author = {Luis Mienhardt and
Marco Volpe},
editor = {Alex Mitchell and
Mirjam Vosmeer},
title = {Enhancing Interactivity in Propp-Based Narrative Generation},
booktitle = {Interactive Storytelling - 14th International Conference on Interactive
Digital Storytelling, {ICIDS} 2021, Tallinn, Estonia, December 7-10,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13138},
pages = {260--265},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92300-6\_24},
doi = {10.1007/978-3-030-92300-6\_24},
timestamp = {Thu, 09 Dec 2021 16:14:29 +0100},
biburl = {https://dblp.org/rec/conf/icids/MienhardtV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LibalV19,
author = {Tomer Libal and
Marco Volpe},
title = {A general proof certification framework for modal logic},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {8},
pages = {1344--1378},
year = {2019},
url = {https://doi.org/10.1017/S0960129518000440},
doi = {10.1017/S0960129518000440},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LibalV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-10257,
author = {Tomer Libal and
Marco Volpe},
title = {A general proof certification framework for modal logic},
journal = {CoRR},
volume = {abs/1810.10257},
year = {2018},
url = {http://arxiv.org/abs/1810.10257},
eprinttype = {arXiv},
eprint = {1810.10257},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-10257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ViganoVZ17,
author = {Luca Vigan{\`{o}} and
Marco Volpe and
Margherita Zorzi},
title = {A branching distributed temporal logic for reasoning about entanglement-free
quantum state transformations},
journal = {Inf. Comput.},
volume = {255},
pages = {311--333},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.01.007},
doi = {10.1016/J.IC.2017.01.007},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ViganoVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/RocchettoVV17,
author = {Marco Rocchetto and
Luca Vigan{\`{o}} and
Marco Volpe},
title = {An interpolation-based method for the verification of security protocols},
journal = {J. Comput. Secur.},
volume = {25},
number = {6},
pages = {463--510},
year = {2017},
url = {https://doi.org/10.3233/JCS-16832},
doi = {10.3233/JCS-16832},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/RocchettoVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/MarinMV16,
author = {Sonia Marin and
Dale Miller and
Marco Volpe},
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {A focused framework for emulating modal proof systems},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August 30 -
September 2, 2016},
pages = {469--488},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Marin-Miller-Volpe.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/MarinMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LibalV16,
author = {Tomer Libal and
Marco Volpe},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Certification of Prefixed Tableau Proofs for Modal Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {257--271},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.18},
doi = {10.4204/EPTCS.226.18},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LibalV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Caleiro0V15,
author = {Carlos Caleiro and
Jo{\~{a}}o Marcos and
Marco Volpe},
title = {Bivalent semantics, generalized compositionality and analytic classic-like
tableaux for finite-valued logics},
journal = {Theor. Comput. Sci.},
volume = {603},
pages = {84--110},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.07.016},
doi = {10.1016/J.TCS.2015.07.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Caleiro0V15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MillerV15,
author = {Dale Miller and
Marco Volpe},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Focused Labeled Proof Systems for Modal Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {266--280},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_19},
doi = {10.1007/978-3-662-48899-7\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MillerV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ViganoVZ14,
author = {Luca Vigan{\`{o}} and
Marco Volpe and
Margherita Zorzi},
editor = {Ulrich Kohlenbach and
Pablo Barcel{\'{o}} and
Ruy J. G. B. de Queiroz},
title = {Quantum State Transformations and Branching Distributed Temporal Logic
- (Invited Paper)},
booktitle = {Logic, Language, Information, and Computation - 21st International
Workshop, WoLLIC 2014, Valpara{\'{\i}}so, Chile, September 1-4,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8652},
pages = {1--19},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44145-9\_1},
doi = {10.1007/978-3-662-44145-9\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/ViganoVZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Caleiro0V14,
author = {Carlos Caleiro and
Jo{\~{a}}o Marcos and
Marco Volpe},
title = {Bivalent semantics, generalized compositionality and analytic classic-like
tableaux for finite-valued logics},
journal = {CoRR},
volume = {abs/1408.3775},
year = {2014},
url = {http://arxiv.org/abs/1408.3775},
eprinttype = {arXiv},
eprint = {1408.3775},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Caleiro0V14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/CaleiroVV13,
author = {Carlos Caleiro and
Luca Vigan{\`{o}} and
Marco Volpe},
title = {On the Mosaic Method for Many-Dimensional Modal Logics: {A} Case Study
Combining Tense and Modal Operators},
journal = {Logica Universalis},
volume = {7},
number = {1},
pages = {33--69},
year = {2013},
url = {https://doi.org/10.1007/s11787-012-0074-5},
doi = {10.1007/S11787-012-0074-5},
timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/CaleiroVV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/RocchettoVVV13,
author = {Marco Rocchetto and
Luca Vigan{\`{o}} and
Marco Volpe and
Giacomo Dalle Vedove},
editor = {Rafael Accorsi and
Silvio Ranise},
title = {Using Interpolation for the Verification of Security Protocols},
booktitle = {Security and Trust Management - 9th International Workshop, {STM}
2013, Egham, UK, September 12-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8203},
pages = {99--114},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41098-7\_7},
doi = {10.1007/978-3-642-41098-7\_7},
timestamp = {Wed, 25 Sep 2019 18:14:27 +0200},
biburl = {https://dblp.org/rec/conf/stm/RocchettoVVV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CaleiroVV13,
author = {Carlos Caleiro and
Luca Vigan{\`{o}} and
Marco Volpe},
editor = {C{\'{e}}sar S{\'{a}}nchez and
Kristen Brent Venable and
Esteban Zim{\'{a}}nyi},
title = {A Labeled Deduction System for the Logic {UB}},
booktitle = {2013 20th International Symposium on Temporal Representation and Reasoning,
Pensacola, FL, USA, September 26-28, 2013},
pages = {45--53},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TIME.2013.14},
doi = {10.1109/TIME.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CaleiroVV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/VolpeMC12,
author = {Marco Volpe and
Jo{\~{a}}o Marcos and
Carlos Caleiro},
editor = {C.{-}H. Luke Ong and
Ruy J. G. B. de Queiroz},
title = {Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics},
booktitle = {Logic, Language, Information and Computation - 19th International
Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7456},
pages = {321--335},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32621-9\_24},
doi = {10.1007/978-3-642-32621-9\_24},
timestamp = {Tue, 01 Jun 2021 15:22:32 +0200},
biburl = {https://dblp.org/rec/conf/wollic/VolpeMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MasiniVV11,
author = {Andrea Masini and
Luca Vigan{\`{o}} and
Marco Volpe},
title = {Labelled natural deduction for a bundled branching temporal logic},
journal = {J. Log. Comput.},
volume = {21},
number = {6},
pages = {1093--1163},
year = {2011},
url = {https://doi.org/10.1093/logcom/exq028},
doi = {10.1093/LOGCOM/EXQ028},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MasiniVV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/VOLPE10,
author = {Marco Volpe},
title = {Labeled natural deduction for temporal logics},
school = {University of Verona, Italy},
year = {2010},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=TD11087417},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/VOLPE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/MasiniVV10,
author = {Andrea Masini and
Luca Vigan{\`{o}} and
Marco Volpe},
title = {Back from the future},
journal = {J. Appl. Non Class. Logics},
volume = {20},
number = {3},
pages = {241--277},
year = {2010},
url = {https://doi.org/10.3166/jancl.20.241-277},
doi = {10.3166/JANCL.20.241-277},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/MasiniVV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MasiniVV09,
author = {Andrea Masini and
Luca Vigan{\`{o}} and
Marco Volpe},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Labeled Natural Deduction System for a Fragment of CTL*},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {338--353},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_23},
doi = {10.1007/978-3-540-92687-0\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MasiniVV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MasiniVV10,
author = {Andrea Masini and
Luca Vigan{\`{o}} and
Marco Volpe},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {A History of Until},
booktitle = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6}
2009, Copenhagen, Denmark, November 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {262},
pages = {189--204},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.04.014},
doi = {10.1016/J.ENTCS.2010.04.014},
timestamp = {Thu, 09 Mar 2023 15:44:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MasiniVV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-4500,
author = {Andrea Masini and
Luca Vigan{\`{o}} and
Marco Volpe},
title = {A History of Until},
journal = {CoRR},
volume = {abs/0910.4500},
year = {2009},
url = {http://arxiv.org/abs/0910.4500},
eprinttype = {arXiv},
eprint = {0910.4500},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-4500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ViganoV08,
author = {Luca Vigan{\`{o}} and
Marco Volpe},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Labeled Natural Deduction Systems for a Family of Tense Logics},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {118--126},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.28},
doi = {10.1109/TIME.2008.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ViganoV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0803-3187,
author = {Luca Vigan{\`{o}} and
Marco Volpe},
title = {Labeled Natural Deduction Systems for a Family of Tense Logics},
journal = {CoRR},
volume = {abs/0803.3187},
year = {2008},
url = {http://arxiv.org/abs/0803.3187},
eprinttype = {arXiv},
eprint = {0803.3187},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0803-3187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-24 23:09 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:
