( en | de | ru )

 

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

Author of the publication

copydeleteadd this publication to your clipboard
Efficient Term Size Computation for Granularity Control.

, and . ICLP, page 647-661. MIT Press, (1995)

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

Analysis of data availability in F2F storage systems: When correlations matter., , and . P2P, page 225-236. IEEE, (2012)StackSync: bringing elasticity to dropbox-like file synchronization., , , , and . Middleware, page 49-60. ACM, (2014)Topology-aware group communication middleware for MANETs., , , , , and . COMSWARE, page 7. ACM, (2009)Program Debugging and Validation Using Semantic Approximations and Partial Specifications., , , and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 69-72. Springer, (2002)Benchmarking parallelism in FaaS platforms., and . Future Gener. Comput. Syst., (2021)Stateful Serverless Computing with Crucial., , , , and . ACM Trans. Softw. Eng. Methodol., 31 (3): 39:1-39:38 (2022)Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)., , , and . Sci. Comput. Program., 58 (1-2): 115-140 (2005)Affluenza: Towards Universal Churn Generation., , and . Peer-to-Peer Computing, page 1-2. IEEE, (2010)Availability and Redundancy in Harmony: Measuring Retrieval Times in P2P Storage Systems., , and . Peer-to-Peer Computing, page 1-10. IEEE, (2010)SCOMET: Adapting Collaborative Working Environments to the MANET Scenario., , , and . WETICE, page 106-110. IEEE Computer Society, (2007)