Christoph Behle

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Classical Logic

Linear Functions

Significantly Lower

Top Venues

Theor. Comput. Sci.

Publications

Christoph Behle, Andreas Krebs, Mark Mercer
Linear circuits, two-variable logic and weakly blocked monoids. Theor. Comput. Sci. 501 (2013)
Christoph Behle, Andreas Krebs, Klaus-Jörn Lange, Pierre McKenzie
The Lower Reaches of Circuit Uniformity. MFCS (2012)
Christoph Behle, Andreas Krebs
Regular Languages in MAJ[>] with three variables. Electron. Colloquium Comput. Complex. 18 (2011)
Christoph Behle, Andreas Krebs, Klaus-Jörn Lange, Pierre McKenzie
Low uniform versions of NC1. Electron. Colloquium Comput. Complex. 18 (2011)
Christoph Behle, Andreas Krebs, Stephanie Reifferscheid
Typed Monoids - An Eilenberg-Like Theorem for Non Regular Languages. CAI (2011)
Christoph Behle, Andreas Krebs, Stephanie Reifferscheid
Typed Monoids - An Eilenberg-like Theorem for non regular Languages. Electron. Colloquium Comput. Complex. 18 (2011)
Carsten Henneges, Christoph Behle, Andreas Zell
Practical Graph Isomorphism for Graphlet Data Mining in Protein Structures. IJCCI (Selected Papers) (2010)
Christoph Behle, Andreas Krebs, Stephanie Reifferscheid
Regular Languages Definable by Majority Quantifiers with Two Variables. Developments in Language Theory (2009)
Christoph Behle, Andreas Krebs, Stephanie Reifferscheid
An Approach to characterize the Regular Languages in TC0 with Linear Wires. Electron. Colloquium Comput. Complex. 16 (2009)
Christoph Behle, Andreas Krebs, Stephanie Reifferscheid
Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG]. LATA (2009)
Christoph Behle, Andreas Krebs, Mark Mercer
Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids. MFCS (2007)
Christoph Behle, Klaus-Jörn Lange
FO[<]-Uniformity. Computational Complexity Conference (2006)