Alexander Lauser

According to our database, Alexander Lauser authored at least 16 papers between 2010 and 2017.

Collaborative distances:

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

2017

The Half-Levels of the FO2 Alternation Hierarchy.

Lukas Fleischer, Manfred Kufleitner, Alexander Lauser

Theory Comput. Syst., 2017

2015

Formal language theory of logic fragments.

Alexander Lauser

PhD thesis, 2015

2014

Block Products and Nesting Negations in FO2.

Lukas Fleischer, Manfred Kufleitner, Alexander Lauser

Proceedings of the Computer Science - Theory and Applications, 2014

2013

Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable.

Manfred Kufleitner, Alexander Lauser

Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013

2012

Around dot-Depth One.

Manfred Kufleitner, Alexander Lauser

Int. J. Found. Comput. Sci., 2012

The Join of R-trivial and L-trivial Monoids via Combinatorics on Words.

Manfred Kufleitner, Alexander Lauser

Discret. Math. Theor. Comput. Sci., 2012

Lattices of Logical Fragments over Words

Manfred Kufleitner, Alexander Lauser

CoRR, 2012

Regular Ideal Languages and Their Boolean Combinations.

Franz Jahn, Manfred Kufleitner, Alexander Lauser

Proceedings of the Implementation and Application of Automata, 2012

The Join Levels of the Trotter-Weil Hierarchy Are Decidable.

Manfred Kufleitner, Alexander Lauser

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Lattices of Logical Fragments over Words - (Extended Abstract).

Manfred Kufleitner, Alexander Lauser

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

Partially Ordered Two-Way BüChi Automata.

Manfred Kufleitner, Alexander Lauser

Int. J. Found. Comput. Sci., 2011

Cantor Topologies for Finite Words

Manfred Kufleitner, Alexander Lauser

CoRR, 2011

First-order Fragments with Successor over Infinite Words.

Jakub Kallas, Manfred Kufleitner, Alexander Lauser

Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

Languages of Dot-Depth One over Infinite Words.

Manfred Kufleitner, Alexander Lauser

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010

Rankers over Infinite Words

Luc Dartois, Manfred Kufleitner, Alexander Lauser

CoRR, 2010

Rankers over Infinite Words - (Extended Abstract).

Luc Dartois, Manfred Kufleitner, Alexander Lauser

Proceedings of the Developments in Language Theory, 14th International Conference, 2010