Luis Fernando Pino

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Topics

Symmetry Breaking

Constraint Programming

Hard And Soft Constraints

Search Heuristics

Top Venues

Sci. Comput. Program.

J. Log. Algebraic Methods Program.

Publications

Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
Observational and behavioural equivalences for soft concurrent constraint programming. J. Log. Algebraic Methods Program. 92 (2017)
Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION (2015)
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
Efficient algorithms for program equivalence for confluent concurrent constraint programming. Sci. Comput. Program. 111 (2015)
Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, Frank D. Valencia
Weak CCP bisimilarity with strong procedures. Sci. Comput. Program. 100 (2015)
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. ICTAC (2014)
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP (2013)
Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino
Partition refinement for bisimilarity in CCP. SAC (2012)
Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank D. Valencia
Partition Refinement for Bisimilarity in CCP CoRR (2012)
Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia
Reducing Weak to Strong Bisimilarity in CCP ICE (2012)
Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia
Deriving Labels and Bisimilarity for Concurrent Constraint Programming. FoSSaCS (2011)