Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDMarkus Holzer 0001
Person information
- affiliation: University of Giessen, Germany
- affiliation: University of Tübingen, Germany
- not to be confused with: Markus Holzer 0004
Other persons with the same name
- Markus Holzer 0002 — Pforzheim University of Applied Sciences, Germany
- Markus Holzer 0003 — Medical University of Vienna, Vienna, Austria
- Markus Holzer 0004 — University of Tübingen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j93]Markus Holzer, Martin Kutrib:
Automata That May Change Their Mind. J. Autom. Lang. Comb. 25(2-3): 115-140 (2020)- [i9]Hermann Gruber, Markus Holzer, Simon Wolfsteiner:
On Minimizing Regular Expressions Without Kleene Star. Electron. Colloquium Comput. Complex. 27: 79 (2020)
2010 – 2019
- 2019
- [j92]Sabine Broda
, Markus Holzer, Eva Maia, Nelma Moreira, Rogério Reis:
A mesh of automata. Inf. Comput. 265: 94-111 (2019) - [j91]Simon Beier, Markus Holzer, Martin Kutrib:
Operational State Complexity and Decidability of Jumping Finite Automata. Int. J. Found. Comput. Sci. 30(1): 5-27 (2019) - [j90]Markus Holzer, Martin Kutrib:
One-Time Nondeterministic Computations. Int. J. Found. Comput. Sci. 30(6-7): 1069-1089 (2019) - [j89]Simon Beier, Markus Holzer:
Properties of right one-way jumping finite automata. Theor. Comput. Sci. 798: 78-94 (2019) - [c134]Markus Holzer, Martin Kutrib:
Non-Recursive Trade-Offs Are "Almost Everywhere". CiE 2019: 25-36 - [c133]Simon Beier, Markus Holzer:
Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract). DCFS 2019: 74-85 - [c132]Markus Holzer, Michal Hospodár:
The Range of State Complexities of Languages Resulting from the Cut Operation. LATA 2019: 190-202 - [c131]Henning Fernau, Vladimir V. Gusev, Stefan Hoffmann, Markus Holzer, Mikhail V. Volkov, Petra Wolf:
Computational Complexity of Synchronization under Regular Constraints. MFCS 2019: 63:1-63:14 - [c130]Markus Holzer, Sebastian Jakobi:
A comment on strong language families and self-verifying complexity classes. NCMA 2019: 93-108 - [c129]Simon Beier, Markus Holzer:
Semi-linear Lattices and Right One-Way Jumping Finite Automata (Extended Abstract). CIAA 2019: 70-82 - [e8]Rudolf Freund, Markus Holzer, José M. Sempere:
Eleventh Workshop on Non-Classical Models of Automata and Applications, NCMA 2019, Valencia, Spain, July 2-3, 2019. Österreichische Computer Gesellschaft 2019, ISBN 978-3-903035-25-6 [contents] - 2018
- [j88]Markus Holzer, Sebastian Jakobi:
On the computational complexity of problems related to distinguishability sets. Inf. Comput. 259(2): 225-236 (2018) - [j87]Markus Holzer, Sebastian Jakobi, Martin Kutrib:
Minimal Reversible Deterministic Finite Automata. Int. J. Found. Comput. Sci. 29(2): 251-270 (2018) - [j86]Markus Holzer, Bianca Truthe, Ahmad Firdaus Yosman:
On bonded sequential and parallel insertion systems. RAIRO Theor. Informatics Appl. 52(2-3-4): 127-151 (2018) - [c128]Simon Beier, Markus Holzer:
Properties of Right One-Way Jumping Finite Automata. DCFS 2018: 11-23 - [c127]Markus Holzer, Simon Wolfsteiner:
On the Grammatical Complexity of Finite Languages. DCFS 2018: 151-162 - [c126]Simon Beier, Markus Holzer:
Decidability of Right One-Way Jumping Finite Automata. DLT 2018: 109-120 - [c125]Hermann Gruber, Markus Holzer, Simon Wolfsteiner:
On Minimal Grammar Problems for Finite Languages. DLT 2018: 342-353 - [c124]Markus Holzer, Sebastian Jakobi, Jozef Jirásek Jr.:
Computational Complexity of Decision Problems on Self-verifying Finite Automata. DLT 2018: 404-415 - [c123]Markus Holzer, Jan-Tobias Maurer:
Selection Via the Bogo-Method - More on the Analysis of Perversely Awful Randomized Algorithms. FUN 2018: 23:1-23:21 - [c122]Markus Holzer, Martin Kutrib:
Automata that may change their mind. NCMA 2018: 83-98 - [c121]Michal Hospodár, Markus Holzer:
The Ranges of Accepting State Complexities of Languages Resulting From Some Operations. CIAA 2018: 198-210 - 2017
- [j85]Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe:
Tight Bounds for Cut-Operations on Deterministic Finite Automata. Fundam. Informaticae 155(1-2): 89-110 (2017) - [j84]Markus Holzer, Sebastian Jakobi:
More on Minimizing Finite Automata with Errors - Nondeterministic Machines. Int. J. Found. Comput. Sci. 28(3): 229-246 (2017) - [j83]Holger Bock Axelsen, Markus Holzer, Martin Kutrib:
The Degree of Irreversibility in Deterministic Finite Automata. Int. J. Found. Comput. Sci. 28(5): 503-522 (2017) - [j82]Hermann Gruber, Markus Holzer, Sebastian Jakobi:
More on deterministic and nondeterministic finite cover automata. Theor. Comput. Sci. 679: 18-30 (2017) - [j81]Markus Holzer, Sebastian Jakobi, Martin Kutrib:
The chop of languages. Theor. Comput. Sci. 682: 122-137 (2017) - [c120]Markus Holzer, Martin Kutrib:
Structure and Complexity of Some Subregular Language Families. The Role of Theory in Computer Science 2017: 59-82 - [c119]Markus Holzer, Martin Kutrib:
One-Time Nondeterministic Computations. DCFS 2017: 177-188 - [c118]Simon Beier, Markus Holzer:
On Regular Expression Proof Complexity. DLT 2017: 83-95 - [c117]Simon Beier, Markus Holzer, Martin Kutrib:
Operational State Complexity and Decidability of Jumping Finite Automata. DLT 2017: 96-108 - [c116]Sabine Broda, Markus Holzer, Eva Maia, Nelma Moreira, Rogério Reis:
On the Mother of All Automata: The Position Automaton. DLT 2017: 134-146 - [c115]Markus Holzer, Martin Kutrib, Friedrich Otto:
Two-sided strictly locally testable languages. NCMA 2017: 135-150 - [c114]Markus Holzer, Martin Kutrib:
Reversible Nondeterministic Finite Automata. RC 2017: 35-51 - [c113]Henning Bordihn, Markus Holzer:
On the Number of Active States in Deterministic and Nondeterministic Finite Automata. CIAA 2017: 40-51 - [c112]Simon Beier, Markus Holzer, Martin Kutrib:
On the Descriptional Complexity of Operations on Semilinear Sets. AFL 2017: 41-55 - [c111]Markus Holzer, Martin Kutrib, Andreas Malcher, Matthias Wendlandt:
Input-Driven Double-Head Pushdown Automata. AFL 2017: 128-142 - 2016
- [j80]Markus Holzer, Sebastian Jakobi, Matthias Wendlandt:
On the Computational Complexity of Partial Word Automata Problems. Fundam. Informaticae 148(3-4): 267-289 (2016) - [j79]Markus Holzer, Sebastian Jakobi:
Minimal and Hyper-Minimal Biautomata. Int. J. Found. Comput. Sci. 27(2): 161-186 (2016) - [j78]Markus Holzer, Martin Kutrib, Bianca Truthe:
Editorial. J. Autom. Lang. Comb. 21(1-2): 3-4 (2016) - [j77]Markus Holzer, Martin Kutrib, Bianca Truthe:
Preface. J. Autom. Lang. Comb. 21(1-2): 5-6 (2016) - [j76]Markus Holzer, Sebastian Jakobi:
Boundary sets of regular and context-free languages. Theor. Comput. Sci. 610: 59-77 (2016) - [c110]Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher:
Reversible Shrinking Two-Pushdown Automata. LATA 2016: 579-591 - [c109]Wan Heng Fong, Markus Holzer, Bianca Truthe, Sherzod Turaev, Ahmad Firdaus Yosman:
On bonded sequential and parallel insertion systems. NCMA 2016: 163-178 - [c108]Holger Bock Axelsen, Markus Holzer, Martin Kutrib:
The Degree of Irreversibility in Deterministic Finite Automata. CIAA 2016: 15-26 - 2015
- [j75]Markus Holzer, Sebastian Jakobi:
Minimization and Characterizations for Biautomata. Fundam. Informaticae 136(1-2): 113-137 (2015) - [j74]Markus Holzer, Martin Kutrib:
Preface. Int. J. Found. Comput. Sci. 26(7): 803-804 (2015) - [j73]Hermann Gruber, Markus Holzer:
From Finite Automata to Regular Expressions and Back - A Summary on Descriptional Complexity. Int. J. Found. Comput. Sci. 26(8): 1009-1040 (2015) - [j72]Henning Fernau, Rudolf Freund, Markus Holzer:
The Finite Index Restriction Meets Hybrid Modes in Cooperating Distributed Grammar Systems. Int. J. Found. Comput. Sci. 26(8): 1167-1188 (2015) - [c107]Markus Holzer, Sebastian Jakobi:
On the Computational Complexity of Problems Related to Distinguishability Sets. DCFS 2015: 117-128 - [c106]Markus Holzer, Sebastian Jakobi, Martin Kutrib:
Minimal Reversible Deterministic Finite Automata. DLT 2015: 276-287 - [c105]Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe:
Tight Bounds for Cut-Operations on Deterministic Finite Automata. MCU 2015: 45-60 - [c104]Markus Holzer, Bianca Truthe:
On relations between some subregular language families. NCMA 2015: 109-124 - [c103]Hermann Gruber, Markus Holzer, Sebastian Jakobi:
More on Deterministic and Nondeterministic Finite Cover Automata - Extended Abstract. CIAA 2015: 114-126 - [e7]Rudolf Freund, Markus Holzer, Nelma Moreira, Rogério Reis:
Seventh Workshop on Non-Classical Models of Automata and Applications - NCMA 2015, Porto, Portugal, August 31 - September 1, 2015. Proceedings. books@ocg.at 318, Österreichische Computer Gesellschaft 2015, ISBN 978-3-903035-07-2 [contents] - 2014
- [j71]Markus Holzer, Sebastian Jakobi:
Nondeterministic Biautomata and their Descriptional Complexity. Int. J. Found. Comput. Sci. 25(7): 837-856 (2014) - [j70]Markus Holzer, Bianca Truthe:
Preface. RAIRO Theor. Informatics Appl. 48(1): 1-2 (2014) - [j69]Markus Holzer, Martin Kutrib:
Self-Assembling Pushdown Automata. J. Autom. Lang. Comb. 19(1-4): 107-118 (2014) - [c102]Markus Holzer, Sebastian Jakobi:
Boundary Sets of Regular and Context-Free Languages. DCFS 2014: 162-173 - [c101]Markus Holzer, Sebastian Jakobi:
Minimal and Hyper-Minimal Biautomata - (Extended Abstract). Developments in Language Theory 2014: 291-302 - [c100]Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard:
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy. LATA 2014: 372-383 - [c99]Markus Holzer, Sebastian Jakobi, Matthias Wendlandt:
On the computational complexity of partial word automata problems. NCMA 2014: 131-146 - [c98]Hermann Gruber, Markus Holzer:
From Finite Automata to Regular Expressions and Back-A Summary on Descriptional Complexity. AFL 2014: 25-48 - [c97]Henning Fernau, Rudolf Freund, Markus Holzer:
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes. AFL 2014: 246-260 - [c96]Markus Holzer, Sebastian Jakobi:
More Structural Characterizations of Some Subregular Language Families by Biautomata. AFL 2014: 271-285 - [e6]Markus Holzer, Martin Kutrib:
Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings. Lecture Notes in Computer Science 8587, Springer 2014, ISBN 978-3-319-08845-7 [contents] - 2013
- [j68]Markus Holzer, Sebastian Jakobi:
From Equivalence to Almost-Equivalence, and beyond: Minimizing Automata with Errors. Int. J. Found. Comput. Sci. 24(7): 1083-1098 (2013) - [j67]Hermann Gruber, Markus Holzer:
Provably Shorter Regular Expressions from Finite Automata. Int. J. Found. Comput. Sci. 24(8): 1255-1280 (2013) - [c95]Markus Holzer, Sebastian Jakobi:
Nondeterministic Biautomata and Their Descriptional Complexity. DCFS 2013: 112-123 - [c94]Markus Holzer, Sebastian Jakobi:
Minimization and characterizations for biautomata. NCMA 2013: 179-193 - [c93]Markus Holzer, Sebastian Jakobi:
Brzozowski's Minimization Algorithm - More Robust than Expected - (Extended Abstract). CIAA 2013: 181-192 - 2012
- [j66]Markus Holzer, Sebastian Jakobi, Martin Kutrib:
The Magic Number Problem for Subregular Language Families. Int. J. Found. Comput. Sci. 23(1): 115-131 (2012) - [j65]Rudolf Freund, Markus Holzer, Carlo Mereghetti, Friedrich Otto, Beatrice Palano:
Special Issue: Non-Classical Models of Automata and Applications III (NCMA-2011). RAIRO Theor. Informatics Appl. 46(4): 459-460 (2012) - [j64]Maria Paola Bianchi, Markus Holzer, Sebastian Jakobi, Carlo Mereghetti, Beatrice Palano, Giovanni Pighizzini:
On Inverse Operations and Their Descriptional Complexity. J. Autom. Lang. Comb. 17(2-4): 61-81 (2012) - [j63]Markus Holzer, Sebastian Jakobi:
Descriptional Complexity of Chop Operations on Unary and Finite Languages. J. Autom. Lang. Comb. 17(2-4): 165-183 (2012) - [j62]Markus Holzer, Martin Kutrib, Giovanni Pighizzini:
Preface. Theor. Comput. Sci. 449: 1 (2012) - [j61]Markus Holzer, Martin Kutrib, Katja Meckel:
Nondeterministic state complexity of star-free languages. Theor. Comput. Sci. 450: 68-80 (2012) - [c92]Markus Holzer:
A Note on Combined Derivation Modes for Cooperating Distributed Grammar Systems. Languages Alive 2012: 86-98 - [c91]Maria Paola Bianchi, Markus Holzer, Sebastian Jakobi, Giovanni Pighizzini:
On Inverse Operations and Their Descriptional Complexity. DCFS 2012: 89-102 - [c90]Markus Holzer, Sebastian Jakobi:
State Complexity of Chop Operations on Unary and Finite Languages. DCFS 2012: 169-182 - [c89]Markus Holzer, Sebastian Jakobi, Ian McQuillan:
Generalized Derivations with Synchronized Context-Free Grammars. Developments in Language Theory 2012: 109-120 - [c88]Markus Holzer, Sebastian Jakobi:
From Equivalence to Almost-Equivalence, and Beyond - Minimizing Automata with Errors - (Extended Abstract). Developments in Language Theory 2012: 190-201 - [c87]Jakob Engel, Markus Holzer, Oliver Ruepp, Frank Sehnke:
On Computer Integrated Rationalized Crossword Puzzle Manufacturing. FUN 2012: 131-141 - [c86]Markus Holzer, Sebastian Jakobi:
On the Complexity of Rolling Block and Alice Mazes. FUN 2012: 210-222 - [c85]Markus Holzer, Sebastian Jakobi:
Grid Graphs with Diagonal Edges and the Complexity of Xmas Mazes. FUN 2012: 223-234 - [c84]Suna Bensch, Markus Holzer, Martin Kutrib, Andreas Malcher:
Input-Driven Stack Automata. IFIP TCS 2012: 28-42 - [e5]Rudolf Freund, Markus Holzer, Bianca Truthe, Ulrich Ultes-Nitsche:
Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings. books@ocg.at 290, Österreichische Computer Gesellschaft 2012, ISBN 978-3-85403-290-8 [contents] - 2011
- [j60]Markus Holzer, Andreas Klein, Martin Kutrib, Oliver Ruepp:
Computational Complexity of NURIKABE. Fundam. Informaticae 110(1-4): 159-174 (2011) - [j59]Henning Bordihn, Rudolf Freund, Mika Hirvensalo, Markus Holzer, Martin Kutrib, Friedrich Otto:
Preface. Fundam. Informaticae 112(2-3) (2011) - [j58]Henning Bordihn, Markus Holzer, Martin Kutrib:
Decidability of operation problems for T0L languages and subclasses. Inf. Comput. 209(3): 344-352 (2011) - [j57]Markus Holzer, Martin Kutrib:
Descriptional and computational complexity of finite automata - A survey. Inf. Comput. 209(3): 456-470 (2011) - [j56]Markus Holzer, Martin Kutrib:
The Complexity of Regular(-like) Expressions. Int. J. Found. Comput. Sci. 22(7): 1533-1548 (2011) - [j55]Henning Bordihn, Markus Holzer, Martin Kutrib:
Hairpin Finite Automata. J. Autom. Lang. Comb. 16(2-4): 91-107 (2011) - [j54]Markus Holzer, Martin Kutrib, Andreas Malcher:
Complexity of multi-head finite automata: Origins and directions. Theor. Comput. Sci. 412(1-2): 83-96 (2011) - [j53]Felix Brandt, Felix A. Fischer, Markus Holzer:
Equilibria of graphical games with symmetries. Theor. Comput. Sci. 412(8-10): 675-685 (2011) - [j52]Martin Beaudry, Markus Holzer:
On the size of inverse semigroups given by generators. Theor. Comput. Sci. 412(8-10): 765-772 (2011) - [c83]Markus Holzer, Sebastian Jakobi, Martin Kutrib:
The Chop of Languages. AFL 2011: 197-210 - [c82]Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Markus Holzer, György Vaszil:
Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence. Computation, Cooperation, and Life 2011: 70-89 - [c81]Markus Holzer, Sebastian Jakobi:
Chop Operations and Expressions: Descriptional Complexity Considerations. Developments in Language Theory 2011: 264-275 - [c80]Markus Holzer, Martin Kutrib, Ursula Leiter:
Nodes Connected by Path Languages. Developments in Language Theory 2011: 276-287 - [c79]Markus Holzer, Martin Kutrib:
Gaining Power by Input Operations: Finite Automata and Beyond. CIAA 2011: 16-29 - [c78]Markus Holzer, Martin Kutrib, Katja Meckel:
Nondeterministic State Complexity of Star-Free Languages. CIAA 2011: 178-189 - [e4]Markus Holzer, Martin Kutrib, Giovanni Pighizzini:
Descriptional Complexity of Formal Systems - 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings. Lecture Notes in Computer Science 6808, Springer 2011, ISBN 978-3-642-22599-4 [contents] - [e3]Rudolf Freund, Markus Holzer, Carlo Mereghetti, Friedrich Otto, Beatrice Palano:
Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011, Milan, Italy, July 18 - July 19, 2011. Proceedings. books@ocg.at 282, Austrian Computer Society 2011, ISBN 978-3-85403-282-3 [contents] - 2010
- [j51]Henning Bordihn, Jürgen Dassow, Markus Holzer:
Extending regular expressions with homomorphic replacement. RAIRO Theor. Informatics Appl. 44(2): 229-255 (2010) - [j50]Hermann Gruber, Markus Holzer, Martin Kutrib:
On Measuring Non-recursive Trade-Offs. J. Autom. Lang. Comb. 15(1/2): 107-120 (2010) - [j49]Markus Holzer, Andreas Maletti:
An nlogn algorithm for hyper-minimizing a (minimized) deterministic automaton. Theor. Comput. Sci. 411(38-39): 3404-3413 (2010) - [c77]Markus Holzer, Martin Kutrib:
The Complexity of Regular(-Like) Expressions. Developments in Language Theory 2010: 16-30 - [c76]Markus Holzer, Pierre McKenzie:
The Computational Complexity of RaceTrack. FUN 2010: 260-271 - [c75]Oliver Ruepp, Markus Holzer:
The Computational Complexity of the Kakuro Puzzle, Revisited. FUN 2010: 319-330 - [c74]Markus Holzer, Martin Kutrib:
Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction. Int. Conf. on Membrane Computing 2010: 19-36 - [c73]Markus Holzer, Martin Kutrib:
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata. RP 2010: 1-23 - [c72]Felix Brandt, Felix A. Fischer, Markus Holzer:
On Iterated Dominance, Matrix Elimination, and Matched Paths. STACS 2010: 107-118 - [c71]Markus Holzer, Sebastian Jakobi, Martin Kutrib:
The Magic Number Problem for Subregular Language Families. DCFS 2010: 110-119 - [p1]Markus Holzer, Martin Kutrib:
Descriptional Complexity - An Introductory Survey. Scientific Applications of Language Methods 2010: 1-58 - [e2]Henning Bordihn, Rudolf Freund, Markus Holzer, Thomas Hinze, Martin Kutrib, Friedrich Otto:
Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings. books@ocg.at 263, Austrian Computer Society 2010, ISBN 978-3-85403-263-2 [contents] - [i8]Felix Brandt, Felix A. Fischer, Markus Holzer:
On Iterated Dominance, Matrix Elimination, and Matched Paths. CoRR abs/1001.0529 (2010)
2000 – 2009
- 2009
- [j48]Hermann Gruber, Markus Holzer, Martin Kutrib:
More on the Size of Higman-Haines Sets: Effective Constructions. Fundam. Informaticae 91(1): 105-121 (2009) - [j47]Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib:
On input-revolving deterministic and nondeterministic finite automata. Inf. Comput. 207(11): 1140-1155 (2009) - [j46]Markus Holzer, Martin Kutrib:
Nondeterministic Finite Automata - Recent Results on the Descriptional and Computational Complexity. Int. J. Found. Comput. Sci. 20(4): 563-580 (2009) - [j45]Felix Brandt, Felix A. Fischer, Markus Holzer:
Symmetries and the complexity of pure Nash equilibrium. J. Comput. Syst. Sci. 75(3): 163-177 (2009) - [j44]Henning Bordihn, Markus Holzer, Martin Kutrib:
Determination of finite automata accepting subregular languages. Theor. Comput. Sci. 410(35): 3209-3222 (2009) - [j43]Hermann Gruber, Markus Holzer:
Language operations with regular expressions of polynomial size. Theor. Comput. Sci. 410(35): 3281-3289 (2009) - [j42]Franziska Biegler, Mark Daley, Markus Holzer, Ian McQuillan:
On the uniqueness of shuffle on words and finite languages. Theor. Comput. Sci. 410(38-40): 3711-3724 (2009) - [c70]Hermann Gruber, Markus Holzer:
Tight Bounds on the Descriptional Complexity of Regular Expressions. Developments in Language Theory 2009: 276-287 - [c69]Markus Holzer, Martin Kutrib:
Descriptional and Computational Complexity of Finite Automata. LATA 2009: 23-42 - [c68]Henning Bordihn, Markus Holzer, Martin Kutrib:
Undecidability of Operation Problems for T0L Languages and Subclasses. LATA 2009: 236-246 - [c67]Markus Holzer, Andreas Maletti: