Andrés A. Aristizábal P.

Affiliations:
  • École Polytechnique, Paris, France


According to our database1, Andrés A. Aristizábal P. authored at least 9 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Machine-learning methods for detecting tuberculosis in Ziehl-Neelsen stained slides: A systematic literature review.
Intell. Syst. Appl., 2024

2023
Multilabel-classification task for Medline abstracts.
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.
Log. Methods Comput. Sci., 2017

2015
Weak CCP bisimilarity with strong procedures.
Sci. Comput. Program., 2015

2012
Bisimulation Techniques and Algorithms for Concurrent Constraint Programming. (Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente par Contraintes).
PhD thesis, 2012

Reducing Weak to Strong Bisimilarity in CCP
Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Partition refinement for bisimilarity in CCP.
Proceedings of the ACM Symposium on Applied Computing, 2012

2011
Deriving Labels and Bisimilarity for Concurrent Constraint Programming.
Proceedings of the Foundations of Software Science and Computational Structures, 2011

2010
Bisimilarity in Concurrent Constraint Programming.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010


  Loading...