Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2006)

User-Definable Resource Bounds Analysis for Logic Programs. - Jorge A. Navas; Edison Mera; Pedro López-García 001; Manuel V. Hermenegildo (ICLP, 2007)

Combining Static Analysis and Profiling for Estimating Execution Times. - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (PADL, 2007)

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (CoRR, 2007)

Towards execution time estimation in abstract machine-based languages. - Edison Mera; Pedro López-García 001; Manuel Carro; Manuel V. Hermenegildo (PPDP, 2008)

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. - Edison Mera; Pedro López-García 001; Manuel V. Hermenegildo (ICLP, 2009)

Un marco unificado para análisis de recursos y tiempo de ejecución, validación dinámica y pruebas unitarias = a Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing. - Edison Fernando Mera Menéndez (2010)

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. - Edison Mera; Teresa Trigo; Pedro López-García 001; Manuel V. Hermenegildo (PADL, 2011)

An Overview of the Ciao System. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Rémy Haemmerlé; Edison Mera; José F. Morales 001; Germán Puebla (RuleML Europe, 2011)

An overview of Ciao and its design philosophy. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Edison Mera; José F. Morales 001; Germán Puebla (Theory Pract. Log. Program., 2012)

Porting and refactoring Prolog programs: the PROSYN case study. - Edison Mera; Jan Wielemaker (Theory Pract. Log. Program., 2013)