@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