@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "olarte"' papers.bib}}
@INPROCEEDINGS{hermith:2011:hal-00641433:1, AUTHOR = {Hermith, Diana and Olarte, Carlos and Rueda, Camilo and Valencia, Frank D.}, X-PAYS = {CO}, TITLE = {{Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach}}, BOOKTITLE = {{PACBB}}, YEAR = {2011}, SERIES = {Advances in Intelligent and Soft Computing}, EDITOR = {Miguel P. Rocha and Juan M. Corchado Rodriguez and Florentino Fdez-Riverola and Alfonso Valencia}, DOI = {10.1007/ISBN 978-3-642-19913-4}, PUBLISHER = {Springer}, VOLUME = {93}, PAGES = {321-328}, ADDRESS = {Salamanca, Spain}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, URL = {http://hal.inria.fr/hal-00641433/en}, X-ID-HAL = {hal-00641433} }
@INPROCEEDINGS{chiarugi:2010:hal-00548213:1, ADDRESS = {Niagara Falls, New York, USA}, AUTHOR = {Chiarugi, Davide and Falaschi, Moreno and Olarte, Carlos and Palamidessi, Catuscia}, BOOKTITLE = {First ACM International Conference on Bioinformatics and Computational Biology (BCB 2010)}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, DOI = {10.1145/1854776.1854843}, PAGES = {414-417}, PUBLISHER = {ACM Digital Libraries}, TITLE = {Compositional modelling of signalling pathways in timed concurrent constraint programming}, URL = {http://hal.inria.fr/hal-00548213/en}, X-ID-HAL = {hal-00548213}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PAYS = {IT,CO}, X-PROCEEDINGS = {yes}, YEAR = {2010}, BDSK-URL-1 = {http://dx.doi.org/10.1145/1854776.1854843} }
@INPROCEEDINGS{Falaschi:09:PPDP, AUTHOR = {Moreno Falaschi and Carlos Olarte and Catuscia Palamidessi}, BOOKTITLE = {Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'09}, DATE-ADDED = {2010-12-30 03:55:02 +0100}, DATE-MODIFIED = {2010-12-30 03:55:02 +0100}, DOI = {10.1145/1599410.1599436}, EDITOR = {Ant{\'o}nio Porto and Francisco Javier L{\'o}pez-Fraguas}, LIXCATEGORIE = {CIA}, LIXEQUIPE = {comete}, PAGES = {207-218}, PUBLISHER = {ACM}, TITLE = {A framework for abstract interpretation of timed concurrent constraint programs}, URL = {http://hal.inria.fr/inria-00426608/en/}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PAYS = {IT}, X-PROCEEDINGS = {yes}, YEAR = {2009}, BDSK-URL-1 = {http://hal.inria.fr/inria-00426608/en/}, BDSK-URL-2 = {http://dx.doi.org/10.1145/1599410.1599436} }
@INPROCEEDINGS{Aranda:09:ICLP, AUTHOR = {Jesus Aranda and G{\'e}rard Assayag and Carlos Olarte and Jorge A. P{\'e}rez and Camilo Rueda and Mauricio Toro and Frank D. Valencia}, BOOKTITLE = {Proceeding of the 25th International Conference, ICLP'09}, DATE-ADDED = {2010-12-30 03:55:02 +0100}, DATE-MODIFIED = {2010-12-30 03:55:02 +0100}, DOI = {10.1007/978-3-642-02846-5\_4}, EDITOR = {Patricia M. Hill and David Scott Warren}, ISBN = {978-3-642-02845-8}, LIXCATEGORIE = {CIA}, LIXEQUIPE = {comete}, PAGES = {509-513}, PUBLISHER = {Springer}, SERIES = {Lectures Notes in Computer Science}, TITLE = {An {O}verview of {F}{O}{R}{C}{E}{S}: An {I}{N}{R}{I}{A} Project on Declarative Formalisms for Emergent Systems}, URL = {http://hal.inria.fr/inria-00426610/en/}, VOLUME = {5649}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PAYS = {IT,CO}, X-PROCEEDINGS = {yes}, YEAR = {2009}, BDSK-URL-1 = {http://hal.inria.fr/inria-00426610/en/}, BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-02846-5%5C_4} }
@INPROCEEDINGS{Olarte:09:IRCAM, ADDRESS = {Paris, France}, AUTHOR = {Carlos Olarte and Camilo Rueda and Frank D. Valencia}, BOOKTITLE = {New Computational Paradigms for Computer Music}, CHAPTER = {3}, DATE-ADDED = {2010-12-30 03:55:02 +0100}, DATE-MODIFIED = {2010-12-30 03:55:02 +0100}, EDITOR = {G\'{e}rard Assayag and Andrew Gerzso}, LIXCATEGORIE = {CIA}, LIXEQUIPE = {comete}, PAGES = {400--402}, PUBLISHER = {Delatour France / Ircam-Centre Pompidou}, TITLE = {{C}oncurrent {C}onstraint {P}rogramming: a Declarative Paradigm for Modeling Music Systems}, URL = {http://hal.inria.fr/inria-00429592/en/}, X-INTERNATIONAL-AUDIENCE = {no}, X-PAYS = {CO}, X-PROCEEDINGS = {yes}, YEAR = {2009}, BDSK-URL-1 = {http://hal.inria.fr/inria-00429592/en/} }
@INPROCEEDINGS{Olarte:09:MCM, AUTHOR = {Carlos Olarte and Camilo Rueda}, BOOKTITLE = {Proceedings of the Second International Conference on Mathematics and Computation in Music (MCM)}, DATE-ADDED = {2010-12-30 03:55:02 +0100}, DATE-MODIFIED = {2010-12-30 03:55:02 +0100}, DOI = {10.1007/978-3-642-02394-1}, EDITOR = {Elaine Chew and Adrian Childs and Hing-Hua Chuan}, ISBN = {978-3-642-02393-4}, LIXCATEGORIE = {CIA}, LIXEQUIPE = {comete}, PAGES = {218-227}, PUBLISHER = {Springer}, SERIES = {Communications in Computer and Information Science}, TITLE = {A Declarative Language for Dynamic Multimedia Interaction Systems}, URL = {http://hal.inria.fr/inria-00426607/}, VOLUME = {38}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PAYS = {CO}, X-PROCEEDINGS = {yes}, YEAR = {2009}, BDSK-URL-1 = {http://hal.inria.fr/inria-00426607/}, BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-02394-1} }
@INPROCEEDINGS{Lopez:09:PLACES, AUTHOR = {Hugo L\'{o}pez and Carlos Olarte and Jorge A. P\'{e}rez}, BOOKTITLE = {Proceedings of the workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)}, DATE-ADDED = {2010-12-30 03:55:02 +0100}, DATE-MODIFIED = {2010-12-30 03:55:02 +0100}, EDITOR = {Alastair R. Beresford and Simon Gay}, LIXCATEGORIE = {CIA}, LIXEQUIPE = {comete}, PAGES = {1-15}, SERIES = {Electronic Proceedings in Theoretical Computer Science (EPTCS)}, TITLE = {Towards a Unified Framework for Declarative Structured Communications}, URL = {http://hal.inria.fr/inria-00426609/en/}, VOLUME = {17}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PAYS = {DK,IT}, X-PROCEEDINGS = {yes}, YEAR = {2009}, BDSK-URL-1 = {http://hal.inria.fr/inria-00426609/en/} }
@PHDTHESIS{Olarte:09:PhDThesis, ADDRESS = {Palaiseau, France}, AUTHOR = {Carlos Olarte}, DATE-ADDED = {2010-12-30 03:55:02 +0100}, DATE-MODIFIED = {2010-12-30 03:55:02 +0100}, LIXEQUIPE = {comete}, SCHOOL = {LIX, Ecole Polytechnique}, TITLE = {Universal Temporal Concurrent Constraint Programming}, URL = {http://tel.archives-ouvertes.fr/tel-00430446/en/}, YEAR = 2009, BDSK-URL-1 = {http://tel.archives-ouvertes.fr/tel-00430446/en/} }
@INPROCEEDINGS{Olarte:08:PPDP, AUTHOR = {Carlos Olarte and Frank D. Valencia}, BOOKTITLE = {Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming}, DATE-ADDED = {2008-12-24 16:32:28 +0100}, DATE-MODIFIED = {2008-12-30 05:38:27 +0100}, DOI = {10.1145/1389449.1389452}, EDITOR = {Sergio Antoy and Elvira Albert}, PAGES = {8-19}, TITLE = {The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security}, URL = {http://hal.inria.fr/inria-00349353/en/}, YEAR = {2008}, BDSK-URL-1 = {http://dx.doi.org/10.1145/1389449.1389452} }
@INPROCEEDINGS{Olarte:08:SAC, AUTHOR = {Carlos Olarte and Frank D. Valencia}, BOOKTITLE = {Proceedings of the 23rd ACM Symposium on Applied Computing (SAC)}, DATE-ADDED = {2007-12-09 23:59:15 +0100}, DATE-MODIFIED = {2008-12-30 06:06:40 +0100}, DOI = {10.1145/1363686.1363726}, NOTE = {\url{http://www.lix.polytechnique.fr/~colarte/colarte/Publications_files/sac08.pdf}}, PAGES = {145-150}, PDF = {http://www.lix.polytechnique.fr/~colarte/colarte/Publications_files/sac08.pdf}, PUBLISHER = {ACM}, TITLE = {Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security}, URL = {http://hal.inria.fr/inria-00201497/en/}, YEAR = 2008, BDSK-URL-1 = {http://dx.doi.org/10.1145/1363686.1363726}, BDSK-URL-2 = {http://hal.inria.fr/inria-00201497/en/}, BDSK-URL-3 = {http://www.lix.polytechnique.fr/~colarte/colarte/Publications_files/sac08.pdf} }
@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 }
This file has been generated by bibtex2html 1.74