Luis Fernando Pino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2011–2015
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | Coordination | A Labelled Semantics for Soft Concurrent Constraint Programming. | Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia |
| 2014 | ICTAC | A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2013 | PPDP | Efficient computation of program equivalence for confluent concurrent constraint programming. | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2012 | SAC | Partition refinement for bisimilarity in CCP. | Andrs Aristizbal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino |
| 2011 | FOSSACS | Deriving Labels and Bisimilarity for Concurrent Constraint Programming. | Andrs Aristizbal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia |