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
1902012
User-definable resource bounds analysis for logic programs
J Navas, E Mera, P López-García, MV Hermenegildo
International Conference on Logic Programming, 348-363, 2007
1182007
Integrating software testing and run-time checking in an assertion verification framework
E Mera, P Lopez-García, M Hermenegildo
International Conference on Logic Programming, 281-295, 2009
612009
The 480 kWp EUCLIDESTM-THERMIE Power plant: Installation, Set-up and First Results
G Sala, I Anton, JC Arboiro, A Luque, E Camblor, E Mera, M Gasson, ...
Sixteenth European Photovoltaic Solar Energy Conference, 2072-2077, 2020
382020
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
292008
Combining static analysis and profiling for estimating execution times
E Mera, P López-García, G Puebla, M Carro, MV Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 140-154, 2007
292007
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
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
Profiling for run-time checking of computational properties and performance debugging in logic programs
E Mera, T Trigo, P Lopez-García, M Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 38-53, 2011
122011
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
Porting and refactoring Prolog programs: the PROSYN case study
J Wielemaker
Theory and practice of logic programming 13 (4-5), 2013
82013
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
International Conference on Logic Programming, 431-432, 2006
72006
An overview of the ciao system
MV Hermenegildo, F Bueno, M Carro, P López-García, R Haemmerlé, ...
International Workshop on Rules and Rule Markup Languages for the Semantic …, 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
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
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
Time course of COX and eNOS renal expression during rat pregnancy
RA Bobadilla, 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