A Case-Based Multi-Agent and Recommendation Environment to Improve the E-Recruitment Process. - Oscar M. Salazar; Juan C. Jaramillo; Demetrio Arturo Ovalle; Jaime Alberto Guzmán Luna (PAAMS (Workshops), 2015)

Session-based concurrency in Maude: Executable semantics and type checking. - Carlos Alberto Ramírez Restrepo; Juan C. Jaramillo; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2023)

Around Classical and Intuitionistic Linear Processes. - Juan C. Jaramillo; Dan Frumin; Jorge A. Pérez 001 (CONCUR, 2024)

Contrasting Deadlock-Free Session Processes. - Juan C. Jaramillo; Jorge A. Pérez 001 (ECOOP, 2025)

Contrasting Deadlock-Free Session Processes (Extended Version). - Juan C. Jaramillo; Jorge A. Pérez 001 (CoRR, 2025)