| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Markus Holzer, Sebastian Jakobi, Martin Kutrib |
The Magic Number Problem for Subregular Language Families.  |
Int. J. Found. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Beaudry, Markus Holzer |
On the size of inverse semigroups given by generators. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Markus Holzer |
Equilibria of graphical games with symmetries. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib, Andreas Malcher |
Complexity of multi-head finite automata: Origins and directions. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
The Complexity of Regular(-like) Expressions. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Descriptional and computational complexity of finite automata - A survey. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Decidability of operation problems for T0L languages and subclasses. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Rudolf Freund, Mika Hirvensalo, Markus Holzer, Martin Kutrib, Friedrich Otto |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Andreas Klein, Martin Kutrib, Oliver Ruepp |
Computational Complexity of NURIKABE. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Sebastian Jakobi |
Chop Operations and Expressions: Descriptional Complexity Considerations. |
Developments in Language Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib, Ursula Leiter |
Nodes Connected by Path Languages. |
Developments in Language Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Haas, Rene Donner, Andreas Burner, Markus Holzer, Georg Langs |
Superpixel-Based Interest Points for Effective Bags of Visual Words Medical Image Retrieval. |
MCBR-CDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | René Donner, Sebastian Haas, Andreas Burner, Markus Holzer, Horst Bischof, Georg Langs |
Evaluation of Fast 2D and 3D Medical Image Retrieval Approaches Based on Image Miniatures. |
MCBR-CDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Burner, Rene Donner, Marius Mayerhoefer, Markus Holzer, Franz Kainberger, Georg Langs |
Texture Bags: Anomaly Retrieval in Medical Images Based on Local 3D-Texture Similarity. |
MCBR-CDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Freund, Markus Holzer, Carlo Mereghetti, Friedrich Otto, Beatrice Palano (eds.) |
Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011, Milan, Italy, July 18 - July 19, 2011. Proceedings |
NCMA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Sebastian Jakobi, Martin Kutrib |
The Chop of Languages. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib, Giovanni Pighizzini (eds.) |
Descriptional Complexity of Formal Systems - 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings |
DCFS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Gaining Power by Input Operations: Finite Automata and Beyond. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib, Katja Meckel |
Nondeterministic State Complexity of Star-Free Languages. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Andreas Maletti |
An nlogn algorithm for hyper-minimizing a (minimized) deterministic automaton. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Jürgen Dassow, Markus Holzer |
Extending regular expressions with homomorphic replacement. |
RAIRO - Theor. Inf. and Applic. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Sebastian Jakobi, Martin Kutrib |
The Magic Number Problem for Subregular Language Families |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Markus Holzer |
On Iterated Dominance, Matrix Elimination, and Matched Paths |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Markus Holzer |
On Iterated Dominance, Matrix Elimination, and Matched Paths. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata. |
RP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
The Complexity of Regular(-Like) Expressions. |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Pierre McKenzie |
The Computational Complexity of RaceTrack. |
FUN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Ruepp, Markus Holzer |
The Computational Complexity of the Kakuro Puzzle, Revisited. |
FUN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Rudolf Freund, Markus Holzer, Thomas Hinze, Martin Kutrib, Friedrich Otto (eds.) |
Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings |
NCMA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Frank Schumacher, Thomas Greiner, Wolfgang Rosenstiel |
Shape independent VLSI-architecture design approach for 2D morphological operations with non-flat structuring elements. |
ICECS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction. |
Int. Conf. on Membrane Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Ruben Bartholomä, Thomas Greiner, Wolfgang Rosenstiel |
Orthogonal shift level comparison reuse for structuring element shape independent VLSI-Architectures of 2D morphological operations. |
SoCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Determination of finite automata accepting subregular languages. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Language operations with regular expressions of polynomial size. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franziska Biegler, Mark Daley, Markus Holzer, Ian McQuillan |
On the uniqueness of shuffle on words and finite languages. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Nondeterministic Finite Automata - Recent Results on the Descriptional and Computational Complexity. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib |
On input-revolving deterministic and nondeterministic finite automata. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer, Martin Kutrib |
More on the Size of Higman-Haines Sets: Effective Constructions. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer, Martin Kutrib |
On Measuring Non-Recursive Trade-Offs |
DCFS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Markus Holzer |
Symmetries and the complexity of pure Nash equilibrium. |
J. Comput. Syst. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Undecidability of Operation Problems for T0L Languages and Subclasses. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Descriptional and Computational Complexity of Finite Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Tight Bounds on the Descriptional Complexity of Regular Expressions. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Rudolf Freund, Markus Holzer, Martin Kutrib, Friedrich Otto (eds.) |
Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31 - September 1, 2009. Proceedings |
NCMA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer, Michael Tautschnig |
Short Regular Expressions from Finite Automata: Empirical Results. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Andreas Maletti |
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
A note on cooperating distributed grammar systems working in combined modes. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Markus Holzer |
On Iterated Dominance, Matrix Elimination, and Matched Paths. |
Electronic Colloquium on Computational Complexity (ECCC) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib, Andreas Malcher |
Multi-Head Finite Automata: Characterizations, Concepts and Open Problems |
CSP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib |
Deterministic Input-Reversal and Input-Revolving Finite Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Markus Holzer |
Equilibria of Graphical Games with Symmetries. |
WINE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Finite Automata, Digraph Connectivity, and Regular Expression Size. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Provably Shorter Regular Expressions from Deterministic Finite Automata. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Language Operations with Regular Expressions of Polynomial Size. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
State Complexity of NFA to DFA Conversion of Subregular Language Families. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Markus Holzer |
Equilibria of Graphical Games with Symmetries. |
Electronic Colloquium on Computational Complexity (ECCC) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer, Martin Kutrib |
The size of Higman-Haines sets. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
On the average state and transition complexity of finite languages. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, György Vaszil, Markus Holzer |
On Competence in CD Grammar Systems with Parallel Rewriting. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Hybrid Extended Finite Automata. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
Cooperating Distributed Grammar Systems as Models of Distributed Problem Solving, Revisited. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Beaudry, Markus Holzer |
The Complexity of Tensor Circuit Evaluation. |
Computational Complexity |
2007 |
DBLP DOI BibTeX RDF |
Subject classification. 15A69, 68Q70, 68Q17, 68Q15, 68Q05 |
| 1 | Markus Holzer, Martin Kutrib, Jens Reimann |
Non-Recursive Trade-Offs for Deterministic Restarting Automata. |
Journal of Automata, Languages and Combinatorics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Computational Complexity of NFA Minimization for Finite and Unary Languages. |
LATA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Markus Holzer |
Symmetries and the Complexity of Pure Nash Equilibrium. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer, Martin Kutrib |
More on the Size of Higman-Haines Sets: Effective Constructions. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Hairpin Finite Automata. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Inapproximability of Nondeterministic State and Transition Complexity Assuming P=!NP. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer, Oliver Ruepp |
Sorting the Slow Way: An Analysis of Perversely Awful Randomized Sorting Algorithms. |
FUN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Oliver Ruepp |
The Troubles of Interior Design-A Complexity Analysis of the Game Heyawake. |
FUN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix A. Fischer, Markus Holzer, Stefan Katzenbeisser |
The influence of neighbourhood and choice on the complexity of finding pure Nash equilibria. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Finding Lower Bounds for Nondeterministic State Complexity is Hard. |
Electronic Colloquium on Computational Complexity (ECCC) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Markus Holzer |
Symmetries and the Complexity of Pure Nash Equilibrium. |
Electronic Colloquium on Computational Complexity (ECCC) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide |
Iterated sequential transducers as language generating devices. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
Programmed grammars and their relation to the LBA problem. |
Acta Inf. |
2006 |
DBLP DOI BibTeX RDF |
Programmed grammars, Accepting grammars, LBA problem, Degree of non-regulation, Leftmost derivations |
| 1 | Markus Holzer, Martin Kutrib |
Variable Complexity of Simple Programs. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Jürgen Dassow, Markus Holzer |
CD grammar systems with competence based entry conditions in their cooperation protocols. |
Int. J. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Finding Lower Bounds for Nondeterministic State Complexity Is Hard. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer |
Results on the Average State and Transition Complexity of Finite Automata Accepting Finite Languages (Extended Abstract). |
DCFS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
The Size of Higman-Haines Sets. |
DCFS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Hybrid Extended Finite Automata. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Beaudry, José M. Fernandez, Markus Holzer |
A common algebraic description for probabilistic and quantum computations, . |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
On the descriptional complexity of finite automata with modified acceptance conditions. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Unsolvability levels of operation problems for subclasses of context-free languages. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Markus Holzer |
Language families defined by a ciliate bio-operation: hierarchies and decision problems. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Rudolf Freund, Markus Holzer |
Representations of Recursively Enumerable Array Languages by Contextual Array Grammars. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Friedrich Otto |
Shrinking Multi-pushdown Automata. |
FCT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Revolving-Input Finite Automata. |
Developments in Language Theory |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König |
On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization. |
Developments in Language Theory |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib, Jens Reimann |
Descriptional Complexity of Deterministic Restarting Automata. |
DCFS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Barbara König |
On deterministic finite automata and syntactic monoid size. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Stefan Schwoon |
Assembling molecules in ATOMIX is hard. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Economy of Description for Basic Constructions on Rational Transductions. |
Journal of Automata, Languages and Combinatorics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Barbara König |
Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other (Column: Formal Language Theory). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Waltraud Holzer |
TantrixTM rotation puzzles are intractable. |
Discrete Applied Mathematics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Beaudry, José M. Fernandez, Markus Holzer |
A Common Algebraic Description for Probabilistic and Quantum Computations (Extended Abstract). |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Register Complexity of LOOP-, WHILE-, and GOTO-Programs. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")