Autor der Publikation

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

A Time-Space Tradeoff for Undirected Graph Traversal by Walking Automata., , , , und . SIAM J. Comput., 28 (3): 1051-1072 (1999)Optimizing symbolic model checking for statecharts, , , , , und . Software Engineering, IEEE Transactions on, 27 (2): 170--190 (2001)Massively-Parallel Similarity Join, Edge-Isoperimetry, and Distance Correlations on the Hypercube., und . CoRR, (2016)A Strong Direct Product Theorem for Corruption and the Multiparty Communication Complexity of Disjointness., , , und . Comput. Complex., 15 (4): 391-432 (2006)Counting of Query Expressions: Limitations of Propositional Methods., , , und . ICDT, Seite 177-188. OpenProceedings.org, (2014)Optimal bounds for decision problems on the CRCW PRAM., und . J. ACM, 36 (3): 643-670 (1989)Cumulative Memory Lower Bounds for Randomized and Quantum Computation., und . ICALP, Volume 261 von LIPIcs, Seite 17:1-17:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)More on the relative strength of counting principles., und . Proof Complexity and Feasible Arithmetics, Volume 39 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 13-35. DIMACS/AMS, (1996)A General Sequential Time-Space Tradeoff for Finding Unique Elements. STOC, Seite 197-203. ACM, (1989)Proof complexity.. Computational Complexity Theory, Volume 10 von IAS / Park City mathematics series, AMS Chelsea Publishing, (2004)