Juan C. Jaramillo

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 4

Top Topics

Multiagent Environments

Classical Methods

Top Venues

J. Log. Algebraic Methods Program.

PAAMS (Workshops)

Publications

Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
Around Classical and Intuitionistic Linear Processes. CONCUR (2024)
Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
Around Classical and Intuitionistic Linear Processes. CoRR (2024)
Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez
Session-based concurrency in Maude: Executable semantics and type checking. J. Log. Algebraic Methods Program. 133 (2023)
Oscar M. Salazar, Juan C. Jaramillo, Demetrio Arturo Ovalle, Jaime Alberto Guzmán Luna
A Case-Based Multi-Agent and Recommendation Environment to Improve the E-Recruitment Process. PAAMS (Workshops) (2015)