( en | de | ru )

 

Disambiguierung von "López-García, Pedro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.

, , und . ICLP (Technical Communications), Volume 7 von LIPIcs, Seite 104-113. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ángel López García

Pedro López Fariñas

Pedro Pablo Rojas García

Pedro Garcia Andreo

Margarita López López

 

Weitere Publikationen von Autoren mit dem selben Namen

StackSync: bringing elasticity to dropbox-like file synchronization., , , , und . Middleware, Seite 49-60. ACM, (2014)Topology-aware group communication middleware for MANETs., , , , , und . COMSWARE, Seite 7. ACM, (2009)Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)., und . CoRR, (2016)Program Debugging and Validation Using Semantic Approximations and Partial Specifications., , , und . ICALP, Volume 2380 von Lecture Notes in Computer Science, Seite 69-72. Springer, (2002)Implicit BPM: A Business Process Platform for Transparent Workflow Weaving., , , und . BPM, Volume 8659 von Lecture Notes in Computer Science, Seite 168-183. Springer, (2014)p2pWeb: An open, decentralized infrastructure of Web servers for sharing ephemeral Web content., , , und . Comput. Networks, 54 (12): 1968-1985 (2010)Benchmarking parallelism in FaaS platforms., und . Future Gener. Comput. Syst., (2021)Stateful Serverless Computing with Crucial., , , , und . 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)., , , und . Sci. Comput. Program., 58 (1-2): 115-140 (2005)Triggerflow: trigger-based orchestration of serverless workflows., , , , und . DEBS, Seite 3-14. ACM, (2020)