( en | de | ru )

 

Disambiguation of "López-García, Pedro"

Author of the publication

copydeleteadd this publication to your clipboard
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs.

, , , and . PADL, volume 6539 of Lecture Notes in Computer Science, page 38-53. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ángel López García

Pedro López Fariñas

Pedro Pablo Rojas García

Pedro Garcia Andreo

Margarita López López

 

Other publications of authors with the same name

F2Box: Cloudifying F2F Storage Systems with High Availability Correlation., , and . IEEE CLOUD, page 123-130. IEEE Computer Society, (2012)FriendBox: A Hybrid F2F Personal Storage Application., , , and . IEEE CLOUD, page 131-138. IEEE Computer Society, (2012)A study on the impact of heuristic initialization functions in a genetic algorithm solving the N-queens problem., , , , and . GECCO (Companion), page 1473-1474. ACM, (2014)MOVE: : component groupware foundations for collaborative virtual environments., , , , and . CVE, page 55-62. ACM, (2002)On the Relationship between Caching and Routing in DHTs., , and . Web Intelligence/IAT Workshops, page 415-418. IEEE Computer Society, (2007)Serverless Data Analytics in the IBM Cloud., , , and . Middleware Industry, page 1-8. ACM, (2018)Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types., , and . CoRR, (2013)An overview of Ciao and its design philosophy, , , , , , and . CoRR, (2011)https://cliplab.org/papers/hermenegildo10:ciao-design-tplp-tr.pdf.Deploying Wide-Area Applications Is a Snap., , and . IEEE Internet Comput., 11 (2): 72-79 (2007)Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses., , and . New Gener. Comput., 28 (2): 177-206 (2010)