Seguir
Andres A. Aristizabal P.
Andres A. Aristizabal P.
Assistant Professor at Universidad ICESI
Dirección de correo verificada de lix.polytechnique.fr - Página principal
Título
Citado por
Citado por
Año
Deriving labels and bisimilarity for concurrent constraint programming
A Aristizábal, F Bonchi, C Palamidessi, L Pino, F Valencia
Foundations of Software Science and Computational Structures: 14th …, 2011
362011
Partition refinement for bisimilarity in ccp
A Aristizabal, F Bonchi, FD Valencia, LF Pino
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 88-93, 2012
142012
Environmental bisimulations for delimited-control operators with dynamic prompt generation
A Aristizábal, D Biernacki, S Lenglet, P Polesiuk
Logical Methods in Computer Science 13, 2017
132017
Reducing weak to strong bisimilarity in ccp
A Aristizábal, F Bonchi, L Pino, F Valencia
arXiv preprint arXiv:1212.3874, 2012
72012
Formally reasoning about security issues in p2p protocols: A case study
A Aristizabal, H Lopez, C Rueda, FD Valencia
Third Taiwanese-French Conference on Information Technology, 2005
52005
Bisimilarity in concurrent constraint programming
A Aristizabal
26th International Conference on Logic Programming, ICLP 2010 7, 236-240, 2010
42010
Using Process Calculi to Model and Verify Security Properties in Real-Life Communication Protocols
AA Aristizábal, HA López
Trabajo de grado, Pontificia Universidad Javeriana, 2006
42006
Using a declarative process language for P2P protocols
A Aristizábal, HA López, C Rueda
The Association for Logic Programming Newsletter 18 (4), 2005
42005
Artificial intelligence model to predict the virality of press articles
Y L. Lopez, D Grimaldi, S Garcia, J Ordoez, C Carrasco-Farre, ...
Proceedings of the 2022 14th International Conference on Machine Learning …, 2022
32022
Weak CCP bisimilarity with strong procedures
LF Pino, A Aristizabal, F Bonchi, F Valencia
Science of Computer Programming 100, 84-104, 2015
22015
Bisimulation techniques and algorithms for concurrent constraint programming
A Aristizábal
Ecole Polytechnique X, 2012
22012
Deriving labels and bisimilarity for concurrent constraint programming (extended version)
A Aristizábal, F Bonchi, C Palamidessi, L Pino, F Valencia
Technical report, INRIA-CNRS, 2011. Available at: http://www. lix …, 2011
22011
Process calculi for the verification of security properties of communication protocols for Peer-to-Peer systems
HA López, A Aristizábal, C Rueda, FD Valencia
Unpublished, January, 2006
22006
Process calculi to analyze emerging applications in concurrency
A Arbeláez, A Aristizábal, J Gutiérrez, HA López, JA Pérez, C Rueda, ...
Ensenanza 8 (1), 2000
22000
Vertically Integrated Project Programs in South America–Profiles of Multidisciplinary Team-Based Project-Based Programs at 4 Institutions
J Sonnenberg-Klein, J Rosales-Salas, AA Aristizábal-Pinzón, AFO Muriel, ...
2022 IEEE World Engineering Education Conference (EDUNINE), 1-6, 2022
12022
Machine-learning methods for detecting tuberculosis in Ziehl-Neelsen stained slides: A systematic literature review
G Tamura, G Llano, A Aristizábal, J Valencia, L Sua, L Fernandez
Intelligent Systems with Applications, 200365, 2024
2024
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
A Ahmed, I Hasuo, G Huet, T Nipkow, R Akiyoshi, K Terui, T Altenkirch, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016
2016
Technical Report NTCC Semantics based on Chu Spaces
AAAPC Rueda, FD Valencia
2009
USING PROCESS CALCULI TO MODEL AND VERIFY SECURITY PROPERTIES IN REAL LIFE COMMUNICATION PROTOCOLS–Thesis Summary
AA ARISTIZABAL, HA LOPEZ
2006
Modelamiento de Protocolos de Seguridad Temporal y Listas negras usando SPL
HA López, A Aristizábal, C Rueda, FD Valencia
2006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20