@COMMENT{{{This file has been generated by bib2bib 1.74}}

@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "pino"' 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}
}

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

@TECHREPORT{pino:2010:hal-00546849:1,
  AUTHOR = {Pino, Luis},
  DATE-ADDED = {2010-12-30 03:55:53 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:53 +0100},
  INSTITUTION = {Universidad del Valle, Colombia},
  NOTE = {BSc Thesis from Universidad del Valle, Colombia},
  TITLE = {Analysis of the reachability problem in fragments of the Pi-calculus},
  URL = {http://hal.inria.fr/hal-00546849/en},
  X-ID-HAL = {hal-00546849},
  YEAR = {2010}
}

This file has been generated by bibtex2html 1.74