References to External Databases

• DBLP


• Pub Med

Books and Monographs

• E. Mera. A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2010.
• E. Mera. Algoritmos Evolutivos Aplicados a la Generación de Horarios para Colegio. Engineer Thesis, Escuela Politécnica Nacional (EPN), Facultad de Ciencias, Departamento de Matemática, Quito-Ecuador, December 1999.

Articles in First-Level Refereed Conferences and Journals

Computer Science

1. E. Mera, Jan Wielemaker. Porting and refactoring Prolog programs: the PROSYN case study. Technical communication, 29th International Conference on Logic Programming (ICLP'13), Theory and Practice of Logic Programming (TPLP), Vol. 13, Num. 4-5-Online-Supplement, 11 pages, August 2013.
2. M.V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming (TPLP), Vol. 12, Num. 1-2, pages 219-252, Cambridge University Press, January 2012. http://arxiv.org/abs/1102.5497.
3. E. Mera, P. López, M.V. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. 25th International Conference on Logic Programming (ICLP'09), LNCS, Vol. 5649, pages 281-295, Springer-Verlag, July 2009.
4. J. Navas, E. Mera, P. López, M.V. Hermenegildo. User-Definable Resource Bounds Analysis for Logic Programs. 23rd International Conference on Logic Programming (ICLP'07), Lecture Notes in Computer Science, Vol. 4670, Springer, 2007.
5. E. Mera, P. López, G. Puebla, M. Carro, M.V. Hermenegildo. Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. 22nd International Conference on Logic Programming (ICLP'06), LNCS, Vol. 4079, pages 431-432, Springer-Verlag, August 2006.

Medicine

1. F. Mera, A. Hinojar, M. Guijarro, J.G. de Gregorio, E. Mera, J.J. Sánchez, M. Quintanilla, L. Cerezo, C. Gamallo. Polymorphisms in HIF-1alpha affect presence of lymph node metastasis and can influence tumor size in squamous-cell carcinoma of the glottic larynx . Clinical and Translational Oncology, ISSN 1699-048X, Vol. 15, Issue 5, pages 358-363, Springer-Verlag, May 2013.

Articles in Second-Level Refereed Conferences

1. E. Mera, T. Trigo, P. López, M.V. Hermenegildo. Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Practical Aspects of Declarative Languages (PADL'11), LNCS, Vol. 6539, pages 38-53, Springer-Verlag, January 2011.
2. E. Mera, P. López, M. Carro, M.V. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based Languages. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 174-184, ACM Press, July 2008.
3. E. Mera, P. López, G. Puebla, M. Carro, M.V. Hermenegildo. Combining Static Analysis and Profiling for Estimating Execution Times. Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07), LNCS, Vol. 4354, pages 140-154, Springer-Verlag, January 2007.

Invited Papers and Tutorials

1. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, R. Haemmerlé, E. Mera, J.F. Morales, G. Puebla. An Overview of the Ciao System. Proc. of RuleML-Europe 2011, LNCS, Vol. 6826, pages 2-3, Springer-Verlag, July 2011. (abstract of invited talk).
2. M.V. Hermenegildo, F. Bueno, A. Casas, J. Navas, E. Mera, M. Carro, P. López. Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints. DAMP'07, ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, pages 1-1, ACM, January 2007. (abstract of invited talk).

Publications in Refereed Workshops

1. F. Bueno, M. García de la Banda, M. V. Hermenegildo, P. López, E. Mera, P. J. Stuckey. Towards Resource Usage Analysis of MiniZinc Models. MiniZinc Workshop (MZN'11), 15 pages, September 2011.
2. M.V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. The Ciao Approach to the Dynamic vs. Static Language Dilemma. Proceedings for the International Workshop on Scripts to Programs, STOP'11, 4 pages, ACM, 2011.
3. E. Mera, P. López, G. Puebla, M. Carro, M.V. Hermenegildo. Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. 16th Workshop on Logic Programming Environments, pages 45-60, University of Namur, Institut d'Informatique, August 2006.

Technical Reports and Manuals

1. F. Bueno, M. Carro, M.V. Hermenegildo, R. Haemmerlé, P. López, E. Mera, J.F. Morales, G. Puebla-(Eds.) The Ciao System. Ref. Manual (V1.14). July 2011. Available at http://www.ciaohome.org.
2. E. Mera, T. Trigo, P. López, M.V. Hermenegildo. An Approach to Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Num. CLIP3/2010.0, 29 pages, Technical University of Madrid (UPM), March 2010.
3. M.V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).
4. D. Ivanovic, M. Carro, M.V. Hermenegildo, P. López, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Num. CLIP5/2009.1, Technical University of Madrid (UPM), March 2010.
5. E. Mera, P. López, M.V. Hermenegildo. Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Num. CLIP1/2009.0, 19 pages, Technical University of Madrid (UPM), March 2009.
6. J. Navas, E. Mera, P. López, M.V. Hermenegildo. Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications. Num. CLIP5/2008.0, Technical University of Madrid (UPM), July 2008.
7. M.V. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico, J. Correas, S. Genaim, J. Lipton, P.López, M. Méndez, E. Mera, J.F. Morales, J. Navas, R. Padilla, P. Pietrzak, G. Puebla, M. Zamalloa, D. Zanardini. Rigorous Methods for Mobile and Heterogeneous Software Systems - Second Year Report. Num. CLIP3/2008.0, Technical University of Madrid (UPM), April 2008.
8. E. Mera, P. López, M. Carro, M.V. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages. Num. CLIP8/2007.0, Technical University of Madrid (UPM), August 2007.
9. M.V. Hermenegildo, E. Albert, P. Arenas, A. Beascoa, F. Bueno, D. Cabeza, M. Carro, J. Correas, A. García, J. Lipton, P. López, E. Mera, J. Morales, C. Ochoa, G. Puebla. Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report. Num. CLIP4/2007.0, Technical University of Madrid (UPM), March 2007.
10. J. Navas, E. Mera, P. López, M.V. Hermenegildo. Resource Bounds Analysis. Num. CLIP6/2006.0, 19 pages, Technical University of Madrid (UPM), November 2006.
11. E. Mera, P. López, G. Puebla, M. Carro, M.V. Hermenegildo. Towards Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs. Num. CLIP5/2006.0, 15 pages, Technical University of Madrid (UPM), April 2006.
12. E. Mera. Estimación de los coeficientes del análisis de complejidad mediante técnicas estadísticas. Num. CLIP14/2004.0, Technical University of Madrid, September 2004.
13. E. Mera. Development of a Prolog Profiler. Num. CLIP13/2004.1, Technical University of Madrid, September 2004.
14. E. Mera. Desarrollo de un Profiler para Prolog. Num. CLIP13/2004.0, Technical University of Madrid, September 2004.
15. J.F. Morales, E. Mera, M. Carro, J. Correas. The Interface Internals. Num. CLIP7/2004.0, 30 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D14 of the AMOS Project.
16. J. Correas, E. Mera, J.F. Morales. Final Matching Engine. Num. CLIP8/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D15 of the AMOS Project.
17. M. Carro, J.M. Gomez, J. Correas, J.F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M.V. Hermenegildo. Web site. Num. CLIP9/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D17 of the AMOS Project.
18. M. Carro, J.M. Gomez, J. Correas, J.F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M.V. Hermenegildo. AMOS User's Manual. Num. CLIP4/2004.0, 44 pages, Technical University of Madrid, March 2004.