IMDEA Software Institute

output

20082026

most citedProving Differential Privacy via Probabilistic Couplings

98 citations

researchers with a paper here

G. Barthe18 · h 53
P. Ganty15 · h 19
Justin Hsu14 · h 32
M. Hermenegildo14 · h 53
Marco Gaboardi2 profiles12 · h 33
J. Gallagher11 · h 27
J. Morales11 · h 14
Pierre-Yves Strub10 · h 32
Aleksandar Nanevski8 · h 24
Bishoksan Kafle8 · h 9
M. Carro8 · h 21
A. Banerjee6 · h 46

collaborating institutions

Universidad Politécnica de MadridES38 papers
Madrid Institute for Advanced StudiesES15 papers
Roskilde UniversityDK11 papers
University of PennsylvaniaUS11 papers
Max Planck Institute for Software SystemsDE10 papers
University at Buffalo, State University of New YorkUS9 papers
Institut national de recherche en sciences et technologies du numériqueFR8 papers
Universidad Complutense de MadridES7 papers
Consejo Superior de Investigaciones CientíficasES5 papers
Saarland UniversityDE5 papers
University College LondonGB5 papers
Centre National de la Recherche ScientifiqueFR4 papers

Showing 2022 · cs.FLShow all

1 paper · 2 filters

cs.FL2022

Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

Pierre Ganty, Dario Della Monica

This volume contains the proceedings of the 13th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2022). The aim of GandALF 2022 symposium is to b…