@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