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

• > Home > Persons > Andrés A. Aristizábal P.

@inproceedings{DBLP:conf/swat4ls/QuinonesCTRCA23,
  author       = {Nelson Qui{\~{n}}ones and
                  Cesar Canales and
                  Javier Torres and
                  Dietrich Rebholz{-}Schuhmann and
                  Leyla Jael Castro and
                  Andr{\'{e}}s Aristiz{\'{a}}bal},
  editor       = {Atsuko Yamaguchi and
                  Andrea Splendiani and
                  M. Scott Marshall and
                  Chris Baker and
                  Jerven T. Bolleman and
                  Albert Burger and
                  Leyla Jael Castro and
                  Ole Eigenbrod and
                  Sabine {\"{O}}sterle and
                  Martin Romacker and
                  Andra Waagmeester},
  title        = {Multilabel-classification task for Medline abstracts},
  booktitle    = {14th International Conference on Semantic Web Applications and Tools
                  for Health Care and Life Sciences {(SWAT4HCLS} 2023), Basel, Switzerland,
                  February 13-16, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3415},
  pages        = {155--156},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3415/paper-36.pdf},
  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl       = {https://dblp.org/rec/conf/swat4ls/QuinonesCTRCA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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, 14 Oct 2021 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    = {Thu, 14 Oct 2021 01:00:00 +0200},
  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},
  eprinttype    = {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    = {Thu, 14 Oct 2021 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    = {Thu, 14 Oct 2021 01:00:00 +0200},
  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    = {Thu, 14 Oct 2021 01:00:00 +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},
  eprinttype    = {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    = {Thu, 14 Oct 2021 01:00:00 +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}
}