BibTeX records: Andrés A. Aristizábal P.

download as .bib file

@article{DBLP:journals/lmcs/AristizabalBLP17,
  author    = {Andr{\'{e}}s Aristiz{\'{a}}bal and
               Dariusz Biernacki and
               Sergue{\"{\i}} Lenglet and
               Piotr Polesiuk},
  title     = {Environmental Bisimulations for Delimited-Control Operators with Dynamic
               Prompt Generation},
  journal   = {Log. Methods Comput. Sci.},
  volume    = {13},
  number    = {3},
  year      = {2017},
  url       = {https://doi.org/10.23638/LMCS-13(3:27)2017},
  doi       = {10.23638/LMCS-13(3:27)2017},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lmcs/AristizabalBLP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AristizabalBLP16,
  author    = {Andr{\'{e}}s Aristiz{\'{a}}bal and
               Dariusz Biernacki and
               Sergue{\"{\i}} Lenglet and
               Piotr Polesiuk},
  editor    = {Delia Kesner and
               Brigitte Pientka},
  title     = {Environmental Bisimulations for Delimited-Control Operators with Dynamic
               Prompt Generation},
  booktitle = {1st International Conference on Formal Structures for Computation
               and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series    = {LIPIcs},
  volume    = {52},
  pages     = {9:1--9:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2016},
  url       = {https://doi.org/10.4230/LIPIcs.FSCD.2016.9},
  doi       = {10.4230/LIPIcs.FSCD.2016.9},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/rta/AristizabalBLP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AristizabalBLP16,
  author    = {Andr{\'{e}}s Aristiz{\'{a}}bal and
               Dariusz Biernacki and
               Sergue{\"{\i}} Lenglet and
               Piotr Polesiuk},
  title     = {Environmental Bisimulations for Delimited-Control Operators with Dynamic
               Prompt Generation},
  journal   = {CoRR},
  volume    = {abs/1611.09626},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.09626},
  archivePrefix = {arXiv},
  eprint    = {1611.09626},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/AristizabalBLP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PinoPBV15,
  author    = {Luis Fernando Pino and
               Andr{\'{e}}s A. Aristiz{\'{a}}bal P. and
               Filippo Bonchi and
               Frank D. Valencia},
  title     = {Weak {CCP} bisimilarity with strong procedures},
  journal   = {Sci. Comput. Program.},
  volume    = {100},
  pages     = {84--104},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.09.007},
  doi       = {10.1016/j.scico.2014.09.007},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/PinoPBV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Aristizabal12,
  author    = {Andr{\'{e}}s A. Aristiz{\'{a}}bal P.},
  title     = {Bisimulation Techniques and Algorithms for Concurrent Constraint Programming.
               (Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente
               par Contraintes)},
  school    = {{\'{E}}cole Polytechnique, Palaiseau, France},
  year      = {2012},
  url       = {https://tel.archives-ouvertes.fr/pastel-00756952},
  timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Aristizabal12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AristizabalBVP12,
  author    = {Andr{\'{e}}s Aristiz{\'{a}}bal and
               Filippo Bonchi and
               Frank D. Valencia and
               Luis Fernando Pino},
  editor    = {Sascha Ossowski and
               Paola Lecca},
  title     = {Partition refinement for bisimilarity in {CCP}},
  booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
               Riva, Trento, Italy, March 26-30, 2012},
  pages     = {88--93},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2245276.2245296},
  doi       = {10.1145/2245276.2245296},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sac/AristizabalBVP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3874,
  author    = {Andr{\'{e}}s Aristiz{\'{a}}bal and
               Filippo Bonchi and
               Luis Fernando Pino and
               Frank Valencia},
  editor    = {Marco Carbone and
               Ivan Lanese and
               Alexandra Silva and
               Ana Sokolova},
  title     = {Reducing Weak to Strong Bisimilarity in {CCP}},
  booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
               Stockholm, Sweden, 16th June 2012},
  series    = {{EPTCS}},
  volume    = {104},
  pages     = {2--16},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.104.2},
  doi       = {10.4204/EPTCS.104.2},
  timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1212-3874.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-1548,
  author    = {Andr{\'{e}}s Aristiz{\'{a}}bal and
               Filippo Bonchi and
               Luis Fernando Pino and
               Frank D. Valencia},
  title     = {Partition Refinement for Bisimilarity in {CCP}},
  journal   = {CoRR},
  volume    = {abs/1212.1548},
  year      = {2012},
  url       = {http://arxiv.org/abs/1212.1548},
  archivePrefix = {arXiv},
  eprint    = {1212.1548},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1212-1548.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AristizabalBPPV11,
  author    = {Andr{\'{e}}s Aristiz{\'{a}}bal and
               Filippo Bonchi and
               Catuscia Palamidessi and
               Luis Fernando Pino and
               Frank D. Valencia},
  editor    = {Martin Hofmann},
  title     = {Deriving Labels and Bisimilarity for Concurrent Constraint Programming},
  booktitle = {Foundations of Software Science and Computational Structures - 14th
               International Conference, {FOSSACS} 2011, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2011,
               Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6604},
  pages     = {138--152},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19805-2\_10},
  doi       = {10.1007/978-3-642-19805-2\_10},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/fossacs/AristizabalBPPV11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/P10,
  author    = {Andr{\'{e}}s A. Aristiz{\'{a}}bal P.},
  editor    = {Manuel V. Hermenegildo and
               Torsten Schaub},
  title     = {Bisimilarity in Concurrent Constraint Programming},
  booktitle = {Technical Communications of the 26th International Conference on Logic
               Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  series    = {LIPIcs},
  volume    = {7},
  pages     = {236--240},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2010},
  url       = {https://doi.org/10.4230/LIPIcs.ICLP.2010.236},
  doi       = {10.4230/LIPIcs.ICLP.2010.236},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/P10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics