@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "aristizabal"' papers.bib}}

@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{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}
}

@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-00546722:1,
  AUTHOR = {Aristizabal, Andr\'es and Bonchi, Filippo and Palamidessi, Catuscia and Pino, Luis and Valencia, Frank D.},
  TITLE = {{Deriving Labels and Bisimilarity for Concurrent Constraint Programming}},
  BOOKTITLE = { {Proceedings of the 14th International Conference on Foundations of Software Science an Computation Structures (FOSSACS 2011). }},
  YEAR = {2011},
  SERIES = {Lecture Notes in Computer Science},
  EDITOR = {Martin Hofmann},
  DOI = {10.1007/ISBN 978-3-642-19804-5},
  PUBLISHER = {Springer},
  VOLUME = {6604},
  PAGES = {138-152},
  ADDRESS = {Saarbr{\"u}cken, Germany},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PROCEEDINGS = {yes},
  URL = {http://hal.inria.fr/hal-00546722/en},
  X-ID-HAL = {hal-00546722}
}

@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}
}

@INPROCEEDINGS{aristizabal:2010:hal-00546857:1,
  ADDRESS = {Edinburgh, United Kingdom},
  AUTHOR = {Aristizabal P., Andr\'es A.},
  BOOKTITLE = {Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)},
  DATE-ADDED = {2010-12-30 03:55:53 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:53 +0100},
  DOI = {10.4230/LIPIcs.ICLP.2010.236},
  EDITOR = {Manuel V. Hermenegildo and Torsten Schaub},
  MONTH = JUL,
  NOTE = {Short paper accepted at the Doctoral Programme of ICLP'2010},
  PAGES = {236-240},
  PUBLISHER = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  SERIES = {Leibniz International Proceedings in Informatics},
  TITLE = {Bisimilarity in Concurrent Constraint Programming},
  URL = {http://hal.inria.fr/hal-00546857/en},
  VOLUME = {7},
  X-ID-HAL = {hal-00546857},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PROCEEDINGS = {yes},
  YEAR = {2010},
  BDSK-URL-1 = {http://dx.doi.org/10.ISBN%20978-3-939897-17-0}
}


This file has been generated by bibtex2html 1.74