| 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 | 36 | 2011 |
| 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 | 14 | 2012 |
| 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 | 13 | 2017 |
| Reducing weak to strong bisimilarity in ccp A Aristizábal, F Bonchi, L Pino, F Valencia arXiv preprint arXiv:1212.3874, 2012 | 7 | 2012 |
| 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 | 5 | 2005 |
| 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 | 4 | 2022 |
| Bisimilarity in concurrent constraint programming A Aristizabal 26th International Conference on Logic Programming, ICLP 2010 7, 236-240, 2010 | 4 | 2010 |
| 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 | 4 | 2006 |
| 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 | 4 | 2005 |
| Weak CCP bisimilarity with strong procedures LF Pino, A Aristizabal, F Bonchi, F Valencia Science of Computer Programming 100, 84-104, 2015 | 2 | 2015 |
| Bisimulation techniques and algorithms for concurrent constraint programming A Aristizábal Ecole Polytechnique X, 2012 | 2 | 2012 |
| 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 | 2 | 2011 |
| 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 | 2 | 2006 |
| 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 | 2 | 2000 |
| 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 | 1 | 2022 |
| 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 |
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr
