Bastian Laubner

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

Collaborative distances:

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

2012

L-Recursion and a new Logic for Logarithmic Space

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

Log. Methods Comput. Sci., 2012

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

2010

Interval Graphs: Canonical Representation in Logspace.

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

Electron. Colloquium Comput. Complex., 2010

Capturing Polynomial Time on Interval Graphs.

Bastian Laubner

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 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