Alexander Lauser

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