|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Akinori Kawachi, Benjamin Rossman, Osamu Watanabe |
Query Complexity and Error Tolerance of Witness Finding Algorithms.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Swastik Kopparty, Benjamin Rossman |
The homomorphism domination exponent. |
Eur. J. Comb. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Rossman |
Choiceless Computation and Symmetry. |
Fields of Logic and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Rossman |
The Monotone Complexity of k-clique on Random Graphs. |
FOCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik D. Demaine, Shay Mozes, Benjamin Rossman, Oren Weimann |
An optimal decomposition algorithm for tree edit distance. |
ACM Transactions on Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Rossman |
Ehrenfeucht-Fraïssé Games on Random Structures. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Rossman |
Combining Ehrenfeucht-Fraïssé Games. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, David Richerby, Benjamin Rossman |
Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Rossman |
Homomorphism preservation theorems. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
preservation theorems, quantifier-rank, tree-depth, first-order logic, conjunctive queries, homomorphisms, Finite model theory |
| 1 | Benjamin Rossman |
On the constant-depth complexity of k-clique. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
ac0, bounded variable hierarchy, k-clique, first-order logic, circuit complexity, constant-depth circuits |
| 1 | Benjamin Rossman |
Successor-invariant first-order logic on finite structures. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman |
Interactive Small-Step Algorithms I: Axiomatization. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman |
Interactive Small-Step Algorithms I: Axiomatization |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman |
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Erik D. Demaine, Shay Mozes, Benjamin Rossman, Oren Weimann |
An Optimal Decomposition Algorithm for Tree Edit Distance. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, David Richerby, Benjamin Rossman |
Choiceless Polynomial Time, Counting and the Cai-Fürer-Immerman Graphs: (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik D. Demaine, Shay Mozes, Benjamin Rossman, Oren Weimann |
An O(n^3)-Time Algorithm for Tree Edit Distance |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich, Benjamin Rossman, Wolfram Schulte |
Semantic essence of AsmL. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Benjamin Rossman |
Explicit Graphs with Extension Properties. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Rossman |
Existential Positive Types and Preservation under Homomorphisisms. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Benjamin Rossman, Wolfram Schulte |
Semantic Essence of AsmL. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Rossman |
Successor-Invariance in the Finite. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")