PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rossman, Benjamin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem.

, , , und . Logical Methods in Computer Science, (2007)

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.

Benjamin Bätz University of Stuttgart

Benjamin Kaiser University of Stuttgart

Benjamin Bursik University of Stuttgart

Dr. Benjamin Aberle University of Stuttgart

Benjamin Rothaupt

 

Weitere Publikationen von Autoren mit dem selben Namen

The Monotone Complexity of k-Clique on Random Graphs.. SIAM J. Comput., 43 (1): 256-279 (2014)A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs.. WoLLIC, Volume 7456 von Lecture Notes in Computer Science, Seite 282-290. Springer, (2012)Subspace-Invariant AC^0 Formulas.. ICALP, Volume 80 von LIPIcs, Seite 93:1-93:11. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Choiceless Computation and Symmetry.. Fields of Logic and Computation, Volume 6300 von Lecture Notes in Computer Science, Seite 565-580. Springer, (2010)An O(n^3)-Time Algorithm for Tree Edit Distance, , , und . CoRR, (2006)The Query Complexity of Witness Finding., , und . CSR, Volume 8476 von Lecture Notes in Computer Science, Seite 218-231. Springer, (2014)Poly-logarithmic Frege depth lower bounds via an expander switching lemma., , , und . STOC, Seite 644-657. ACM, (2016)Combining Ehrenfeucht-Fraïssé Games.. LICS, Seite 331. IEEE Computer Society, (2009)Existential Positive Types and Preservation under Homomorphisisms.. LICS, Seite 467-476. IEEE Computer Society, (2005)Homomorphism preservation theorems.. J. ACM, 55 (3): 15:1-15:53 (2008)