default search action
BibTeX records: Xiao Jia 0001
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.