BibTeX records: Xiao Jia 0001

download as .bib file

@inproceedings{DBLP:conf/cpp/JiaLV15,
  author       = {Xiao Jia and
                  Wei Li and
                  Viktor Vafeiadis},
  title        = {Proving Lock-Freedom Easily and Automatically},
  booktitle    = {{CPP}},
  pages        = {119--127},
  publisher    = {{ACM}},
  year         = {2015}
}
@inproceedings{DBLP:conf/dasfaa/JiaPXZL14,
  author       = {Xiao Jia and
                  Chao Pan and
                  Xinhui Xu and
                  Kenny Q. Zhu and
                  Eric Lo},
  title        = {{\(\rho\)}-uncertainty Anonymization by Partial Suppression},
  booktitle    = {{DASFAA} {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8422},
  pages        = {188--202},
  publisher    = {Springer},
  year         = {2014}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics