Edison Mera
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2006–2011
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | PADL | Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. | Edison Mera, Teresa Trigo, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2009 | ICLP | Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. | Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2008 | PPDP | Towards execution time estimation in abstract machine-based languages. | Edison Mera, Pedro Lpez-Garca, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | ICLP | User-Definable Resource Bounds Analysis for Logic Programs. | Jorge A. Navas, Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2007 | PADL | Combining Static Analysis and Profiling for Estimating Execution Times. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | ICLP | Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |