Andrés Aristizábal

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 5

Top Topics

Literature Review

Dynamic Environments

Control Strategy

Annotated Corpus

Top Venues

Intell. Syst. Appl.

Publications

Gabriel Tamura, Gonzalo Llano, Andrés Aristizábal, Juan Valencia, Luz Sua, Liliana Fernandez-Trujillo
Machine-learning methods for detecting tuberculosis in Ziehl-Neelsen stained slides: A systematic literature review. Intell. Syst. Appl. 22 (2024)
Nelson Quiñones, Cesar Canales, Javier Torres, Dietrich Rebholz-Schuhmann, Leyla Jael Castro, Andrés Aristizábal
Multilabel-classification task for Medline abstracts. SWAT4HCLS (2023)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. Log. Methods Comput. Sci. 13 (3) (2017)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. CoRR (2016)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. FSCD (2016)
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)