dblp.uni-trier.dewww.uni-trier.de

Benjamin Rossman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
16EEBenjamin Rossman: Ehrenfeucht-Fraïssé Games on Random Structures. WoLLIC 2009: 350-364
2008
15EEBenjamin Rossman: On the constant-depth complexity of k-clique. STOC 2008: 721-730
14EEAnuj Dawar, David Richerby, Benjamin Rossman: Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs. Ann. Pure Appl. Logic 152(1-3): 31-50 (2008)
13EEBenjamin Rossman: Homomorphism preservation theorems. J. ACM 55(3): (2008)
2007
12EEErik D. Demaine, Shay Mozes, Benjamin Rossman, Oren Weimann: An Optimal Decomposition Algorithm for Tree Edit Distance. ICALP 2007: 146-157
11EEAndreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman: Interactive Small-Step Algorithms I: Axiomatization CoRR abs/0707.3782: (2007)
10EEAndreas 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)
9EEAndreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman: Interactive Small-Step Algorithms I: Axiomatization. Logical Methods in Computer Science 3(4): (2007)
8EEAndreas 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
7EEErik D. Demaine, Shay Mozes, Benjamin Rossman, Oren Weimann: An O(n^3)-Time Algorithm for Tree Edit Distance CoRR abs/cs/0604037: (2006)
6EEAnuj 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
5EEBenjamin 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)
3EEYuri Gurevich, Benjamin Rossman, Wolfram Schulte: Semantic essence of AsmL. Theor. Comput. Sci. 343(3): 370-412 (2005)
2003
2EEYuri Gurevich, Benjamin Rossman, Wolfram Schulte: Semantic Essence of AsmL. FMCO 2003: 240-259
1EEBenjamin Rossman: Successor-Invariance in the Finite. LICS 2003: 148-

Coauthor Index

1Andreas Blass [4] [8] [9] [10] [11]
2Anuj Dawar [6] [14]
3Erik D. Demaine [7] [12]
4Yuri Gurevich [2] [3] [8] [9] [10] [11]
5Shay Mozes [7] [12]
6David Richerby [6] [14]
7Dean Rosenzweig [8] [9] [10] [11]
8Wolfram Schulte [2] [3]
9Oren Weimann [7] [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)