Thomas Espitau
AuthID: R-00K-HHT
11
TÃTULO: Proving uniformity and independence by self-composition and coupling PDF
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1701.06477
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1701.06477
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv12
TÃTULO: *-Liftings for Differential Privacy PDF
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.00133
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.00133
INDEXADO EM: DBLP arXiv
DBLP arXiv13
TÃTULO: Synthesizing Probabilistic Invariants via Doob's Decomposition
AUTORES: Gilles Barthe ; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLICAÇÃO: 2016, FONTE: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, VOLUME: 9779
AUTORES: Gilles Barthe ; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLICAÇÃO: 2016, FONTE: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, VOLUME: 9779
INDEXADO EM: DBLP
DBLP14
TÃTULO: Synthesizing Probabilistic Invariants via Doob's Decomposition PDF
AUTORES: Gilles Barthe; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1605.02765
AUTORES: Gilles Barthe; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1605.02765
INDEXADO EM: DBLP arXiv
DBLP arXiv15
TÃTULO: Relational Reasoning via Probabilistic Coupling
AUTORES: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLICAÇÃO: 2015, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
AUTORES: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLICAÇÃO: 2015, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
INDEXADO EM: DBLP
DBLP16
TÃTULO: Relational reasoning via probabilistic coupling PDF
AUTORES: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1509.03476
AUTORES: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1509.03476
INDEXADO EM: DBLP arXiv
DBLP arXiv