Bastian Laubner

According to our database, Bastian Laubner authored at least 6 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

The structure of graphs and new logics for the characterization of Polynomial Time.

Bastian Laubner

PhD thesis, 2011

Interval Graphs: Canonical Representations in Logspace.

Johannes Köbler, Sebastian Kuhnert, Bastian Laubner, Oleg Verbitsky

SIAM J. Comput., 2011

L-Recursion and a new Logic for Logarithmic Space.

Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner

Proceedings of the Computer Science Logic, 2011

2010

Capturing Polynomial Time on Interval Graphs.

Bastian Laubner

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Interval Graphs: Canonical Representation in Logspace.

Johannes Köbler, Sebastian Kuhnert, Bastian Laubner, Oleg Verbitsky

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Logics with Rank Operators.

Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009