Alexander Lauser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2010–2014
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CSR | Block Products and Nesting Negations in FO2. | Lukas Fleischer, Manfred Kufleitner, Alexander Lauser |
| 2013 | STACS | Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable. | Manfred Kufleitner, Alexander Lauser |
| 2012 | ICALP | Lattices of Logical Fragments over Words - (Extended Abstract). | Manfred Kufleitner, Alexander Lauser |
| 2012 | MFCS | The Join Levels of the Trotter-Weil Hierarchy Are Decidable. | Manfred Kufleitner, Alexander Lauser |
| 2011 | LICS | Languages of Dot-Depth One over Infinite Words. | Manfred Kufleitner, Alexander Lauser |
| 2011 | STACS | First-order Fragments with Successor over Infinite Words. | Jakub Kallas, Manfred Kufleitner, Alexander Lauser |
| 2010 | DLT | Rankers over Infinite Words - (Extended Abstract). | Luc Dartois, Manfred Kufleitner, Alexander Lauser |