( en | de | ru )

 

Disambiguierung von "Beame, Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.

, , , , , und . ICSE, Seite 142-151. ACM, (1999)

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.

Tanja Beament

Christian Paul

Jean Paul

Pauli Paul

Gabriele Paulix

 

Weitere Publikationen von Autoren mit dem selben Namen

A Strong Direct Product Theorem for Corruption and the Multiparty Communication Complexity of Disjointness., , , und . Comput. Complex., 15 (4): 391-432 (2006)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)Using Problem Structure for Efficient Clause Learning., , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 242-256. Springer, (2003)Time-space tradeoffs, multiparty communication complexity, and nearest-neighbor problems., und . STOC, Seite 688-697. ACM, (2002)Massively-Parallel Similarity Join, Edge-Isoperimetry, and Distance Correlations on the Hypercube., und . CoRR, (2016)Counting of Query Expressions: Limitations of Propositional Methods., , , und . ICDT, Seite 177-188. OpenProceedings.org, (2014)A Time-Space Tradeoff for Undirected Graph Traversal by Walking Automata., , , , und . SIAM J. Comput., 28 (3): 1051-1072 (1999)Distributed Computing on TRansitive Networks: The Thorus., und . STACS, Volume 349 von Lecture Notes in Computer Science, Seite 294-303. Springer, (1989)