Alexander Lauser

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Venues

CoRR

CSR

Theory Comput. Syst.

Int. J. Found. Comput. Sci.

University of Stuttgart (PHD)

Education History

University of Stuttgart

PHD

Publications

Lukas Fleischer, Manfred Kufleitner, Alexander Lauser
The Half-Levels of the FO2 Alternation Hierarchy. Theory Comput. Syst. 61 (2) (2017)
Lukas Fleischer, Manfred Kufleitner, Alexander Lauser
Block Products and Nesting Negations in FO2. CSR (2014)
Manfred Kufleitner, Alexander Lauser
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable. STACS (2013)
Manfred Kufleitner, Alexander Lauser
Lattices of Logical Fragments over Words CoRR (2012)
Manfred Kufleitner, Alexander Lauser
Around dot-Depth One. Int. J. Found. Comput. Sci. 23 (6) (2012)
Franz Jahn, Manfred Kufleitner, Alexander Lauser
Regular Ideal Languages and Their Boolean Combinations. CIAA (2012)
Manfred Kufleitner, Alexander Lauser
The Join of R-trivial and L-trivial Monoids via Combinatorics on Words CoRR (2012)
Manfred Kufleitner, Alexander Lauser
The Join Levels of the Trotter-Weil Hierarchy are Decidable CoRR (2012)
Manfred Kufleitner, Alexander Lauser
The Join of R-trivial and L-trivial Monoids via Combinatorics on Words. Discret. Math. Theor. Comput. Sci. 14 (1) (2012)
Manfred Kufleitner, Alexander Lauser
The Join Levels of the Trotter-Weil Hierarchy Are Decidable. MFCS (2012)
Manfred Kufleitner, Alexander Lauser
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable CoRR (2012)
Manfred Kufleitner, Alexander Lauser
Lattices of Logical Fragments over Words - (Extended Abstract). ICALP (2) (2012)
Manfred Kufleitner, Alexander Lauser
Around Dot-depth One CoRR (2011)
Manfred Kufleitner, Alexander Lauser
Languages of Dot-Depth One over Infinite Words. LICS (2011)
Manfred Kufleitner, Alexander Lauser
Around Dot-Depth One. AFL (2011)
Jakub Kallas, Manfred Kufleitner, Alexander Lauser
First-order Fragments with Successor over Infinite Words CoRR (2011)
Jakub Kallas, Manfred Kufleitner, Alexander Lauser
First-order Fragments with Successor over Infinite Words. STACS (2011)
Manfred Kufleitner, Alexander Lauser
Cantor Topologies for Finite Words CoRR (2011)
Manfred Kufleitner, Alexander Lauser
Languages of Dot-depth One over Infinite Words CoRR (2011)
Manfred Kufleitner, Alexander Lauser
Partially Ordered Two-Way BüChi Automata. Int. J. Found. Comput. Sci. 22 (8) (2011)
Manfred Kufleitner, Alexander Lauser
Partially Ordered Two-Way Büchi Automata. CIAA (2010)
Luc Dartois, Manfred Kufleitner, Alexander Lauser
Rankers over Infinite Words - (Extended Abstract). Developments in Language Theory (2010)
Luc Dartois, Manfred Kufleitner, Alexander Lauser
Rankers over Infinite Words CoRR (2010)
Manfred Kufleitner, Alexander Lauser
Partially Ordered Two-way Büchi Automata CoRR (2010)

Alexander Lauser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Lauser