×

zbMATH — the first resource for mathematics

Gaboardi, Marco

Compute Distance To:
Author ID: gaboardi.marco Recent zbMATH articles by "Gaboardi, Marco"
Published as: Gaboardi, Marco
Documents Indexed: 29 Publications since 2007
Reviewing Activity: 1 Review

Publications by Year

Citations contained in zbMATH

18 Publications have been cited 60 times in 45 Documents Cited by Year
Linear dependent types and relative completeness. Zbl 1261.03073
Dal Lago, Ugo; Gaboardi, Marco
9
2012
A soft type assignment system for \(\lambda \)-calculus. Zbl 1179.03062
Gaboardi, Marco; Ronchi Della Rocca, Simona
9
2007
A polytime functional language from light linear logic. Zbl 1260.68070
Baillot, Patrick; Gaboardi, Marco; Mogbil, Virgile
7
2010
Linear dependent types for differential privacy. Zbl 1301.68111
Gaboardi, Marco; Haeberlen, Andreas; Hsu, Justin; Narayan, Arjun; Pierce, Benjamin C.
5
2013
A logical account of PSPACE. Zbl 1295.68116
Gaboardi, Marco; Marion, Jean-Yves; Della Rocca, Simona Ronchi
5
2008
Proving differential privacy via probabilistic couplings. Zbl 1401.68184
Barthe, Gilles; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves
4
2016
Higher-order approximate relational refinement types for mechanism design and differential privacy. Zbl 1346.68058
Barthe, Gilles; Gaboardi, Marco; Gallego Arias, Emilio Jesús; Hsu, Justin; Roth, Aaron; Strub, Pierre-Yves
4
2015
An implicit characterization of PSPACE. Zbl 1351.68107
Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona
3
2012
On the reification of semantic linearity. Zbl 1361.68064
Gaboardi, Marco; Paolini, Luca; Piccolo, Mauro
2
2016
Upper bounds on stream I/O using semantic interpretations. Zbl 1257.68048
Gaboardi, Marco; Péchoux, Romain
2
2009
A by-level analysis of multiplicative exponential linear logic. Zbl 1250.03122
Gaboardi, Marco; Roversi, Luca; Vercelli, Luca
2
2009
Soft linear logic and polynomial complexity classes. Zbl 1277.03027
Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona
2
2008
Sensitivity of counting queries. Zbl 1388.68029
Arapinis, Myrto; Figueira, Diego; Gaboardi, Marco
1
2016
A core quantitative coeffect calculus. Zbl 1405.68074
Brunel, Aloïs; Gaboardi, Marco; Mazza, Damiano; Zdancewic, Steve
1
2014
Linearity and PCF: a semantic insight! Zbl 1323.68358
Gaboardi, Marco; Paolini, Luca; Piccolo, Mauro
1
2011
Global and local space properties of stream programs. Zbl 1305.68055
Gaboardi, Marco; Péchoux, Romain
1
2010
From light logics to type assignments: a case study. Zbl 1182.03066
Gaboardi, Marco; Ronchi Della Rocca, Simona
1
2009
Type inference for a polynomial lambda calculus. Zbl 1246.03029
Gaboardi, Marco; Ronchi Della Rocca, Simona
1
2009
Proving differential privacy via probabilistic couplings. Zbl 1401.68184
Barthe, Gilles; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves
4
2016
On the reification of semantic linearity. Zbl 1361.68064
Gaboardi, Marco; Paolini, Luca; Piccolo, Mauro
2
2016
Sensitivity of counting queries. Zbl 1388.68029
Arapinis, Myrto; Figueira, Diego; Gaboardi, Marco
1
2016
Higher-order approximate relational refinement types for mechanism design and differential privacy. Zbl 1346.68058
Barthe, Gilles; Gaboardi, Marco; Gallego Arias, Emilio Jesús; Hsu, Justin; Roth, Aaron; Strub, Pierre-Yves
4
2015
A core quantitative coeffect calculus. Zbl 1405.68074
Brunel, Aloïs; Gaboardi, Marco; Mazza, Damiano; Zdancewic, Steve
1
2014
Linear dependent types for differential privacy. Zbl 1301.68111
Gaboardi, Marco; Haeberlen, Andreas; Hsu, Justin; Narayan, Arjun; Pierce, Benjamin C.
5
2013
Linear dependent types and relative completeness. Zbl 1261.03073
Dal Lago, Ugo; Gaboardi, Marco
9
2012
An implicit characterization of PSPACE. Zbl 1351.68107
Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona
3
2012
Linearity and PCF: a semantic insight! Zbl 1323.68358
Gaboardi, Marco; Paolini, Luca; Piccolo, Mauro
1
2011
A polytime functional language from light linear logic. Zbl 1260.68070
Baillot, Patrick; Gaboardi, Marco; Mogbil, Virgile
7
2010
Global and local space properties of stream programs. Zbl 1305.68055
Gaboardi, Marco; Péchoux, Romain
1
2010
Upper bounds on stream I/O using semantic interpretations. Zbl 1257.68048
Gaboardi, Marco; Péchoux, Romain
2
2009
A by-level analysis of multiplicative exponential linear logic. Zbl 1250.03122
Gaboardi, Marco; Roversi, Luca; Vercelli, Luca
2
2009
From light logics to type assignments: a case study. Zbl 1182.03066
Gaboardi, Marco; Ronchi Della Rocca, Simona
1
2009
Type inference for a polynomial lambda calculus. Zbl 1246.03029
Gaboardi, Marco; Ronchi Della Rocca, Simona
1
2009
A logical account of PSPACE. Zbl 1295.68116
Gaboardi, Marco; Marion, Jean-Yves; Della Rocca, Simona Ronchi
5
2008
Soft linear logic and polynomial complexity classes. Zbl 1277.03027
Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona
2
2008
A soft type assignment system for \(\lambda \)-calculus. Zbl 1179.03062
Gaboardi, Marco; Ronchi Della Rocca, Simona
9
2007
all top 5

