LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. - David A. Rosenblueth; Julio C. Peralta (ILPS, 1994)

Analysis of Imperative Programs through Analysis of Constraint Logic Programs. - Julio C. Peralta; John P. Gallagher; Hüseyin Saglam (SAS, 1998)

SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing. - David A. Rosenblueth; Julio C. Peralta (J. Log. Program., 1998)

Imperative Program Specialisation: An Approach Using CLP. - Julio C. Peralta; John P. Gallagher (LOPSTR, 1999)

Using Regular Approximations for Generalisation During Partial Evalution. - John P. Gallagher; Julio C. Peralta (PEPM, 2000)

Regular Tree Languages as an Abstract Domain in Program Specialisation. - John P. Gallagher; Julio C. Peralta (High. Order Symb. Comput., 2001)

Convex Hull Abstractions in Specialization of CLP Programs. - Julio C. Peralta; John P. Gallagher (LOPSTR, 2002)

Adaptive Parallel Matrix Computing through Compiler and Run-time Support. - Jorge Buenabad Chávez; Miguel Alfonso Castro-García; Rosa Angélica Rosales-Camacho; Santiago Domínguez-Domínguez; Julio C. Peralta; Manuel Aguilar Cornejo (PARCO, 2009)

Towards SMV Model Checking of Signal (multi-clocked) Specifications. - Julio C. Peralta; Thierry Gautier (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

LTSs for translation validation of (multi-clocked) SIGNAL specifications. - Julio C. Peralta; Thierry Gautier; Loïc Besnard; Paul Le Guernic (MEMOCODE, 2010)