Follow
Edison Mera
Edison Mera
Process Design Center BV
Verified email at process-design-center.com - Homepage
Title
Cited by
Cited by
Year
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012
1942012
User-definable resource bounds analysis for logic programs
J Navas, E Mera, P López-García, MV Hermenegildo
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
1192007
Integrating software testing and run-time checking in an assertion verification framework
E Mera, P Lopez-García, M Hermenegildo
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
622009
The 480 kWp EUCLIDESTM-THERMIE Power plant: Installation, Set-up and First Results
G Sala, I Antón, JC Arboiro, A Luque, E Camblor, E Mera, M Gasson, ...
Sixteenth European Photovoltaic Solar Energy Conference, 2072-2077, 2020
392020
Towards execution time estimation in abstract machine-based languages
E Mera, P Lopez, M Carro, M Hermenegildo
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
282008
Combining static analysis and profiling for estimating execution times
E Mera, P López-García, G Puebla, M Carro, MV Hermenegildo
Practical Aspects of Declarative Languages: 9th International Symposium …, 2007
282007
Cimetidine prevents and partially reverses CCl4‐induced liver cirrhosis
P Muriel, E Mera, C Castillo, M Mourelle
Journal of applied toxicology 14 (2), 87-90, 1994
141994
Profiling for run-time checking of computational properties and performance debugging in logic programs
E Mera, T Trigo, P Lopez-García, M Hermenegildo
Practical Aspects of Declarative Languages: 13th International Symposium …, 2011
132011
An Overview of Ciao and its Design Philosophy. TPLP, 12 (1–2): 219–252, 2012
MV Hermenegildo, F Bueno, M Carro, P López, E Mera, J Morales, ...
13
Porting and refactoring Prolog programs: the PROSYN case study
J Wielemaker
Theory and practice of logic programming 13 (4-5), 2013
92013
The Ciao approach to the dynamic vs. static language dilemma
MV Hermenegildo, F Bueno, M Carro, P López, E Mera, J Morales, ...
Proc. Int’l. WS on Scripts to Programs, STOP 11, 2011
92011
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
E Mera, P López-García, G Puebla, M Carro, M Hermenegildo
arXiv preprint cs/0701108, 2007
72007
Using combined static analysis and profiling for logic program execution time estimation
E Mera, P López-García, G Puebla, M Carro, M Hermenegildo
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006
62006
An overview of the ciao system
MV Hermenegildo, F Bueno, M Carro, P López-García, R Haemmerlé, ...
Rule-Based Reasoning, Programming, and Applications: 5th International …, 2011
42011
Nuevos retos en la agricultura, la Alelopatía
FA Macías, N Chinchilla, C Carrera, D Marín, MD García-Díaz, P Sánchez, ...
Agricultura: Revista agropecuaria y ganadera, 24-29, 2007
22007
Combining static analysis and profiling for estimating execution times in logic programs
E Mera, P López García, AG Puebla Sánchez, M Carro Liñares, ...
Technical University of Madrid (UPM), 2006
22006
NADPH oxidase inhibitors as regulators of vascular relaxation in aortic rings of diabetic rats with streptozotocin (LB539)
M Macías, D Ahedo, R Bobadilla, F Martínez, E Mera, I Padilla, M Rosales
The FASEB Journal 28, LB539, 2014
12014
Automatic granularity-aware parallelization of programs with predicates, functions, and constraints
MV Hermenegildo, F Bueno Carrillo, M Carro Liñares, A Casas, ...
ACM Press, 2007
12007
Time course of COX and eNOS renal expression during rat pregnancy
LA Robledo, EM Jiménez, PL Sanchez
Proceedings of the Western Pharmacology Society 46, 58-60, 2003
12003
Design and biological evaluation of multitarget compounds as potential treatment for Alzheimer disease (LB623)
M Hernandez, J Correa, F Martinez, C Benítez, E Mera, M Rosales
The FASEB Journal 28, LB623, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20