Follow
Andres A. Aristizabal P.
Andres A. Aristizabal P.
Verified email at lix.polytechnique.fr - Homepage
Title
Cited by
Cited by
Year
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
152012
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
Bisimilarity in concurrent constraint programming
A Aristizabal
26th International Conference on Logic Programming, ICLP 2010 7, 236-240, 2010
52010
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
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
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
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
Using process calculi to model and verify security properties real life communication protocols
AAA Pinzón, HAL ACOSTA
Pontificia Universidad Javeriana. Cali, 2005
2005
Technical Communications of the 26th International Conference on Logic Programming
M Hermenegildo, T Schaub
Algoritmos y Estructuras de Datos
AA Aristizábal
BISIMILARITY IN CONCURRENT CONSTRAINT PROGRAMMING
AAP ANDRÉS
Technical Communications of the 26th International Conference on Logic …, 0
The system can't perform the operation now. Try again later.
Articles 1–20