The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics. - Jesús Aranda; Juan Francisco Díaz; V. James Ortiz (MOZ, 2004)

On Recursion, Replication and Scope Mechanisms in Process Calculi. - Jesús Aranda; Cinzia Di Giusto; Catuscia Palamidessi; Frank D. Valencia (FMCO, 2006)

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. - Jesús Aranda; Cinzia Di Giusto; Mogens Nielsen; Frank D. Valencia (APLAS, 2007)

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. - Diletta Cacciagrano; Flavio Corradini; Jesús Aranda; Frank D. Valencia (EXPRESS, 2007)

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. - Jesús Aranda; Jorge A. Pérez 001; Camilo Rueda; Frank D. Valencia (ICLP, 2008)

On the Expressive Power of Restriction and Priorities in CCS with Replication. - Jesús Aranda; Frank D. Valencia; Cristian Versari (FoSSaCS, 2009)

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. - Jesús Aranda; Gérard Assayag; Carlos Olarte; Jorge A. Pérez 001; Camilo Rueda; Mauricio Toro; Frank D. Valencia (ICLP, 2009)

On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus. - Jesús Aranda (2009)

Towards Formal Interaction-Based Models of Grid Computing Infrastructures. - Carlos Alberto Ramírez Restrepo; Jorge A. Pérez 001; Jesús Aranda; Juan Francisco Díaz (DCM, 2013)

Granular: An access control model, and Confia: Its software tool. - Liliana Rosero; Michel Riguidel; Jesús Aranda (CLEI, 2014)

Formal Verification of a Mechanical Ventilator using UPPAAL. - Jaime Cuartas; David Cortés; Joan S. Betancourt; Jesús Aranda; José I. García; Andrés M. Valencia; James Ortiz 001 (FTSCS, 2023)

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. - Jaime Cuartas; Jesús Aranda; Maxime Cordy; James Ortiz 001; Gilles Perrouin; Pierre-Yves Schobbens (ICSTW, 2023)

Fairness and Consensus in a Gossip Model of Social Networks. - Joan S. Betancourt; Jesús Aranda; Juan Francisco Díaz; Frank Valencia (CoRR, 2023)

Fairness and Consensus in an Asynchronous Opinion Model for Social Networks. - Jesús Aranda; Sebastián Betancourt; Juan Francisco Díaz; Frank Valencia (CONCUR, 2024)

Time for Networks: Mutation Testing for Timed Automata Networks. - David Cortés; James Ortiz 001; Davide Basile 001; Jesús Aranda; Gilles Perrouin; Pierre-Yves Schobbens (FormaliSE@ICSE, 2024)

The Sound of Silence in Social Networks. - Jesús Aranda; Juan Francisco Díaz; David Gaona; Frank Valencia (CoRR, 2024)

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems. - Jaime Cuartas; David Cortés; Joan S. Betancourt; Jesús Aranda; Maxime Cordy; James Ortiz 001; Gilles Perrouin; Pierre-Yves Schobbens (Softw. Test. Verification Reliab., 2025)