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, ...
arXiv preprint arXiv:1102.5497, 2011
1582011
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
1062007
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
552009
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
272007
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
212008
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
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, ...
11
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
52011
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
52007
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
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
32011
Logic Programming
S Etalle, M Truszczynski
Springer Berlin/Heidelberg., 2006
32006
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
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
Time course of COX and eNOS renal expression during rat pregnancy.
RA Bobadilla, LR Anguiano, EJ Mera, PS López
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 (1_supplement), LB623, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20