Edit Profile Gaboardi, Marco Compute Distance To: Compute Author ID: gaboardi.marco Published as: Gaboardi, Marco Documents Indexed: 29 Publications since 2007 Reviewing Activity: 1 Review all top 5 Co-Authors 0 single-authored 7 Barthe, Gilles 7 Hsu, Justin 6 Ronchi Della Rocca, Simona 5 Strub, Pierre-Yves 3 Grégoire, Benjamin 3 Marion, Jean-Yves 3 Péchoux, Romain 3 Piccolo, Mauro 2 Brunel, Aloïs 2 Gallego Arias, Emilio Jesús 2 Garg, Deepak 2 Katsumata, Shin-ya 2 Paolini, Luca 2 Roth, Aaron Leon 1 Aguirre, Alejandro 1 Arapinis, Myrto 1 Azevedo de Amorim, Arthur 1 Baillot, Patrick 1 Birkedal, Lars 1 Bizjak, Aleš 1 Breuvart, Flavien 1 Cherigui, Ikram 1 Çiçek, Ezgi 1 Dal Lago, Ugo 1 Espitau, Thomas 1 Figueira, Diego 1 Haeberlen, Andreas 1 Hoffmann, Jan-Philipp 1 Mazza, Damiano 1 Mogbil, Virgile 1 Narayan, Arjun 1 Orchard, Dominic A. 1 Pierce, Benjamin C. 1 Roversi, Luca 1 Schöpp, Ulrich 1 Uustalu, Tarmo 1 Vercelli, Luca 1 Zdancewic, Steve all top 5 Serials 1 Theoretical Computer Science 1 Information and Computation 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Logic Journal of the IGPL 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science all top 5 Fields 23 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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.03073Dal Lago, Ugo; Gaboardi, Marco 9 2012 A soft type assignment system for \(\lambda \)-calculus. Zbl 1179.03062Gaboardi, Marco; Ronchi Della Rocca, Simona 9 2007 A polytime functional language from light linear logic. Zbl 1260.68070Baillot, Patrick; Gaboardi, Marco; Mogbil, Virgile 7 2010 Linear dependent types for differential privacy. Zbl 1301.68111Gaboardi, Marco; Haeberlen, Andreas; Hsu, Justin; Narayan, Arjun; Pierce, Benjamin C. 5 2013 A logical account of PSPACE. Zbl 1295.68116Gaboardi, Marco; Marion, Jean-Yves; Della Rocca, Simona Ronchi 5 2008 Proving differential privacy via probabilistic couplings. Zbl 1401.68184Barthe, 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.68058Barthe, Gilles; Gaboardi, Marco; Gallego Arias, Emilio Jesús; Hsu, Justin; Roth, Aaron; Strub, Pierre-Yves 4 2015 An implicit characterization of PSPACE. Zbl 1351.68107Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona 3 2012 On the reification of semantic linearity. Zbl 1361.68064Gaboardi, Marco; Paolini, Luca; Piccolo, Mauro 2 2016 Upper bounds on stream I/O using semantic interpretations. Zbl 1257.68048Gaboardi, Marco; Péchoux, Romain 2 2009 A by-level analysis of multiplicative exponential linear logic. Zbl 1250.03122Gaboardi, Marco; Roversi, Luca; Vercelli, Luca 2 2009 Soft linear logic and polynomial complexity classes. Zbl 1277.03027Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona 2 2008 Sensitivity of counting queries. Zbl 1388.68029Arapinis, Myrto; Figueira, Diego; Gaboardi, Marco 1 2016 A core quantitative coeffect calculus. Zbl 1405.68074Brunel, Aloïs; Gaboardi, Marco; Mazza, Damiano; Zdancewic, Steve 1 2014 Linearity and PCF: a semantic insight! Zbl 1323.68358Gaboardi, Marco; Paolini, Luca; Piccolo, Mauro 1 2011 Global and local space properties of stream programs. Zbl 1305.68055Gaboardi, Marco; Péchoux, Romain 1 2010 From light logics to type assignments: a case study. Zbl 1182.03066Gaboardi, Marco; Ronchi Della Rocca, Simona 1 2009 Type inference for a polynomial lambda calculus. Zbl 1246.03029Gaboardi, Marco; Ronchi Della Rocca, Simona 1 2009 Proving differential privacy via probabilistic couplings. Zbl 1401.68184Barthe, Gilles; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves 4 2016 On the reification of semantic linearity. Zbl 1361.68064Gaboardi, Marco; Paolini, Luca; Piccolo, Mauro 2 2016 Sensitivity of counting queries. Zbl 1388.68029Arapinis, Myrto; Figueira, Diego; Gaboardi, Marco 1 2016 Higher-order approximate relational refinement types for mechanism design and differential privacy. Zbl 1346.68058Barthe, Gilles; Gaboardi, Marco; Gallego Arias, Emilio Jesús; Hsu, Justin; Roth, Aaron; Strub, Pierre-Yves 4 2015 A core quantitative coeffect calculus. Zbl 1405.68074Brunel, Aloïs; Gaboardi, Marco; Mazza, Damiano; Zdancewic, Steve 1 2014 Linear dependent types for differential privacy. Zbl 1301.68111Gaboardi, Marco; Haeberlen, Andreas; Hsu, Justin; Narayan, Arjun; Pierce, Benjamin C. 5 2013 Linear dependent types and relative completeness. Zbl 1261.03073Dal Lago, Ugo; Gaboardi, Marco 9 2012 An implicit characterization of PSPACE. Zbl 1351.68107Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona 3 2012 Linearity and PCF: a semantic insight! Zbl 1323.68358Gaboardi, Marco; Paolini, Luca; Piccolo, Mauro 1 2011 A polytime functional language from light linear logic. Zbl 1260.68070Baillot, Patrick; Gaboardi, Marco; Mogbil, Virgile 7 2010 Global and local space properties of stream programs. Zbl 1305.68055Gaboardi, Marco; Péchoux, Romain 1 2010 Upper bounds on stream I/O using semantic interpretations. Zbl 1257.68048Gaboardi, Marco; Péchoux, Romain 2 2009 A by-level analysis of multiplicative exponential linear logic. Zbl 1250.03122Gaboardi, Marco; Roversi, Luca; Vercelli, Luca 2 2009 From light logics to type assignments: a case study. Zbl 1182.03066Gaboardi, Marco; Ronchi Della Rocca, Simona 1 2009 Type inference for a polynomial lambda calculus. Zbl 1246.03029Gaboardi, Marco; Ronchi Della Rocca, Simona 1 2009 A logical account of PSPACE. Zbl 1295.68116Gaboardi, Marco; Marion, Jean-Yves; Della Rocca, Simona Ronchi 5 2008 Soft linear logic and polynomial complexity classes. Zbl 1277.03027Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona 2 2008 A soft type assignment system for \(\lambda \)-calculus. Zbl 1179.03062Gaboardi, Marco; Ronchi Della Rocca, Simona 9 2007 all cited Publications top 5 cited Publications 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 all top 5 Cited in 10 Serials 10 Theoretical Computer Science 8 Information and Computation 2 Journal of Automated Reasoning 2 Logical Methods in Computer Science 1 Science of Computer Programming 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Functional Programming 1 Theory of Computing Systems 1 ACM Transactions on Computational Logic 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 9 Fields 39 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year