×
Author ID: masini.andrea Recent zbMATH articles by "Masini, Andrea"
Published as: Masini, Andrea; Masini, A.
Documents Indexed: 37 Publications since 1989
Co-Authors: 11 Co-Authors with 35 Joint Publications
239 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 151 times in 87 Documents Cited by Year
A computational interpretation of modal proofs. Zbl 0867.03016
Martini, Simone; Masini, Andrea
21
1996
2-sequent calculus: A proof theory of modalities. Zbl 0819.03045
Masini, Andrea
14
1992
Quantum implicit computational complexity. Zbl 1186.68209
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
12
2010
On the fine structure of the exponential rule. Zbl 0835.03020
Martini, Simone; Masini, Andrea
10
1995
Confluence results for a quantum lambda calculus with measurements. Zbl 1347.68133
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
10
2011
An analysis of (linear) exponentials based on extended sequents. Zbl 0934.03077
Guerrini, Stefano; Martini, Simone; Masini, Andrea
9
1998
Parsing MELL proof nets. Zbl 0974.68077
Guerrini, S.; Masini, A.
8
2001
On a measurement-free quantum lambda calculus with classical control. Zbl 1166.68016
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
8
2009
2-sequent calculus: Intuitionism and natural deduction. Zbl 0793.03013
Masini, Andrea
8
1993
Coherence for sharing proof-nets. Zbl 1019.03040
Guerrini, Stefano; Martini, Simone; Masini, Andrea
7
2003
A proof-theoretic investigation of a logic of positions. Zbl 1023.03052
Baratella, Stefano; Masini, Andrea
7
2003
An approach to infinitary temporal proof theory. Zbl 1059.03007
Baratella, Stefano; Masini, Andrea
6
2004
Modal deduction systems for quantum state transformations. Zbl 1236.68073
Masini, Andrea; Viganò, Luca; Zorzi, Margherita
6
2011
Proof nets, garbage, and computations. Zbl 0956.68024
Guerrini, S.; Martini, S.; Masini, A.
5
2001
Labelled natural deduction for a bundled branching temporal logic. Zbl 1252.03038
Masini, Andrea; Viganò, Luca; Volpe, Marco
5
2011
A modal view of linear logic. Zbl 0814.03038
Martini, Simone; Masini, Andrea
3
1994
Proof nets, garbage, and computations. Zbl 1063.03535
Guerrini, S.; Martini, S.; Masini, A.
2
1997
From 2-sequents and linear nested sequents to natural deduction for normal modal logics. Zbl 1505.03054
Martini, Simone; Masini, Andrea; Zorzi, Margherita
2
2021
A two-dimensional metric temporal logic. Zbl 1521.03029
Baratella, Stefano; Masini, Andrea
2
2020
A temporal logic approach to specify and to prove properties of finite state concurrent systems. Zbl 0746.68030
Danelutto, M.; Masini, A.
1
1989
Modal logic, linear logic, optimal lambda-reduction. Zbl 0951.03019
Guerrini, Stefano; Martini, Simone; Masini, Andrea
1
1999
Back from the future. Zbl 1242.03046
Masini, Andrea; Viganò, Luca; Volpe, Marco
1
2010
An infinitary variant of metric temporal logic over dense time domains. Zbl 1049.03015
Baratella, Stefano; Masini, Andrea
1
2004
Proofs, tests and continuation passing style. Zbl 1351.68058
Guerrini, Stefano; Masini, Andrea
1
2009
A labeled natural deduction system for a fragment of CTL\( ^{*}\). Zbl 1211.03032
Masini, Andrea; Viganò, Luca; Volpe, Marco
1
2009
From 2-sequents and linear nested sequents to natural deduction for normal modal logics. Zbl 1505.03054
Martini, Simone; Masini, Andrea; Zorzi, Margherita
2
2021
A two-dimensional metric temporal logic. Zbl 1521.03029
Baratella, Stefano; Masini, Andrea
2
2020
Confluence results for a quantum lambda calculus with measurements. Zbl 1347.68133
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
10
2011
Modal deduction systems for quantum state transformations. Zbl 1236.68073
Masini, Andrea; Viganò, Luca; Zorzi, Margherita
6
2011
Labelled natural deduction for a bundled branching temporal logic. Zbl 1252.03038
Masini, Andrea; Viganò, Luca; Volpe, Marco
5
2011
Quantum implicit computational complexity. Zbl 1186.68209
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
12
2010
Back from the future. Zbl 1242.03046
Masini, Andrea; Viganò, Luca; Volpe, Marco
1
2010
On a measurement-free quantum lambda calculus with classical control. Zbl 1166.68016
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
8
2009
Proofs, tests and continuation passing style. Zbl 1351.68058
Guerrini, Stefano; Masini, Andrea
1
2009
A labeled natural deduction system for a fragment of CTL\( ^{*}\). Zbl 1211.03032
Masini, Andrea; Viganò, Luca; Volpe, Marco
1
2009
An approach to infinitary temporal proof theory. Zbl 1059.03007
Baratella, Stefano; Masini, Andrea
6
2004
An infinitary variant of metric temporal logic over dense time domains. Zbl 1049.03015
Baratella, Stefano; Masini, Andrea
1
2004
Coherence for sharing proof-nets. Zbl 1019.03040
Guerrini, Stefano; Martini, Simone; Masini, Andrea
7
2003
A proof-theoretic investigation of a logic of positions. Zbl 1023.03052
Baratella, Stefano; Masini, Andrea
7
2003
Parsing MELL proof nets. Zbl 0974.68077
Guerrini, S.; Masini, A.
8
2001
Proof nets, garbage, and computations. Zbl 0956.68024
Guerrini, S.; Martini, S.; Masini, A.
5
2001
Modal logic, linear logic, optimal lambda-reduction. Zbl 0951.03019
Guerrini, Stefano; Martini, Simone; Masini, Andrea
1
1999
An analysis of (linear) exponentials based on extended sequents. Zbl 0934.03077
Guerrini, Stefano; Martini, Simone; Masini, Andrea
9
1998
Proof nets, garbage, and computations. Zbl 1063.03535
Guerrini, S.; Martini, S.; Masini, A.
2
1997
A computational interpretation of modal proofs. Zbl 0867.03016
Martini, Simone; Masini, Andrea
21
1996
On the fine structure of the exponential rule. Zbl 0835.03020
Martini, Simone; Masini, Andrea
10
1995
A modal view of linear logic. Zbl 0814.03038
Martini, Simone; Masini, Andrea
3
1994
2-sequent calculus: Intuitionism and natural deduction. Zbl 0793.03013
Masini, Andrea
8
1993
2-sequent calculus: A proof theory of modalities. Zbl 0819.03045
Masini, Andrea
14
1992
A temporal logic approach to specify and to prove properties of finite state concurrent systems. Zbl 0746.68030
Danelutto, M.; Masini, A.
1
1989
all top 5

