Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Farina, Gian Pietro
174  Ergebnisse:
Personensuche X
?
1

Coupled Relational Symbolic Execution for Differential Priv..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Farina, Gian Pietro ; Chong, Stephen ; Gaboardi, Marco - p. 207-233 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Relational Symbolic Execution:

, In: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming,
Farina, Gian Pietro ; Chong, Stephen ; Gaboardi, Marco - p. 1-14 , 2019
Link: https://dl.acm.org/doi/1..
 
?
3

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..
 
?
4

Probabilistic Programming Languages for Modeling Autonomous..:

, In: 2020 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI),
Mahdi Shamsi, Seyed ; Pietro Farina, Gian ; Gaboardi, Marco. - p. 32-39 , 2020
Link: https://doi.org/10.1109/..
 
?
5

Coupled Relational Symbolic Execution for Differential Priv..:

Farina, Gian Pietro ; Chong, Stephen ; Gaboardi, Marco
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984557/.  , 2021
Link: http://www.ncbi.nlm.nih...
 
?
6

Coupled relational symbolic execution for differential priv..:

Farina, Gian Pietro ; Chong, Stephen ; Gaboardi, Marco
G.P. Farina, S. Chong, M. Gaboardi. "Coupled Relational Symbolic Execution for Differential Privacy." Programming Languages and Systems. ESOP 2021. https://doi.org/10.1007/978-3-030-72019-3_8.  , 2021
Link: https://hdl.handle.net/2..
 
?
7

Coupled Relational Symbolic Execution for Differential Priv..:

Farina, Gian Pietro ; Chong, Stephen ; Gaboardi, Marco
http://arxiv.org/abs/2007.12987.  , 2020
Link: http://arxiv.org/abs/200..
 
?
8

Relational Symbolic Execution:

Farina, Gian Pietro ; Chong, Stephen ; Gaboardi, Marco
http://arxiv.org/abs/1711.08349.  , 2017
Link: http://arxiv.org/abs/171..
 
?
9

Differentially Private Bayesian Programming:

Barthe, Gilles ; Farina, Gian Pietro ; Gaboardi, Marco...
http://arxiv.org/abs/1605.00283.  , 2016
Link: http://arxiv.org/abs/160..
 
?
10

Dimostrazione automatica di risultati classici della critto..:

Farina, Gian Pietro
http://amslaurea.unibo.it/1211/1/farina_gianpietro_tesi.pdf.  , 2010
Link: http://amslaurea.unibo.i..
 
?
11

Differentially Private Bayesian Programming:

Barthe, Gilles ; Pietro Farina, Gian ; Gaboardi, Marco...
info:eu-repo/semantics/altIdentifier/doi/10.1145/2976749.2978371.  , 2016
Link: https://hal-mines-parist..
 
?
12

Differentially Private Bayesian Programming:

Barthe, Gilles ; Pietro Farina, Gian ; Gaboardi, Marco...
info:eu-repo/semantics/altIdentifier/doi/10.1145/2976749.2978371.  , 2016
Link: https://hal-mines-parist..
 
?
13

Update on Management of Caustic and Foreign Body Ingestion ..:

Betalli, Pietro ; Rossi, Alfredo ; Bini, Marta...
Diagnostic and Therapeutic Endoscopy.  2009 (2009)  - p. 1-8 , 2009
Link: https://doi.org/10.1155/..
 
?
14

FRI-405 Heterogeneity in the diagnostic performances of HDV..:

Salpini, Romina ; Piermatteo, Lorenzo ; Caviglia, Gian Paolo...
Journal of Hepatology.  80 (2024)  - p. S776-S777 , 2024
Link: https://doi.org/10.1016/..
 
?
15

Six‐year extension results of a randomized trial comparing ..:

Farina, Roberto ; Riccardi, Orio ; Schincaglia, Gian Pietro...
Clinical Oral Implants Research.  34 (2023)  8 - p. 813-821 , 2023
Link: https://doi.org/10.1111/..
 
1-15