Logics with Rank Operators. - Anuj Dawar; Martin Grohe; Bjarki Holm; Bastian Laubner (LICS, 2009)

Capturing Polynomial Time on Interval Graphs. - Bastian Laubner (LICS, 2010)

Interval Graphs: Canonical Representation in Logspace. - Johannes Köbler; Sebastian Kuhnert; Bastian Laubner; Oleg Verbitsky 001 (Electron. Colloquium Comput. Complex., 2010)

Interval Graphs: Canonical Representations in Logspace. - Johannes Köbler; Sebastian Kuhnert; Bastian Laubner; Oleg Verbitsky 001 (SIAM J. Comput., 2011)

The structure of graphs and new logics for the characterization of Polynomial Time. - Bastian Laubner (2011)

L-Recursion and a new Logic for Logarithmic Space - Martin Grohe; Berit Grußien; André Hernich; Bastian Laubner (Log. Methods Comput. Sci., 2012)