The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Edison Mera" ( http://dblp.L3S.de/Authors/Edison_Mera )

  Author page on DBLP  Author page in RDF  Community of Edison Mera in ASPL-2

Publication years (Num. hits)
2006-2013 (11)
Publication types (Num. hits)
article(4) inproceedings(7)
Venues (Conferences, Journals, ...)
ICLP(3) CoRR(2) PADL(2) TPLP(2) PPDP(1) RuleML Europe(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 11 keywords

Results
Found 12 publication records. Showing 11 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Edison Mera, Jan Wielemaker Porting and refactoring Prolog programs: the PROSYN case study. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, Germán Puebla An overview of Ciao and its design philosophy. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, German Puebla An overview of Ciao and its design philosophy Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Edison Mera, Teresa Trigo, Pedro López-García 0001, Manuel V. Hermenegildo Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. Search on Bibsonomy PADL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla An Overview of the Ciao System. Search on Bibsonomy RuleML Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static/dynamic debugging, program verification, unit testing, assertions, run-time verification
1Edison Mera, Pedro López-García 0001, Manuel Carro, Manuel V. Hermenegildo Towards execution time estimation in abstract machine-based languages. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation
1Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo Combining Static Analysis and Profiling for Estimating Execution Times. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation
1Jorge A. Navas, Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo User-Definable Resource Bounds Analysis for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license