Cited by 104 Authors

17 Masini, Andrea
11 Zorzi, Margherita
9 Guerrini, Stefano
7 Dal Lago, Ugo
7 Kamide, Norihiro
4 Baratella, Stefano
4 Martini, Simone
3 Baillot, Patrick
3 Paolini, Luca
3 Roversi, Luca
2 Acclavio, Matteo
2 Brock-Nannestad, Taus
2 Díaz-Caro, Alejandro
2 Faggian, Claudia
2 Guenot, Nicolas
2 Heijltjes, Willem B.
2 Mazza, Damiano
2 Olarte, Carlos
2 Pimentel, Elaine
2 Vercelli, Luca
2 Viganò, Luca
2 Volpe, Marco
2 Xavier, Bruno
1 Accattoli, Beniamino
1 Ahman, Danel
1 Bardin, Sébastien
1 Bellin, Gianluigi
1 Bimbó, Katalin
1 Birkedal, Lars
1 Bobot, François
1 Boudes, Pierre
1 Braüner, Torben
1 Brünnler, Kai
1 Burns, Samara
1 Camrud, Caleb M. H.
1 Chakraborty, Mihir Kumar
1 Chareton, Christophe
1 Clouston, Ranald A.
1 Coppola, Paolo
1 da Paz N. Medeiros, Maria
1 De Benedetti, Erika
1 de Naurois, Paulin Jacobé
1 de Paiva, Valeria
1 Di Giamberardino, Paolo
1 Dosanjh, Ranpal
1 Felty, Amy P.
1 Fujita, Ken-etsu
1 Fukuda, Yosuke
1 Gaboardi, Marco
1 Ghica, Dan R.
1 Ghidini, Chiara
1 Haeusler, Edward Hermann
1 Hainry, Emmanuel
1 Halimi, Brice
1 Hasuo, Ichiro
1 Hoshino, Naohiko
1 Hu, Jason Z. S.
1 Hughes, Dominic J. D.
1 Igarashi, Atsushi
1 Jang, Junyoung
1 Kakutani, Yoshihiko
1 Kanovich, Max Iosifovich
1 Kavvos, G. A.
1 Kojima, Kensuke
1 Kuznets, Roman
1 Lellmann, Björn
1 Maggiolo-Schettini, Andrea
1 Mahmoud, Mohamed Yousri
1 Mannaa, Bassel
1 Martínez, Guido
1 Martins, Ana Teresa
1 McCabe-Dansted, John Christopher
1 Mendler, Michael
1 Mogbil, Virgile
1 Møgelberg, Rasmus Ejlers
1 Murase, Yuito
1 Nishiwaki, Yuichi
1 Okada, Mitsuhiro
1 Parisen Toldin, Paolo
1 Paulus, Joseph W. N.
1 Péchoux, Romain
1 Pérez, Jorge A.
1 Perrelle, Valentin
1 Piccolo, Mauro
1 Pientka, Brigitte
1 Pitts, Andrew M.
1 Ramalho Martins, Lília
1 Ranalter, Kurt
1 Reynolds, Mark Alexander
1 Ronchi Della Rocca, Simona
1 Scedrov, Andre
1 Scheele, Stephan
1 Sen, Jayanta
1 Serafini, Luciano
1 Sobrinho, Daniele Nantes
1 Solieri, Marco
1 Spitters, Bas
1 Standefer, Shawn
1 Straßburger, Lutz
1 Tortora de Falco, Lorenzo
...and 4 more Authors

Citations by Year