Bisimilarity in Concurrent Constraint Programming. - Andrés A. Aristizábal P. (ICLP (Technical Communications), 2010)

Deriving Labels and Bisimilarity for Concurrent Constraint Programming. - Andrés Aristizábal; Filippo Bonchi; Catuscia Palamidessi; Luis Fernando Pino; Frank D. Valencia (FoSSaCS, 2011)

Partition refinement for bisimilarity in CCP. - Andrés Aristizábal; Filippo Bonchi; Frank D. Valencia; Luis Fernando Pino (SAC, 2012)

Reducing Weak to Strong Bisimilarity in CCP - Andrés Aristizábal; Filippo Bonchi; Luis Fernando Pino; Frank Valencia (ICE, 2012)

Bisimulation Techniques and Algorithms for Concurrent Constraint Programming. (Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente par Contraintes). - Andrés A. Aristizábal P. (2012)

Weak CCP bisimilarity with strong procedures. - Luis Fernando Pino; Andrés A. Aristizábal P.; Filippo Bonchi; Frank D. Valencia (Sci. Comput. Program., 2015)

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. - Andrés Aristizábal; Dariusz Biernacki; Sergueï Lenglet; Piotr Polesiuk (Log. Methods Comput. Sci., 2017)

Multilabel-classification task for Medline abstracts. - Nelson Quiñones; Cesar Canales; Javier Torres; Dietrich Rebholz-Schuhmann; Leyla Jael Castro; Andrés Aristizábal (SWAT4HCLS, 2023)

Machine-learning methods for detecting tuberculosis in Ziehl-Neelsen stained slides: A systematic literature review. - Gabriel Tamura; Gonzalo Llano; Andrés Aristizábal; Juan Valencia; Luz Sua; Liliana Fernandez-Trujillo (Intell. Syst. Appl., 2024)