Edison Mera
Edison Mera
Process Design Center BV
Verified email at process-design-center.com - Homepage
TitleCited byYear
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
1462012
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
982007
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
522009
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
222007
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
192008
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
132011
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
131994
Porting and refactoring Prolog programs: the PROSYN case study
E Mera, J Wielemaker
TPLP 13 (4-5-Online-Supplement), 2013
92013
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, ...
8
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
52011
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
52006
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
42007
Logic Programming
S Etalle, M Truszczynski
Springer Berlin/Heidelberg., 2006
32006
Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints
M Hermenegildo, F Bueno, A Casas, J Navas, E Mera, M Carro, ...
DAMP’07, ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, 2007
22007
Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs
E Mera, P López-Garcıa, G Puebla, M Carro, M Hermenegildo
Technical Report CLIP5/2006.0, Technical University of Madrid (UPM), School …, 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 (1_supplement), LB539, 2014
12014
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
12011
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, 24-29, 2007
12007
Time course of COX and eNOS renal expression during rat pregnancy
RA Bobadilla, LA Robledo, EM Jimenez, PL Sanchez
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 (1_supplement), LB623, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20