BibTeX records: Luis Fernando Pino

download as .bib file

@article{DBLP:journals/jlp/GadducciSPV17,
  author    = {Fabio Gadducci and
               Francesco Santini and
               Luis Fernando Pino and
               Frank D. Valencia},
  title     = {Observational and behavioural equivalences for soft concurrent constraint
               programming},
  journal   = {J. Log. Algebraic Methods Program.},
  volume    = {92},
  pages     = {45--63},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2017.06.001},
  doi       = {10.1016/j.jlamp.2017.06.001},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jlp/GadducciSPV17.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}
}
@article{DBLP:journals/scp/PinoBV15,
  author    = {Luis Fernando Pino and
               Filippo Bonchi and
               Frank D. Valencia},
  title     = {Efficient algorithms for program equivalence for confluent concurrent
               constraint programming},
  journal   = {Sci. Comput. Program.},
  volume    = {111},
  pages     = {135--155},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.12.003},
  doi       = {10.1016/j.scico.2014.12.003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/PinoBV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GadducciSPV15,
  author    = {Fabio Gadducci and
               Francesco Santini and
               Luis Fernando Pino and
               Frank D. Valencia},
  editor    = {Tom Holvoet and
               Mirko Viroli},
  title     = {A Labelled Semantics for Soft Concurrent Constraint Programming},
  booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2015, Held as Part of the 10th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2015, Grenoble, France, June 2-4, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9037},
  pages     = {133--149},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19282-6\_9},
  doi       = {10.1007/978-3-319-19282-6\_9},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/coordination/GadducciSPV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/PinoDuque14,
  author    = {Luis Fernando Pino Duque},
  title     = {Efficient Verification and New Reasoning Techniques for Concurrent
               Constraint Programming. (V{\'{e}}rification Efficace Et Nouvelles
               Techniques De Raisonnement Pour La Programmation Concurrente Par Contraintes)},
  school    = {{\'{E}}cole Polytechnique, Palaiseau, France},
  year      = {2014},
  url       = {https://tel.archives-ouvertes.fr/tel-01111979},
  timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/PinoDuque14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PinoBV14,
  author    = {Luis Fernando Pino and
               Filippo Bonchi and
               Frank D. Valencia},
  editor    = {Gabriel Ciobanu and
               Dominique M{\'{e}}ry},
  title     = {A Behavioral Congruence for Concurrent Constraint Programming with
               Nondeterministic Choice},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
               Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8687},
  pages     = {351--368},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10882-7\_21},
  doi       = {10.1007/978-3-319-10882-7\_21},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/ictac/PinoBV14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PinoBV13,
  author    = {Luis Fernando Pino and
               Filippo Bonchi and
               Frank D. Valencia},
  editor    = {Ricardo Pe{\~{n}}a and
               Tom Schrijvers},
  title     = {Efficient computation of program equivalence for confluent concurrent
               constraint programming},
  booktitle = {15th International Symposium on Principles and Practice of Declarative
               Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  pages     = {263--274},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2505879.2505902},
  doi       = {10.1145/2505879.2505902},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/PinoBV13.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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics