Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Barthe Arias, Antonio
5  Ergebnisse:
englisch X
Personensuche X
?
1

Differentially Private Bayesian Programming:

, In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,
Barthe, Gilles ; Farina, Gian Pietro ; Gaboardi, Marco... - p. 68-79 , 2016
Link: https://dl.acm.org/doi/1..
 
?
2

Higher-Order Approximate Relational Refinement Types for Me..:

Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesús...
ACM SIGPLAN Notices.  50 (2015)  1 - p. 55-68 , 2015
Link: https://doi.org/10.1145/..
 
?
3

Higher-Order Approximate Relational Refinement Types for Me..:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesús... - p. 55-68 , 2015
Link: https://dl.acm.org/doi/1..
 
?
4

Proving Differential Privacy in Hoare Logic:

, In: 2014 IEEE 27th Computer Security Foundations Symposium,
Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesus... - p. 411-424 , 2014
Link: https://doi.org/10.1109/..
 
?
5

Activation of Serine One-Carbon Metabolism by Calcineurin A..:

Padrón-Barthe, Laura ; Villalba-Orero, María ; Gómez-Salinero, Jesús M....
Journal of the American College of Cardiology.  71 (2018)  6 - p. 654-667 , 2018
Link: https://doi.org/10.1016/..
 
1-5