justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add PrivInfer stub.

This commit is contained in:
Justin Hsu 2016-03-28 18:49:41 -04:00
parent f3e9d7da16
commit 4289d33ba3
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
bibs/myrefs.bib
View File

@ -1,4 +1,16 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@unpublished{privinfer,
title = {Differentially private {B}ayesian programming},
author = {Barthe, Gilles and
Farina, Gian Petro and
Gaboardi, Marco and
Hsu, Justin and
Gordon, Andy and
Strub, Pierre-Yves},
year = {2016},
jh = yes,
}
@unpublished{HKM-verif16, @unpublished{HKM-verif16,
title = {Computer-aided verification in mechanism design}, title = {Computer-aided verification in mechanism design},
author = {Barthe, Gilles and author = {Barthe, Gilles and