@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'author:"alvim" | author:"andres" | author:"aranda" | author:"aristizabal" | author:"beauxis" | author:"bonchi" | author:"bordenabe" | author:"braun" | author:"chatzikokolakis" | author:"chothia" | author:"deng" | author:"dubreil" | author:"elsalamouny" | author:"giunti" | author:"hamadou" | author:"knight" | author:"kramer" | author:"mio" | author:"olarte" | author:"palamidessi" | author:"pang" | author:"pino" | author:"pradalier" | author:"stronati" | author: "troina" | author:"valencia" | author:"wu" | author:"xu" | author:"ziegler"' -c year=2012 papers.bib}}
@INPROCEEDINGS{bruso:hal-00760150,
ADDRESS = {Newcastle upon Tyne, United Kingdom},
AUTHOR = {Brus{\'o}, Mayla and Chatzikokolakis, Konstantinos and Etalle, Sandro and Den Hartog, Jerry},
BOOKTITLE = {{7th International Symposium on Trustworthy Global Computing (TGC)}},
NOTE = {To appear},
TITLE = {{Linking Unlinkability}},
URL = {http://hal.inria.fr/hal-00760150},
X-ID-HAL = {hal-00760150},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@TECHREPORT{andres:hal-00766821,
AUTHOR = {Andres, E., Miguel and Bordenabe, Nicolas E. and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia},
TITLE = {{Geo-Indistinguishability: Differential Privacy for Location-Based Systems}},
TYPE = {Technical Report},
URL = {http://hal.inria.fr/hal-00766821},
X-ID-HAL = {hal-00766821},
YEAR = {2012}
}
@TECHREPORT{chatzikokolakis:hal-00767210,
AUTHOR = {Chatzikokolakis, Konstantinos and Andres, E., Miguel and Bordenabe, Nicolas E. and Palamidessi, Catuscia},
TITLE = {{Enhancing Differential Privacy: from Hamming to General Metrics}},
TYPE = {Technical Report},
URL = {http://hal.inria.fr/hal-00767210},
X-ID-HAL = {hal-00767210},
YEAR = {2012}
}
@INPROCEEDINGS{gazeau:hal-00665995,
ADDRESS = {Tallinn, Estonia},
AUTHOR = {Gazeau, Ivan and Miller, Dale and Palamidessi, Catuscia},
BOOKTITLE = {{QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages}},
DOI = {10.4204/EPTCS.85.5},
EDITOR = {Mieke Massink and Herbert Wiklicky},
MONTH = MAR,
TITLE = {{A non-local method for robustness analysis of floating point programs}},
URL = {http://hal.inria.fr/hal-00665995},
X-ID-HAL = {hal-00665995},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@ARTICLE{cassez:hal-00662539,
AUTHOR = {Cassez, Franck and Dubreil, Jeremy and Marchand, Herv{\'e}},
DOI = {10.1007/s10703-012-0141-9},
JOURNAL = {{Formal Methods in System Design}},
NUMBER = {1},
PAGES = {88-115},
PUBLISHER = {Springer},
TITLE = {{Synthesis of opaque systems with static and dynamic masks}},
URL = {http://hal.inria.fr/hal-00662539},
VOLUME = {40},
X-EDITORIAL-BOARD = {yes},
X-ID-HAL = {hal-00662539},
X-INTERNATIONAL-AUDIENCE = {yes},
YEAR = {2012}
}
@ARTICLE{mio:hal-00763451,
AUTHOR = {Mio, Matteo},
JOURNAL = {{Logical Methods in Computer Science}},
MONTH = NOV,
NUMBER = {4},
PUBLISHER = {ArXiv},
TITLE = {{Probabilistic modal {$\mu$}-calculus with independent product}},
URL = {http://hal.inria.fr/hal-00763451},
VOLUME = {8},
X-EDITORIAL-BOARD = {yes},
X-ID-HAL = {hal-00763451},
X-INTERNATIONAL-AUDIENCE = {yes},
YEAR = {2012}
}
@ARTICLE{mio:hal-00763454,
AUTHOR = {Mio, Matteo},
JOURNAL = {{Logical Methods in Computer Science}},
MONTH = JUN,
NUMBER = {2},
PUBLISHER = {ArXiv},
TITLE = {{On the equivalence of game and denotational semantics for the probabilistic $\mu$-calculus}},
URL = {http://hal.inria.fr/hal-00763454},
VOLUME = {8},
X-EDITORIAL-BOARD = {yes},
X-ID-HAL = {hal-00763454},
X-INTERNATIONAL-AUDIENCE = {yes},
YEAR = {2012}
}
@ARTICLE{chatzikokolakis:inria-00637160,
AUTHOR = {Chatzikokolakis, Konstantinos and Knight, Sophia and Palamidessi, Catuscia and Panangaden, Prakash},
DOI = {10.1145/2362355.2362356},
JOURNAL = {{Transactions on Computational Logic}},
MONTH = OCT,
NUMBER = {4},
PAGES = {28:1-28:35},
PUBLISHER = {ACM},
TITLE = {{Epistemic Strategies and Games on Concurrent Processes}},
URL = {http://hal.inria.fr/inria-00637160},
VOLUME = {13},
X-EDITORIAL-BOARD = {yes},
X-ID-HAL = {inria-00637160},
X-INTERNATIONAL-AUDIENCE = {yes},
YEAR = {2012}
}
@ARTICLE{alvim:inria-00637356,
AUTHOR = {Alvim, S., Mario and Andres, E., Miguel and Palamidessi, Catuscia},
JOURNAL = {{Journal of Computer Security}},
NUMBER = {1},
PAGES = {3-50},
PUBLISHER = {IOS Press},
TITLE = {{Quantitative Information Flow in Interactive Systems}},
URL = {http://hal.inria.fr/inria-00637356},
VOLUME = {20},
X-EDITORIAL-BOARD = {yes},
X-ID-HAL = {inria-00637356},
X-INTERNATIONAL-AUDIENCE = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{aristizabal:hal-00641408,
ADDRESS = {Trento, Italy},
AUTHOR = {Aristizabal, Andr{\'e}s and Bonchi, Filippo and Pino, Luis and Valencia, Frank D.},
BOOKTITLE = {{27th ACM Symposium On Applied Computing}},
TITLE = {{Partition Refinement for Bisimilarity in CCP}},
URL = {http://hal.inria.fr/hal-00641408},
X-ID-HAL = {hal-00641408},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{alvim:hal-00734044,
ADDRESS = {Cambridge MA, United States},
AUTHOR = {Alvim, S., Mario and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia and Smith, Geoffrey},
BOOKTITLE = { Proceedings of {Computer Security Foundations (CSF)}},
DOI = {10.1109/CSF.2012.26},
PAGES = {265-279},
PUBLISHER = {IEEE},
TITLE = {{Measuring Information Leakage using Generalized Gain Functions}},
URL = {http://hal.inria.fr/hal-00734044},
X-ID-HAL = {hal-00734044},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{yang:hal-00760445,
ADDRESS = {Tallinn, Estonia},
AUTHOR = {Yang, Mu and Sassone, Vladimiro and Hamadou, Sardaouna},
BOOKTITLE = {{Principles of Security and Trust - First International Conference, POST 2012}},
EDITOR = {Pierpaolo Degano and Joshua D. Guttman},
PAGES = {269-289},
PUBLISHER = {Springer},
TITLE = {{A Game-Theoretic Analysis of Cooperation in Anonymity Networks}},
URL = {http://hal.inria.fr/hal-00760445},
VOLUME = {7215},
X-ID-HAL = {hal-00760445},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{bugliesi:hal-00760455,
ADDRESS = {London, United Kingdom},
AUTHOR = {Bugliesi, Michele and Gallina, Lucia and Marin, Andrea and Rossi, Sabina and Hamadou, Sardaouna},
BOOKTITLE = {{Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012}},
PAGES = {189-198},
PUBLISHER = {IEEE Computer Society},
TITLE = {{Interference-Sensitive Preorders for MANETs}},
URL = {http://hal.inria.fr/hal-00760455},
X-ID-HAL = {hal-00760455},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{palamidessi:hal-00760688,
ADDRESS = {Tallin, Estonia},
AUTHOR = {Palamidessi, Catuscia and Stronati, Marco},
BOOKTITLE = {{QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages}},
DOI = {10.4204/EPTCS.85.7},
EDITOR = {Wiklicky, Herbert and Massink, Mieke},
PAGES = {92-105},
PUBLISHER = {Open Publishing Association},
TITLE = {{Differential privacy for relational algebra: improving the sensitivity bounds via constraint systems}},
URL = {http://hal.inria.fr/hal-00760688},
VOLUME = {85},
X-ID-HAL = {hal-00760688},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{knight:hal-00760967,
ADDRESS = {Ithaca, United States},
AUTHOR = {Knight, Sophia and Mardare, Radu and Panangaden, Prakash},
BOOKTITLE = {{Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday}},
DOI = {10.1007/978-3-642-29485-3\_14},
MONTH = APR,
PAGES = {219-243},
TITLE = {{Combining Epistemic Logic and Hennessy-Milner Logic}},
URL = {http://hal.inria.fr/hal-00760967},
X-ID-HAL = {hal-00760967},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{knight:hal-00761116,
ADDRESS = {Newcastle upon Tyne, United Kingdom},
AUTHOR = {Knight, Sophia and Palamidessi, Catuscia and Panangaden, Prakash and Valencia, Frank D.},
BOOKTITLE = {Proceedings of {CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012}},
DOI = {10.1007/978-3-642-32940-1},
MONTH = SEP,
PAGES = {317-332},
TITLE = {{Spatial and Epistemic Modalities in Constraint-Based Process Calculi}},
URL = {http://hal.inria.fr/hal-00761116},
VOLUME = {7454},
X-ID-HAL = {hal-00761116},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{giunti:hal-00761118,
ADDRESS = {New Castle upon Tyne, United Kingdom},
AUTHOR = {Giunti, Marco and Palamidessi, Catuscia and Valencia, Frank D.},
BOOKTITLE = {{Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012)}},
DOI = {10.4204/EPTCS.89},
MONTH = AUG,
PAGES = {65-80},
TITLE = {{Hide and New in the Pi-Calculus}},
URL = {http://hal.inria.fr/hal-00761118},
X-ID-HAL = {hal-00761118},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{aristizabal:hal-00761611,
ADDRESS = {Stockholm, Sweden},
AUTHOR = {Aristizabal, Andr{\'e}s and Bonchi, Filippo and Pino, Luis and Valencia, Frank D.},
BOOKTITLE = {{Fifth Interaction and Concurrency Experience}},
DOI = {10.4204/EPTCS.104},
MONTH = DEC,
NOTE = {EPTCS},
PAGES = {2-16},
TITLE = {{Reducing Weak to Strong Bisimilarity in CCP}},
URL = {http://hal.inria.fr/hal-00761611},
X-ID-HAL = {hal-00761611},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{barco:hal-00761679,
ADDRESS = {Nagoya, Japan},
AUTHOR = {Barco, Andr{\'e}s and Knight, Sophia and Valencia, Frank D.},
BOOKTITLE = {{21st Workshop on Functional and (Constraint) Logic Programming (WFLP2012)}},
MONTH = MAY,
TITLE = {{K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter}},
URL = {http://hal.inria.fr/hal-00761679},
X-ID-HAL = {hal-00761679},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {no},
YEAR = {2012}
}
@PHDTHESIS{aristizabal:pastel-00756952,
AUTHOR = {Aristizabal, Andr{\'e}s},
MONTH = OCT,
SCHOOL = {Ecole Polytechnique X},
TITLE = {{Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente par Contraintes}},
URL = {http://hal.inria.fr/pastel-00756952},
X-ID-HAL = {pastel-00756952},
YEAR = {2012}
}
@INPROCEEDINGS{aristizabal:2011:hal-00641408:1,
AUTHOR = {Aristizabal, Andr{\'e}s and Bonchi, Filippo and Pino, Luis and Valencia, Frank D.},
TITLE = {{Partition Refinement for Bisimilarity in CCP}},
YEAR = {2012},
BOOKTITLE = {Proceedings of the 27th ACM Symposium On Applied Computing to be held in Riva del Garda (Trento), Italy. March 26-30, 2012},
PUBLISHER = {ACM},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/hal-00641408/en},
X-ID-HAL = {hal-00641408}
}
This file has been generated by bibtex2html 1.74