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 Lukas Fleischer

> Home > Persons > Manfred Kufleitner

Publications

2019
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ita/FleischerK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/FleischerK19
Lukas Fleischer, Manfred Kufleitner:
The complexity of weakly recognizing morphisms. RAIRO Theor. Informatics Appl. 53(1-2): 1-17 (2019)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/FleischerK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/FleischerK19
Lukas Fleischer, Manfred Kufleitner:
Green's Relations in Deterministic Finite Automata. Theory Comput. Syst. 63(4): 666-687 (2019)
2018
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/FleischerK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/FleischerK18
Lukas Fleischer, Manfred Kufleitner:
Testing Simon's congruence. MFCS 2018: 62:1-62:13
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/FleischerK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/FleischerK18
Lukas Fleischer, Manfred Kufleitner:
The Intersection Problem for Finite Monoids. STACS 2018: 30:1-30:14
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-10459
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-10459
Lukas Fleischer, Manfred Kufleitner:
Testing Simon's congruence. CoRR abs/1804.10459 (2018)
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)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/csr/FleischerK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr/FleischerK17
Lukas Fleischer, Manfred Kufleitner:
Green's Relations in Finite Transformation Semigroups. CSR 2017: 112-125
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FleischerK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FleischerK17
Lukas Fleischer, Manfred Kufleitner:
Green's Relations in Finite Transformation Semigroups. CoRR abs/1703.04941 (2017)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-08717
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-08717
Lukas Fleischer, Manfred Kufleitner:
The Intersection Problem for Finite Monoids. CoRR abs/1711.08717 (2017)
2016
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/FleischerK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/FleischerK16
Lukas Fleischer, Manfred Kufleitner:
Operations on Weakly Recognizing Morphisms. DCFS 2016: 126-137
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FleischerK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FleischerK16
Lukas Fleischer, Manfred Kufleitner:
Operations on Weakly Recognizing Morphisms. CoRR abs/1603.05376 (2016)
2015
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/FleischerK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FleischerK15
Lukas Fleischer, Manfred Kufleitner:
Efficient Algorithms for Morphisms over Omega-Regular Languages. FSTTCS 2015: 112-124
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FleischerK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FleischerK15
Lukas Fleischer, Manfred Kufleitner:
Efficient Algorithms for Morphisms over Omega-Regular Languages. CoRR abs/1509.06215 (2015)
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

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.