Klaus-Jörn Lange

Affiliations:
  • University of Tübingen, Germany
  • TU Munich, Germany (former)
  • University of Hamburg, Germany (former, PhD 1983)


According to our database1, Klaus-Jörn Lange authored at least 67 papers between 1980 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Visibly Pushdown Languages and Free Profinite Algebras.
CoRR, 2018

Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy.
Proceedings of the Language and Automata Theory and Applications, 2018

2016
A Language-Theoretical Approach to Descriptive Complexity.
Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015
Visibly Counter Languages and the Structure of NC<sup>1</sup>.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

On Distinguishing NC<sup>1</sup> and NL.
Proceedings of the Developments in Language Theory - 19th International Conference, 2015

2014
Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata.
Theory Comput., 2014

Visibly Counter Languages and Constant Depth Circuits.
Electron. Colloquium Comput. Complex., 2014

2012
The Lower Reaches of Circuit Uniformity.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Dense Completeness.
Proceedings of the Developments in Language Theory - 16th International Conference, 2012

The Boolean Formula Value Problem as Formal Language.
Proceedings of the Languages Alive, 2012

2011
Low uniform versions of NC1.
Electron. Colloquium Comput. Complex., 2011

2010
A Note on the P-completeness of Deterministic One-way Stack Language.
J. Univers. Comput. Sci., 2010

2007
Characterizing TC<sup>0</sup> in Terms of Infinite Groups.
Theory Comput. Syst., 2007

2006
FO[<]-Uniformity.
Proceedings of the 21st Annual IEEE Conference on Computational Complexity (CCC 2006), 2006

2005
The dot-depth and the polynomial hierarchies correspond on the delta levels.
Int. J. Found. Comput. Sci., 2005

2004
The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels.
Proceedings of the Developments in Language Theory, 2004

Some Results on Majority Quantifiers over Words.
Proceedings of the 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 2004

2001
On the Complexity of Some Problems on Groups Input as Multiplication Tables.
J. Comput. Syst. Sci., 2001

2000
Data Independence of Read, Write, and Control Structures in PRAM Computations.
J. Comput. Syst. Sci., 2000

Reversible Space Equals Deterministic Space.
J. Comput. Syst. Sci., 2000

1998
RUSPACE(log <i>n</i>) $\subseteq$ DSPACE (log<sup>2</sup> <i>n</i> / log log <i>n</i>).
Theory Comput. Syst., 1998

On the Complexity of Free Monoid Morphisms.
Proceedings of the Algorithms and Computation, 9th International Symposium, 1998

1997
An Unambiguous Class Possessing a Complete Set.
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

On the Distributed Realization of Parallel Algorithms.
Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

Are There Formal Languages Complete for SymSPACE(log n)?
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

On the Complexity of Iterated Insertions.
Proceedings of the New Trends in Formal Languages, 1997

1996
Complexity and Structure in Formal Language Theory.
Fundam. Informaticae, 1996

StUSPACE(log n) is Contained in DSPACE((log<sup>2</sup>n)/loglog n)
Electron. Colloquium Comput. Complex., 1996

StUSPACE(log n) <= DSPACE(log²n / log log n).
Proceedings of the Algorithms and Computation, 7th International Symposium, 1996

Advocating Ownership.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

Set Automata.
Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

1995
The Complexity of Reconfiguring Network Models
Inf. Comput., August, 1995

1994
Empty Alternation.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Unambiguous Polynomial Hierarchies and Exponential Size.
Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28, 1994

1993
Unambiguity of Circuits.
Theor. Comput. Sci., 1993

Data-Independences of Parallel Random Access Machines.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

On the Complexities of Linear LL(1) and LR(1) Grammars.
Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

Deterministic OL Languages are of Very Low Complexity: DOL is in AC<sup>0</sup>.
Proceedings of the Developments in Language Theory, 1993

1992
Parallel Recognition and Ranking of Context-Free Languages.
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

The Emptiness Problem for Intersections of Regular Languages.
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Parallel Complexity of Iterated Morphisms and the Arithmetic of Small Numbers.
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

1991
Computational Calculus and Hardest Languages of Automata with Abstract Storages.
Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991

Unambiguity and Fewness for Logarithmic Space.
Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991

On the Design of Parallel Programs for Machines with Distributed Memory.
Proceedings of the Distributed Memory Computing, 2nd European Conference, 1991

1990
Two results on unambiguous circuits
Forschungsberichte, TU Munich, 1990

Characterizing Unambiguous Augmented Pushdown Automata by Circuits.
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

1989
The Logarithmic Alternation Hierarchy Collapses: A∑<sub>2</sub><sup>L</sup> = A∏<sub>2</sub><sup>L</sup>.
Inf. Comput., March, 1989

1988
Decompositions of Nondeterministic Reductions.
Theor. Comput. Sci., 1988

Complexity Theory and Formal Languages.
Proceedings of the Machines, 1988

1987
Separation with the Ruzzo, Simon, and Tompa Relativization Implies DSPACE(log n) != NSPACE(log n).
Inf. Process. Lett., 1987

A further link between formal languages and complexity theory.
Bull. EATCS, 1987

String grammars with disconnecting or a basic root of the difficulty in graph grammar parsing.
Discret. Appl. Math., 1987

The Logarithmic Alternation Hierarchiy Collapses: A Sigma^C_2 = A Pi^C_2.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

Dyck<sub>1</sub>-Reductions of Context-free Languages.
Proceedings of the Fundamentals of Computation Theory, 1987

1986
Two Characterizations of the Logarithmic Alternation Hierarchy.
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

Decompositions of Nondeterministic Reductions (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 13th International Colloquium, 1986

1985
Recurrent Words and Simultaneous Growth in T0L Systems.
Theor. Comput. Sci., 1985

A note on the closure of EDL-languages under erasing homomorphisms.
Bull. EATCS, 1985

Addendum to "A note on the closure of EOL languages under erasing homomorphismus".
Bull. EATCS, 1985

Non-Deterministic Two-Tape Automata are More Powerful Then Deterministic Ones.
Proceedings of the STACS 85, 1985

String grammars with disconnecting.
Proceedings of the Fundamentals of Computation Theory, 1985

1984
DTOL Systems and Catenativity.
J. Inf. Process. Cybern., 1984

Nondeterministic Logspace Reductions.
Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1983
Context-Free Controlled ETOL Systems.
Proceedings of the Automata, 1983

1982
Kontextfrei kontrollierte ETOL-Systeme.
PhD thesis, 1982

A Three-Restricted Normal Form Theorem for ET0L Languages.
Inf. Process. Lett., 1982

1980
Equivalence of Adult Languages and Extensions for DTOL Systems
Inf. Control., November, 1980


  Loading...