| 2008 |
|---|
| 14 | EE | Benjamin Rossman:
On the constant-depth complexity of k-clique.
STOC 2008: 721-730 |
| 13 | EE | Benjamin Rossman:
Homomorphism preservation theorems.
J. ACM 55(3): (2008) |
| 2007 |
|---|
| 12 | EE | Erik D. Demaine,
Shay Mozes,
Benjamin Rossman,
Oren Weimann:
An Optimal Decomposition Algorithm for Tree Edit Distance.
ICALP 2007: 146-157 |
| 11 | EE | Andreas Blass,
Yuri Gurevich,
Dean Rosenzweig,
Benjamin Rossman:
Interactive Small-Step Algorithms I: Axiomatization
CoRR abs/0707.3782: (2007) |
| 10 | EE | Andreas Blass,
Yuri Gurevich,
Dean Rosenzweig,
Benjamin Rossman:
Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem
CoRR abs/0707.3789: (2007) |
| 9 | EE | Andreas Blass,
Yuri Gurevich,
Dean Rosenzweig,
Benjamin Rossman:
Interactive Small-Step Algorithms I: Axiomatization.
Logical Methods in Computer Science 3(4): (2007) |
| 8 | EE | Andreas Blass,
Yuri Gurevich,
Dean Rosenzweig,
Benjamin Rossman:
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem.
Logical Methods in Computer Science 3(4): (2007) |
| 2006 |
|---|
| 7 | EE | Erik D. Demaine,
Shay Mozes,
Benjamin Rossman,
Oren Weimann:
An O(n^3)-Time Algorithm for Tree Edit Distance
CoRR abs/cs/0604037: (2006) |
| 6 | EE | Anuj Dawar,
David Richerby,
Benjamin Rossman:
Choiceless Polynomial Time, Counting and the Cai-Fürer-Immerman Graphs: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 143: 13-26 (2006) |
| 2005 |
|---|
| 5 | EE | Benjamin Rossman:
Existential Positive Types and Preservation under Homomorphisisms.
LICS 2005: 467-476 |
| 4 | | Andreas Blass,
Benjamin Rossman:
Explicit Graphs with Extension Properties.
Bulletin of the EATCS 86: 166-175 (2005) |
| 3 | EE | Yuri Gurevich,
Benjamin Rossman,
Wolfram Schulte:
Semantic essence of AsmL.
Theor. Comput. Sci. 343(3): 370-412 (2005) |
| 2003 |
|---|
| 2 | EE | Yuri Gurevich,
Benjamin Rossman,
Wolfram Schulte:
Semantic Essence of AsmL.
FMCO 2003: 240-259 |
| 1 | EE | Benjamin Rossman:
Successor-Invariance in the Finite.
LICS 2003: 148- |
