Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Manfred Kufleitner

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Alexander Lauser

> Home > Persons > Manfred Kufleitner

Publications

2017
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/FleischerKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/FleischerKL17
Lukas Fleischer, Manfred Kufleitner, Alexander Lauser:
The Half-Levels of the FO2 Alternation Hierarchy. Theory Comput. Syst. 61(2): 352-370 (2017)
2014
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/csr/FleischerKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr/FleischerKL14
Lukas Fleischer, Manfred Kufleitner, Alexander Lauser:
Block Products and Nesting Negations in FO2. CSR 2014: 176-189
2013
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/KufleitnerL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/KufleitnerL13
Manfred Kufleitner, Alexander Lauser:
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable. STACS 2013: 305-316
2012
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dmtcs/KufleitnerL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dmtcs/KufleitnerL12
Manfred Kufleitner, Alexander Lauser:
The Join of R-trivial and L-trivial Monoids via Combinatorics on Words. Discret. Math. Theor. Comput. Sci. 14(1): 141-146 (2012)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/KufleitnerL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/KufleitnerL12
Manfred Kufleitner, Alexander Lauser:
Around dot-Depth One. Int. J. Found. Comput. Sci. 23(6): 1323-1340 (2012)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/KufleitnerL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/KufleitnerL12
Manfred Kufleitner, Alexander Lauser:
Lattices of Logical Fragments over Words - (Extended Abstract). ICALP (2) 2012: 275-286
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/KufleitnerL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/KufleitnerL12
Manfred Kufleitner, Alexander Lauser:
The Join Levels of the Trotter-Weil Hierarchy Are Decidable. MFCS 2012: 603-614
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/JahnKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/JahnKL12
Franz Jahn, Manfred Kufleitner, Alexander Lauser:
Regular Ideal Languages and Their Boolean Combinations. CIAA 2012: 205-216
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1202-3355
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-3355
Manfred Kufleitner, Alexander Lauser:
Lattices of Logical Fragments over Words. CoRR abs/1202.3355 (2012)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1204-4672
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-4672
Manfred Kufleitner, Alexander Lauser:
The Join Levels of the Trotter-Weil Hierarchy are Decidable. CoRR abs/1204.4672 (2012)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1204-5368
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-5368
Manfred Kufleitner, Alexander Lauser:
The Join of R-trivial and L-trivial Monoids via Combinatorics on Words. CoRR abs/1204.5368 (2012)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1212-6500
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-6500
Manfred Kufleitner, Alexander Lauser:
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable. CoRR abs/1212.6500 (2012)
2011
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/KufleitnerL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/KufleitnerL11
Manfred Kufleitner, Alexander Lauser:
Partially Ordered Two-Way BüChi Automata. Int. J. Found. Comput. Sci. 22(8): 1861-1876 (2011)
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/afl/KufleitnerL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afl/KufleitnerL11
Manfred Kufleitner, Alexander Lauser:
Around Dot-Depth One. AFL 2011: 255-269
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KufleitnerL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KufleitnerL11
Manfred Kufleitner, Alexander Lauser:
Languages of Dot-Depth One over Infinite Words. LICS 2011: 23-32
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/KallasKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/KallasKL11
Jakub Kallas, Manfred Kufleitner, Alexander Lauser:
First-order Fragments with Successor over Infinite Words. STACS 2011: 356-367
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1101-0115
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-0115
Jakub Kallas, Manfred Kufleitner, Alexander Lauser:
First-order Fragments with Successor over Infinite Words. CoRR abs/1101.0115 (2011)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1101-4152
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4152
Manfred Kufleitner, Alexander Lauser:
Languages of Dot-depth One over Infinite Words. CoRR abs/1101.4152 (2011)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1102-5013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-5013
Manfred Kufleitner, Alexander Lauser:
Cantor Topologies for Finite Words. CoRR abs/1102.5013 (2011)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1103-1353
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-1353
Manfred Kufleitner, Alexander Lauser:
Around Dot-depth One. CoRR abs/1103.1353 (2011)
2010
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/dlt/DartoisKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt/DartoisKL10
Luc Dartois, Manfred Kufleitner, Alexander Lauser:
Rankers over Infinite Words - (Extended Abstract). Developments in Language Theory 2010: 148-159
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/KufleitnerL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/KufleitnerL10
Manfred Kufleitner, Alexander Lauser:
Partially Ordered Two-Way Büchi Automata. CIAA 2010: 181-190
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1005-0505
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-0505
Luc Dartois, Manfred Kufleitner, Alexander Lauser:
Rankers over Infinite Words. CoRR abs/1005.0505 (2010)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1006-2719
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-2719
Manfred Kufleitner, Alexander Lauser:
Partially Ordered Two-way Büchi Automata. CoRR abs/1006.2719 (2010)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.