Cited by 88 Authors

5 Baillot, Patrick
5 Barthe, Gilles
5 Dal Lago, Ugo
4 Gaboardi, Marco
3 Mazza, Damiano
3 Ronchi Della Rocca, Simona
2 Hsu, Justin
2 Palamidessi, Catuscia
2 Paolini, Luca
2 Sato, Tetsuya
2 Strub, Pierre-Yves
2 Zorzi, Margherita
1 Accattoli, Beniamino
1 Amadio, Roberto M.
1 Asperti, Andrea
1 Aubert, Clément
1 Bagnol, Marc
1 Berardi, Stefano
1 Biewer, Sebastian
1 Boudes, Pierre
1 Brázdil, Tomáš
1 Brunel, Aloïs
1 Cao, Yongzhi
1 Carmeli, Nofar
1 Chatterjee, Krishnendu
1 Chatzikokolakis, Konstantinos
1 Chrząszcz, Jacek
1 Crespo, Juan Manuel
1 Curzi, Gianluca
1 D’Argenio, Pedro Rubén
1 De Benedetti, Erika
1 de’Liguoro, Ugo
1 ElSalamouny, Ehab
1 Espitau, Thomas
1 Férée, Hugo
1 Finkbeiner, Bernd
1 Fujii, Soichiro
1 Gallego Arias, Emilio Jesús
1 Gazeau, Ivan
1 Ghica, Dan R.
1 Ghyselen, Alexis
1 Graham-Lengrand, Stéphane
1 Grellois, Charles
1 Hainry, Emmanuel
1 Hermanns, Holger
1 Hoffmann, Jan-Philipp
1 Hoyrup, Mathieu
1 Katsumata, Shin-ya
1 Kesner, Delia
1 Kröll, Markus
1 Kucera, Antonin
1 Kunz, César
1 Laud, Peeter
1 Laurent, Olivier
1 Leivant, Daniel M.
1 Lichtman, Benjamin
1 Madet, Antoine
1 Marion, Jean-Yves
1 Martini, Simone
1 McBride, Conor Thomas
1 Melliès, Paul-André
1 Miller, Dale Allen
1 Muroya, Koko
1 Nigam, Vivek
1 Novotný, Petr
1 Olarte, Carlos
1 Péchoux, Romain
1 Perrinel, Matthieu
1 Petit, Barbara
1 Pettai, Martin
1 Piccolo, Mauro
1 Pimentel, Elaine
1 Ramyaa, Ramyaa
1 Redmond, Brian F.
1 Roth, Aaron Leon
1 Roversi, Luca
1 Sangiorgi, Davide
1 Schubert, Aleksy
1 Seiller, Thomas
1 Terui, Kazushige
1 Tortora de Falco, Lorenzo
1 Velan, Dominik
1 Wang, Hanpin
1 Yang, Jiannan
1 Ying, Mingsheng
1 Ying, Shenggang
1 Yu, Nengkun
1 Zhou, Li

Citations by Year