Nombre de documents

3

CV de Luis Fernando Pino Duque


Thèse1 document

  • Luis Fernando Pino Duque. Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming. Data Structures and Algorithms [cs.DS]. Ecole Polytechnique, 2014. English. <tel-01111979>

Communication dans un congrès1 document

  • Luis Fernando Pino Duque, Filippo Bonchi, Frank D. Valencia. A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice. Gabriel Ciobanu and Dominique Méry. ICTAC 2014 - 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucarest, Romania. Springer, 8687, pp.351-368, Lecture Notes in Computer Science. <10.1007/978-3-319-10882-7_21>. <hal-01006382v2>

Article dans une revue1 document

  • Luis Fernando Pino Duque, Filippo Bonchi, Frank Valencia. Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming. Science of Computer Programming, Elsevier, 2015, 111, pp.135-155. <10.1016/j.scico.2014.12.003>. <hal-01098502>