Marco Gaboardi

2.5k total citations
59 papers, 564 citations indexed

About

Marco Gaboardi is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Sociology and Political Science. According to data from OpenAlex, Marco Gaboardi has authored 59 papers receiving a total of 564 indexed citations (citations by other indexed papers that have themselves been cited), including 56 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 8 papers in Sociology and Political Science. Recurrent topics in Marco Gaboardi's work include Logic, programming, and type systems (27 papers), Formal Methods in Verification (23 papers) and Privacy-Preserving Technologies in Data (21 papers). Marco Gaboardi is often cited by papers focused on Logic, programming, and type systems (27 papers), Formal Methods in Verification (23 papers) and Privacy-Preserving Technologies in Data (21 papers). Marco Gaboardi collaborates with scholars based in United States, Germany and Spain. Marco Gaboardi's co-authors include Gilles Barthe, Ugo Dal Lago, Deepak Garg, Justin Hsu, Simona Ronchi Della Rocca, Mark Bun, Thomas Steinke, Kobbi Nissim, Salil Vadhan and Borja Balle and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and ACM SIGPLAN Notices.

In The Last Decade

Marco Gaboardi

57 papers receiving 548 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Marco Gaboardi United States 14 493 224 89 76 66 59 564
Yassine Lakhnech France 10 264 0.5× 252 1.1× 31 0.3× 76 1.0× 98 1.5× 28 472
Santiago Zanella-Béguelin United Kingdom 13 541 1.1× 124 0.6× 53 0.6× 145 1.9× 154 2.3× 23 646
Kevin Bierhoff United States 10 401 0.8× 118 0.5× 32 0.4× 149 2.0× 119 1.8× 19 478
Riccardo Pucella United States 13 336 0.7× 124 0.6× 53 0.6× 147 1.9× 145 2.2× 44 430
Roger Duke Australia 13 296 0.6× 188 0.8× 21 0.2× 226 3.0× 71 1.1× 40 546
Jean-Pierre Courtiat France 10 85 0.2× 112 0.5× 159 1.8× 106 1.4× 170 2.6× 56 376
Michele Bugliesi Italy 15 512 1.0× 108 0.5× 94 1.1× 274 3.6× 218 3.3× 64 673
Iliano Cervesato United States 18 652 1.3× 275 1.2× 79 0.9× 286 3.8× 449 6.8× 68 860
Jeremy Jacob United Kingdom 12 321 0.7× 58 0.3× 124 1.4× 219 2.9× 170 2.6× 25 484
Ružica Piskač United States 10 250 0.5× 135 0.6× 10 0.1× 240 3.2× 164 2.5× 58 530

Countries citing papers authored by Marco Gaboardi

Since Specialization
Citations

This map shows the geographic impact of Marco Gaboardi's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Marco Gaboardi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marco Gaboardi more than expected).

Fields of papers citing papers by Marco Gaboardi

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Marco Gaboardi. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Marco Gaboardi. The network helps show where Marco Gaboardi may publish in the future.

Co-authorship network of co-authors of Marco Gaboardi

This figure shows the co-authorship network connecting the top 25 collaborators of Marco Gaboardi. A scholar is included among the top collaborators of Marco Gaboardi based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Marco Gaboardi. Marco Gaboardi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Bun, Mark, et al.. (2024). Differentially private confidence intervals for proportions under stratified random sampling. Electronic Journal of Statistics. 18(1). 3 indexed citations
2.
Civilotti, Cristina, Marco Gaboardi, Andrea Guazzini, et al.. (2023). Linguistic markers of processing the first months of the pandemic COVID-19: a psycholinguistic analysis of Italian university students' diaries. Current Psychology. 43(18). 17018–17031. 1 indexed citations
3.
Russo, Alejandro, et al.. (2021). A Programming Language for Data Privacy with Accuracy Estimations. ACM Transactions on Programming Languages and Systems. 43(2). 1–42. 2 indexed citations
4.
Balle, Borja, et al.. (2019). Hypothesis testing interpretations and Renyi differential privacy. Tokyo Tech Research Repository (Tokyo Institute of Technology). 2496–2506. 2 indexed citations
5.
Gaboardi, Marco, et al.. (2019). The Complexity of Verifying Circuits as Differentially Private.. arXiv (Cornell University). 1 indexed citations
6.
Wood, Alexandra, Micah Altman, Mark Bun, et al.. (2018). Differential Privacy: A Primer for a Non-Technical Audience. Digital Access to Scholarship at Harvard (DASH) (Harvard University). 21(1). 209. 13 indexed citations
7.
Amorim, Arthur Azevedo de, Marco Gaboardi, Justin Hsu, & Shin-ya Katsumata. (2018). Metric Semantics for Probabilistic Relational Reasoning.. arXiv (Cornell University). 2 indexed citations
8.
Barthe, Gilles, et al.. (2018). Monadic refinements for relational cost analysis. MPG.PuRe (Max Planck Society). 7 indexed citations
9.
Nissim, Kobbi, Alexandra Wood, Mark Bun, et al.. (2018). Bridging the Gap between Computer Science and Legal Approaches to Privacy. Digital Access to Scholarship at Harvard (DASH) (Harvard University). 31(2). 687. 24 indexed citations
10.
Balle, Borja, Gilles Barthe, & Marco Gaboardi. (2018). Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. arXiv (Cornell University). 31. 6277–6287. 25 indexed citations
11.
Wang, Di, Marco Gaboardi, & Jinhui Xu. (2018). Empirical Risk Minimization in Non-interactive Local Differential Privacy Revisited. Neural Information Processing Systems. 31. 965–974. 16 indexed citations
12.
Gaboardi, Marco, Ryan Rogers, & Or Sheffet. (2018). Locally Private Mean Estimation: Z-test and Tight Confidence Intervals. arXiv (Cornell University). 2545–2554. 9 indexed citations
13.
Amorim, Arthur Azevedo de, et al.. (2017). A semantic account of metric preservation. ACM SIGPLAN Notices. 52(1). 545–556. 1 indexed citations
14.
Gaboardi, Marco & C. J. Skinner. (2017). Special Issue on the Theory and Practice of Differential Privacy. SHILAP Revista de lepidopterología. 7(2). 2 indexed citations
15.
Gaboardi, Marco, et al.. (2016). Combining effects and coeffects via grading. ACM SIGPLAN Notices. 51(9). 476–489. 2 indexed citations
16.
Gaboardi, Marco, et al.. (2015). Realizability models for a linear dependent PCF. Theoretical Computer Science. 585. 55–70. 1 indexed citations
17.
Gaboardi, Marco, et al.. (2015). On bounding space usage of streams using interpretation analysis. Science of Computer Programming. 111. 395–425. 1 indexed citations
18.
Lago, Ugo Dal & Marco Gaboardi. (2012). Linear Dependent Types and Relative Completeness. Logical Methods in Computer Science. Volume 8, Issue 4. 10 indexed citations
19.
Lago, Ugo Dal, et al.. (2011). LINEAR DEPENDENT TYPES AND RELATIVE COMPLETENESS ˚. 38 indexed citations
20.
Gaboardi, Marco & Simona Ronchi Della Rocca. (2007). A soft type assignment system for &lambda-calculus. 253–267. 11 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026