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    = {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}
}

@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    = {Thu, 14 Oct 2021 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    = {Thu, 14 Oct 2021 01:00:00 +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    = {Thu, 14 Oct 2021 01:00:00 +0200},
  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    = {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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.