( en | de | ru )

 

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

Author of the publication

copydeleteadd this publication to your clipboard
A general framework for static profiling of parametric resource usage.

, , , and . Theory Pract. Log. Program., 16 (5-6): 849-865 (2016)

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

On the Relationship between Caching and Routing in DHTs., , and . Web Intelligence/IAT Workshops, page 415-418. IEEE Computer Society, (2007)MOVE: : component groupware foundations for collaborative virtual environments., , , , and . CVE, page 55-62. ACM, (2002)A hybrid optimizer based on backtracking search and differential evolution for continuous optimization., , and . J. Exp. Theor. Artif. Intell., 34 (3): 355-385 (2022)Deploying Wide-Area Applications Is a Snap., , and . IEEE Internet Comput., 11 (2): 72-79 (2007)Towards Energy Consumption Verification via Static Analysis., , , , and . CoRR, (2015)Exploring the feasibility of reputation systems under churn., , and . IEEE Communications Letters, 13 (7): 558-560 (2009)Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System., , , and . Euro-Par, volume 3149 of Lecture Notes in Computer Science, page 21-36. Springer, (2004)Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types., , and . CoRR, (2013)Serverless Data Analytics in the IBM Cloud., , , and . Middleware Industry, page 1-8. ACM, (2018)Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses., , and . New Gener. Comput., 28 (2): 177-206 (2010)