@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