Andrés A. Aristizábal P.

According to our database, Andrés A. Aristizábal P. authored at least 8 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Multilabel-classification task for Medline abstracts.

Nelson Quiñones, Cesar Canales, Javier Torres, Dietrich Rebholz-Schuhmann, Leyla Jael Castro, Andrés Aristizábal

Proceedings of the 14th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences (SWAT4HCLS 2023), 2023

2017

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

2015

Weak CCP bisimilarity with strong procedures.

Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, Frank D. Valencia

Sci. Comput. Program., 2015

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.

PhD thesis, 2012

Reducing Weak to Strong Bisimilarity in CCP

Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Partition refinement for bisimilarity in CCP.

Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Deriving Labels and Bisimilarity for Concurrent Constraint Programming.

Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia

Proceedings of the Foundations of Software Science and Computational Structures, 2011

2010

Bisimilarity in Concurrent Constraint Programming.

Andrés A. Aristizábal P.

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010