Martin Kutrib
Orcid: 0000-0002-9564-2625Affiliations:
- University of Giessen, Germany
According to our database1,
Martin Kutrib
authored at least 263 papers
between 1991 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2025
Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications, July, 2025
Proceedings of the Implementation and Application of Automata, 2025
Proceedings of the Developments in Language Theory - 29th International Conference, 2025
Proceedings of the Descriptional Complexity of Formal Systems, 2025
Proceedings of the Languages of Cooperation and Communication, 2025
Proceedings of the Advances in Cellular Automata - Volume 1: Theory, 2025
2024
RAIRO Theor. Informatics Appl., 2024
Proceedings of the Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), 2024
On Properties of Languages Accepted by Deterministic Pushdown Automata with Translucent Input Letters.
Proceedings of the Implementation and Application of Automata, 2024
Proceedings of the Developments in Language Theory - 28th International Conference, 2024
Proceedings of the Developments in Language Theory - 28th International Conference, 2024
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024
2023
Proceedings of the 16th International Conference on Automata and Formal Languages, 2023
Proceedings of the Implementation and Application of Automata, 2023
Proceedings of the Developments in Language Theory - 27th International Conference, 2023
Proceedings of the Descriptional Complexity of Formal Systems, 2023
2022
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers.
Fundam. Informaticae, 2022
Proceedings of the Implementation and Application of Automata, 2022
Proceedings of the Implementation and Application of Automata, 2022
Proceedings of the Reversible Computation - 14th International Conference, 2022
Proceedings of the Descriptional Complexity of Formal Systems, 2022
2021
Proceedings of the Advancing Research in Information and Communication Technology, 2021
Proceedings of the Implementation and Application of Automata, 2021
Proceedings of the Unconventional Computation and Natural Computation, 2021
Proceedings of the SOFSEM 2021: Theory and Practice of Computer Science, 2021
Proceedings of the Reversible Computation - 13th International Conference, 2021
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021
Proceedings of the Developments in Language Theory - 25th International Conference, 2021
Proceedings of the Descriptional Complexity of Formal Systems, 2021
Proceedings of the Handbook of Automata Theory., 2021
2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
Int. J. Found. Comput. Sci., 2020
Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020
Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion.
Proceedings of the Descriptional Complexity of Formal Systems, 2020
Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power.
Proceedings of the Beyond the Horizon of Computability, 2020
Proceedings of the Cellular Automata and Discrete Complex Systems, 2020
Proceedings of the Cellular Automata, 2020
2019
Proceedings of the Implementation and Application of Automata, 2019
Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019
Digging input-driven pushdown automata.
Proceedings of the Eleventh Workshop on Non-Classical Models of Automata and Applications, 2019
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
Proceedings of the Descriptional Complexity of Formal Systems, 2019
Proceedings of the Computing with Foresight and Industry, 2019
Proceedings of the Cellular Automata and Discrete Complex Systems, 2019
Proceedings of the Cellular Automata and Discrete Complex Systems, 2019
2018
Proceedings of the Implementation and Application of Automata, 2018
Proceedings of the Implementation and Application of Automata, 2018
Two-sided locally testable languages.
Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, 2018
Automata that may change their mind.
Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, 2018
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018
Proceedings of the Descriptional Complexity of Formal Systems, 2018
Proceedings of the Reversibility and Universality, 2018
Proceedings of the Reversibility and Universality, 2018
2017
Proceedings of the Proceedings 15th International Conference on Automata and Formal Languages, 2017
Proceedings of the Implementation and Application of Automata, 2017
Proceedings of the Reversible Computation - 9th International Conference, 2017
Self-verifying pushdown automata.
Proceedings of the Ninth Workshop on Non-Classical Models of Automata and Applications, 2017
Two-sided strictly locally testable languages.
Proceedings of the Ninth Workshop on Non-Classical Models of Automata and Applications, 2017
Proceedings of the Developments in Language Theory - 21st International Conference, 2017
Proceedings of the Descriptional Complexity of Formal Systems, 2017
Proceedings of the Role of Theory in Computer Science, 2017
Proceedings of the Cellular Automata and Discrete Complex Systems, 2017
2016
RAIRO Theor. Informatics Appl., 2016
Proceedings of the Implementation and Application of Automata, 2016
Proceedings of the Implementation and Application of Automata, 2016
Proceedings of the Reversible Computation - 8th International Conference, 2016
Expressive capacity of subregular expressions.
Proceedings of the Eighth Workshop on Non-Classical Models of Automata and Applications, 2016
Diving into the queue.
Proceedings of the Eighth Workshop on Non-Classical Models of Automata and Applications, 2016
Proceedings of the Language and Automata Theory and Applications, 2016
Proceedings of the Language and Automata Theory and Applications, 2016
Proceedings of the Descriptional Complexity of Formal Systems, 2016
2015
Deterministic input-driven queue automata: Finite turns, decidability, and closure properties.
Theor. Comput. Sci., 2015
Returning Parallel Communicating Finite Automata with Communication Bounds: Hierarchies, Decidabilities, and Undecidabilities.
Int. J. Found. Comput. Sci., 2015
Fundam. Informaticae, 2015
Proceedings of the Implementation and Application of Automata, 2015
Proceedings of the Reversible Computation - 7th International Conference, 2015
When input-driven pushdown automata meet reversibility.
Proceedings of the Seventh Workshop on Non-Classical Models of Automata and Applications - NCMA 2015, Porto, Portugal, August 31, 2015
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015
Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015
Proceedings of the Developments in Language Theory - 19th International Conference, 2015
Proceedings of the Descriptional Complexity of Formal Systems, 2015
Proceedings of the Cellular Automata and Discrete Complex Systems, 2015
2014
Int. J. Found. Comput. Sci., 2014
Int. J. Found. Comput. Sci., 2014
Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014
Acta Informatica, 2014
Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014
Proceedings of the Reversible Computation - 6th International Conference, 2014
Reversible queue automata.
Proceedings of the Sixth Workshop on Non-Classical Models for Automata and Applications, 2014
Proceedings of the Language and Automata Theory and Applications, 2014
Proceedings of the Developments in Language Theory - 18th International Conference, 2014
Proceedings of the Developments in Language Theory - 18th International Conference, 2014
Proceedings of the Descriptional Complexity of Formal Systems, 2014
Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014
Proceedings of the Computing with New Resources, 2014
Proceedings of the Cellular Automata and Discrete Complex Systems, 2014
Proceedings of the Cellular Automata and Discrete Complex Systems, 2014
2013
Int. J. Found. Comput. Sci., 2013
Proceedings of the Implementation and Application of Automata, 2013
Proceedings of the Reversible Computation - 5th International Conference, 2013
Deterministic one-way Turing machines with sublinear space bounds.
Proceedings of the Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umeå, Sweden, August 13, 2013
Proceedings of the Developments in Language Theory - 17th International Conference, 2013
Proceedings of the Descriptional Complexity of Formal Systems, 2013
2012
Int. J. Found. Comput. Sci., 2012
Proceedings of the Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, 2012
On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata.
Proceedings of the Implementation and Application of Automata, 2012
Proceedings of the Reversible Computation, 4th International Workshop, 2012
Bidirectional String Assembling Systems.
Proceedings of the Fourth Workshop on Non-Classical Models for Automata and Applications, 2012
Proceedings of the LATIN 2012: Theoretical Informatics, 2012
Proceedings of the Developments in Language Theory - 16th International Conference, 2012
Proceedings of the Languages Alive, 2012
Proceedings of the Cellular Automata, 2012
2011
Theor. Comput. Sci., 2011
Selected Papers Dedicated to Friedrich Otto on the Occasion of his 60th Birthday - Editorial.
J. Autom. Lang. Comb., 2011
Inf. Comput., 2011
Inf. Comput., 2011
Proceedings of the Implementation and Application of Automata, 2011
Proceedings of the Implementation and Application of Automata, 2011
String Assembling Systems.
Proceedings of the Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011, Milan, Italy, July 18, 2011
Proceedings of the Developments in Language Theory - 15th International Conference, 2011
Proceedings of the Models of Computation in Context, 2011
The Chop of Languages.
Proceedings of the Automata and Formal Languages, 13th International Conference, 2011
2010
J. Autom. Lang. Comb., 2010
Proceedings of the Implementation and Application of Automata, 2010
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata.
Proceedings of the Reachability Problems, 4th International Workshop, 2010
Proceedings of the Membrane Computing, 2010
Proceedings of the Language and Automata Theory and Applications, 2010
Proceedings of the Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010
Proceedings of the Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010
Proceedings of the Developments in Language Theory, 14th International Conference, 2010
Proceedings of the Developments in Language Theory, 14th International Conference, 2010
Descriptional Complexity - An Introductory Survey.
Proceedings of the Scientific Applications of Language Methods., 2010
2009
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009
Theor. Comput. Sci., 2009
Parallel Process. Lett., 2009
Inf. Comput., 2009
Proceedings of the 15th International Workshop on Cellular Automata and Discrete Complex Systems, 2009
Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009
Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009
Proceedings of the Implementation and Application of Automata, 2009
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
Proceedings of the Language and Automata Theory and Applications, 2009
Proceedings of the Language and Automata Theory and Applications, 2009
2008
Proceedings of the New Developments in Formal Languages and Applications, 2008
J. Cell. Autom., 2008
Proceedings of the Proceedings International Workshop on The Complexity of Simple Programs, 2008
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity.
Proceedings of the Implementation and Applications of Automata, 2008
Proceedings of the Language and Automata Theory and Applications, 2008
Proceedings of the Developments in Language Theory, 12th International Conference, 2008
State Complexity of NFA to DFA Conversion of Subregular Language Families.
Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems, 2008
Real-time reversible language recognition by cellular automata.
Proceedings of the Automata 2008: Theory and Applications of Cellular Automata, 2008
On Stateless Two-Pushdown Automata and Restarting Automata.
Proceedings of the Automata and Formal Languages, 12th International Conference, 2008
2007
J. Autom. Lang. Comb., 2007
Discret. Appl. Math., 2007
Proceedings of the Implementation and Application of Automata, 2007
Proceedings of the Machines, Computations, and Universality, 5th International Conference, 2007
Succinct Description of Regular Languages by Weak Restarting Automata.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007
Fast Reversible Language Recognition Using Cellular Automata.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007
Proceedings of the Developments in Language Theory, 11th International Conference, 2007
Optimal Simulations of Weak Restarting Automata.
Proceedings of the 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20, 2007
2006
Proceedings of the Implementation and Application of Automata, 2006
Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability.
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006
Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity.
Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006
Proceedings of the Developments in Language Theory, 10th International Conference, 2006
The Size of Higman-Haines Sets.
Proceedings of the 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21, 2006
2005
On the descriptional complexity of finite automata with modified acceptance conditions.
Theor. Comput. Sci., 2005
Int. J. Found. Comput. Sci., 2005
Proceedings of the Developments in Language Theory, 9th International Conference, 2005
Descriptional Complexity of Deterministic Restarting Automata.
Proceedings of the 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30, 2005
2004
J. Autom. Lang. Comb., 2004
Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages.
Proceedings of the Implementation and Application of Automata, 2004
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004
Proceedings of the Developments in Language Theory, 2004
Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages.
Proceedings of the Developments in Language Theory, 2004
The Phenomenon of Non-Recursive Trade-Offs.
Proceedings of the 6th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2004, London, Ontario, Canada, July 26, 2004
2003
Int. J. Found. Comput. Sci., 2003
Fundam. Informaticae, 2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003
Proceedings of the Developments in Language Theory, 7th International Conference, 2003
On the Descriptional Power of Heads, Counters, and Pebbles.
Proceedings of the 5th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2003, Budapest, Hungary, July 12, 2003
2002
Future Gener. Comput. Syst., 2002
Proceedings of the Implementation and Application of Automata, 2002
Proceedings of the SOFSEM 2002: Theory and Practice of Informatics, 2002
Proceedings of the Developments in Language Theory, 6th International Conference, 2002
Economy of Descriptions for Basic Constructions on Rational Transductions.
Proceedings of the Fourth International Workshop on Descriptional Complexity of Formal Systems - DCFS 2002, London, Canada, August 21, 2002
Proceedings of the Computing and Combinatorics, 8th Annual International Conference, 2002
2001
Proceedings of the Implementation and Application of Automata, 2001
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001
Proceedings of the Machines, 2001
Refining Nondeterminism below Linear-Time.
Proceedings of the Third International Workshop on Descriptional Complexity of Automata, Grammars and Related Structures - DCAGRS 2001, Vienna, Austria, July 20, 2001
Automata arrays and context-free languages.
Proceedings of the Where Mathematics, 2001
2000
Electron. Colloquium Comput. Complex., 2000
Proceedings of the SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25, 2000
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000
Proceedings of the Theoretical Computer Science, 2000
Iterative Arrays With Limited Nondeterministic Communication Cell.
Proceedings of the International Colloquium on Words, 2000
Fault Tolerant Parallel Pattern Recognition.
Proceedings of the Theoretical and Practical Issues on Cellular Automata, 2000
1999
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999
Proceedings of the Developments in Language Theory, 1999
1998
Acta Informatica, 1998
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998
1997
On the power of one-way bounded cellular time computers.
Proceedings of the 3rd International Conference Developments in Language Theory, 1997
1996
On Relations between Arrays of Processing Elements of Different Dimensionality.
Proceedings of the Parcella 1996, 1996
1995
IEICE Trans. Inf. Syst., 1995
Real-Time One-Way Pushdown Cellular Automata Languages.
Proceedings of the Developments in Language Theory II, 1995
1994
Investigation of Different Input Modes for Cellular Automata.
Proceedings of the Parcella 1994, 1994
1993
1991
Minimal Time Synchronization in Restricted Defective Cellular Automata.
J. Inf. Process. Cybern., 1991