@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=2007 papers.bib}}
@PHDTHESIS{Chatzikokolakis:07:PhDThesis,
AUTHOR = {Konstantinos Chatzikokolakis},
LIXCATEGORIE = {TH},
LIXEQUIPE = {comete},
MONTH = OCT,
NOTE = {\url{www.lix.polytechnique.fr/~kostas/thesis.pdf}},
SCHOOL = {LIX, \'Ecole Polytechnique},
TITLE = {Probabilistic and Information-Theoretic Approaches to Anonymity},
YEAR = {2007}
}
@ARTICLE{Lanotte:07:FAC,
AUTHOR = {Ruggero Lanotte and Andrea Maggiolo-Schettini and Angelo Troina},
JOURNAL = {Formal Aspects of Computing},
NUMBER = {1},
PAGES = {93--109},
TITLE = {Parametric probabilistic transition systems for system design and analysis},
VOLUME = {19},
YEAR = {2007}
}
@INPROCEEDINGS{Aranda:06:FMCO,
AUTHOR = {Jesus Aranda and Cinzia Di Giusto and Catuscia Palamidessi and Frank Valencia},
BOOKTITLE = {Postproceedings of the 5th International Symposium on Formal Methods for Components and Objects (FMCO'06)},
DATE-MODIFIED = {2008-02-06 03:14:14 +0100},
EDITOR = {Frank S. {de Boer} and Marcello M. Bonsangue},
NOTE = {\url{http://www.lix.polytechnique.fr/~fvalenci/papers/fmco07.pdf}},
PAGES = {185-206},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi},
VOLUME = {4709},
YEAR = {2007}
}
@INPROCEEDINGS{Aranda:07:APLAS,
AUTHOR = {J. Aranda and C. Di Giusto and M. Nielsen and F. Valencia},
BOOKTITLE = {Proc. of The Fifth ASIAN Symposium on Programming Languages ({APLAS'07})},
DATE-MODIFIED = {2008-12-24 16:21:17 +0100},
DOI = {10.1007/978-3-540-76637-7_26},
NOTE = {\url{http://www.brics.dk/~fvalenci/papers/aplas.pdf}},
NUMBER = {4807},
PAGES = {383-398},
PUBLISHER = {Springer},
SERIES = {LNCS},
TITLE = {{CCS} with Replication in the {C}homsky Hierarchy: The Expressive Power of Divergence},
YEAR = {2007},
BDSK-URL-1 = {http://dx.doi.org/10.1007/978-3-540-76637-7_26}
}
@INPROCEEDINGS{Gutierrez:06:MembraneComputing,
AUTHOR = {Julian Gutierrez and Jorge Perez and Camilo Rueda and Frank D. Valencia},
BOOKTITLE = {Proceedings of Workshop on Membrane Computing and Biologically Inspired Process Calculi.},
DATE-MODIFIED = {2008-12-28 18:01:42 +0100},
NOTE = {\url{http://www.brics.dk/~fvalenci/papers/bioccp.pdf}},
PAGES = {117--137},
PUBLISHER = {Elsevier Science B.V.},
SERIES = {Electronic Notes in Theoretical Computer Science},
TITLE = {Timed Concurrent Constraint Programming for Analyzing Biological Systems.},
VOLUME = {171 (2)},
YEAR = {2007}
}
@INPROCEEDINGS{Goubault-Larrecq:07:APLAS,
AUTHOR = {Jean Goubault-Larrecq and Catuscia Palamidessi and Angelo Troina},
BOOKTITLE = {Proceedings of the 5th Asian Symposium on Programming Languages and Systems (APLAS'07)},
DATE-MODIFIED = {2007-12-16 15:51:49 +0100},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Angelo/aplas.pdf}},
PAGES = {175-190},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {A Probabilistic Applied Pi-Calculus},
VOLUME = {4807},
YEAR = 2007
}
@ARTICLE{Vigliotti:07:TCS,
AUTHOR = {Maria Grazia Vigliotti and Iain Phillips and Catuscia Palamidessi},
DATE-MODIFIED = {2008-12-28 16:41:03 +0100},
JOURNAL = {Theoretical Computer Science},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/2007/MariaGrazia/tcs.pdf}},
NUMBER = {1-3},
PAGES = {267-289},
TITLE = {Tutorial on separation results in process calculi via leader election problems},
URL = {http://hal.inria.fr/inria-00201071/en/},
VOLUME = {388},
YEAR = 2007,
BDSK-URL-1 = {http://hal.inria.fr/inria-00201071/en/}
}
@INPROCEEDINGS{Norman:07:QEST,
AUTHOR = {Gethin Norman and Catuscia Palamidessi and David Parker and Peng Wu},
BOOKTITLE = {4th International Conference on the Quantitative Evaluation of SysTems (QEST)},
DATE-MODIFIED = {2009-01-02 03:27:24 +0100},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Wu/qest1.pdf}. Full version in \url{http://www.lix.polytechnique.fr/~catuscia/papers/2009/TSE.pdf}},
PAGES = {169-178},
PUBLISHER = {IEEE Computer Society},
TITLE = {Model checking the probabilistic pi-calculus},
YEAR = 2007
}
@INPROCEEDINGS{Wu:07:QEST,
AUTHOR = {Peng Wu and Catuscia Palamidessi and Huimin Lin},
BOOKTITLE = {Proceedings of 4th International Conference on the Quantitative Evaluation of SysTems (QEST)},
DATE-MODIFIED = {2007-12-23 00:54:37 +0100},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Wu/qest2.pdf}},
PAGES = {179-188},
PUBLISHER = {IEEE Computer Society},
TITLE = {Symbolic Bisimulation for Probabilistic Systems},
YEAR = 2007
}
@INPROCEEDINGS{Olarte:07:ICLP,
AUTHOR = {Carlos Olarte and Catuscia Palamidessi and Frank D. Valencia},
BOOKTITLE = {Proceedings of the 23rd International Conference in Logic Programming (ICLP'07)},
EDITOR = {Ver{\'o}nica Dahl and Ilkka Niemel{\"a}},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07DC.pdf}},
PAGES = {464--465},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Universal Timed Concurrent Constraint Programming},
VOLUME = {4670},
YEAR = 2007
}
@INPROCEEDINGS{Falaschi:07:ICLP,
AUTHOR = {Moreno Falaschi and Carlos Olarte and Catuscia Palamidessi and Frank D. Valencia},
BOOKTITLE = {Proceedings of The 23rd International Conference in Logic Programming (ICLP'07)},
EDITOR = {Ver{\'o}nica Dahl and Ilkka Niemel{\"a}},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07.pdf}},
PAGES = {271--285},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Declarative Diagnosis of Temporal Concurrent Constraint Programs},
VOLUME = {4670},
YEAR = 2007
}
@INPROCEEDINGS{Chatzikokolakis:07:CONCUR,
AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
BOOKTITLE = {Proceedings of CONCUR'07},
EDITOR = {Lu{\'\i}s Caires and Vasco Thudichum Vasconcelos},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Scheduler/report.pdf}},
PAGES = {42--58},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Making Random Choices Invisible to the Scheduler},
VOLUME = {4703},
YEAR = 2007
}
@INPROCEEDINGS{Chatzikokolakis:07:CSF,
AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden},
BOOKTITLE = {Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF20)},
DATE-MODIFIED = {2008-12-30 05:07:47 +0100},
PAGES = {341-354},
PUBLISHER = {IEEE Computer Society},
TITLE = {Probability of Error in Information-Hiding Protocols},
YEAR = 2007,
BDSK-URL-1 = {http://www.lix.polytechnique.fr/~catuscia/papers/ProbabilityError/full_original.pdf}
}
@INPROCEEDINGS{Cacciagrano:06:EXPRESS,
AUTHOR = {Diletta Cacciagrano and Flavio Corradini and Catuscia Palamidessi},
BOOKTITLE = {Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06)},
EDITORS = {Iain Phillips and Roberto Amadio},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Diletta/FairPi/express06.pdf}},
PAGES = {3--26},
PUBLISHER = {Elsevier Science B.V.},
SERIES = {Electronic Notes in Theoretical Computer Science},
TITLE = {Fair $\Pi$},
VOLUME = {175 (3)},
YEAR = {2007}
}
@ARTICLE{Deng:07:TCS,
AUTHOR = {Yuxin Deng and Catuscia Palamidessi},
DATE-MODIFIED = {2008-12-28 16:55:03 +0100},
JOURNAL = {Theoretical Computer Science},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_Axiom/tcs.pdf}},
NUMBER = {1-2},
PAGES = {92--114},
TITLE = {Axiomatizations for probabilistic finite-state behaviors},
URL = {http://hal.inria.fr/inria-00200928/en/},
VOLUME = {373},
YEAR = {2007},
BDSK-URL-1 = {http://hal.inria.fr/inria-00200928/en/}
}
@ARTICLE{Cacciagrano:06:TCS,
AUTHOR = {Diletta Cacciagrano and Flavio Corradini and Catuscia Palamidessi},
DATE-MODIFIED = {2008-12-28 17:35:48 +0100},
JOURNAL = {Theoretical Computer Science},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Diletta/Must/report.pdf}},
NUMBER = {3},
PAGES = {218-235},
TITLE = {Separation of synchronous and asynchronous communication via testing},
URL = {http://hal.inria.fr/inria-00200916/en/},
VOLUME = {386},
YEAR = {2007},
BDSK-URL-1 = {http://hal.inria.fr/inria-00200916/en/}
}
@INPROCEEDINGS{Credi:07:CMSB,
AUTHOR = {Alberto Credi and Marco Garavelli and Cosimo Laneve and Sylvain Pradalier and Serena Silvi and Gianluigi Zavattaro},
BOOKTITLE = {Proceedings of the International Conference on Computational Methods in Systems Biology, (CMSB)},
EDITOR = {Muffy Calder and Stephen Gilmore},
PAGES = {168--183},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Modelization and Simulation of Nano Devices in {\tt nano}$\kappa$ Calculus},
VOLUME = {4695},
YEAR = {2007}
}
@ARTICLE{Chatzikokolakis:05:TCS,
AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
DATE-MODIFIED = {2007-12-16 16:11:42 +0100},
JOURNAL = {Theoretical Computer Science},
NOTE = {A short version of this paper appeared in the {\em Proceedings of the Symposium on Trustworthy Global Computing (TGC)}, volume 3705 of LNCS, pages 146-162. Springer. \url{http://www.lix.polytechnique.fr/~catuscia/papers/PartialSecrets/TCSreport.pdf}},
NUMBER = {3},
PAGES = {512-527},
TITLE = {A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange},
VOLUME = {389},
YEAR = 2007
}
@INPROCEEDINGS{Deng:05:SECCO,
AUTHOR = {Yuxin Deng and Catuscia Palamidessi and Jun Pang},
BOOKTITLE = {Proceedings of the 3rd International Workshop on Security Issues in Concurrency (SecCo)},
DATE-MODIFIED = {2007-12-22 09:09:14 +0100},
EDITOR = {Michael Backes and Andre Scedrov},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/report_wa.pdf}},
PAGES = {55--76},
PUBLISHER = {Elsevier Science B.V.},
SERIES = {Electronic Notes in Theoretical Computer Science},
TITLE = {Weak Probabilistic Anonymity},
VOLUME = {180 (1)},
YEAR = {2007}
}
This file has been generated by bibtex2html 1.74