Autor der Publikation

Signatures of Correct Computation.

, , und . TCC, Volume 7785 von Lecture Notes in Computer Science, Seite 222-242. Springer, (2013)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Representations of Graphs on a Cylinder., und . SIAM J. Discret. Math., 4 (1): 139-149 (1991)A Layout Algorithm for Data Flow Diagrams., , und . IEEE Trans. Software Eng., 12 (4): 538-546 (1986)Maintenance of a Minimum Spanning Forest in a Dynamic Planar Graph., , , , , und . SODA, Seite 1-11. SIAM, (1990)Reinventing the wheel: an optimal data structure for connectivity queries., , , und . STOC, Seite 194-200. ACM, (1993)Efficient integrity checking of untrusted network storage., , , und . StorageSS, Seite 43-54. ACM, (2008)Privacy-preserving data-oblivious geometric algorithms for geographic data., , und . GIS, Seite 13-22. ACM, (2010)Efficient Reconfiguration of VLSI Arrays., und . AWOC, Volume 319 von Lecture Notes in Computer Science, Seite 191-200. Springer, (1988)Authenticated Data Structures for Graph and Geometric Searching., , , und . CT-RSA, Volume 2612 von Lecture Notes in Computer Science, Seite 295-313. Springer, (2003)A Dynamic Data Structure for Planar Graph Embedding (Extended Abstract).. ICALP, Volume 317 von Lecture Notes in Computer Science, Seite 576-590. Springer, (1988)Dynamic Data Structures for Two Dimensional Searching. University of Illinois Urbana-Champaign, USA, (1988)