Professional Activities

Member of the IFIP Working Group 1.2 on "Descriptional Complexity"

10/2017 - 9/2023 Chair of the IFIP Working Group 1.2 on "Descriptional Complexity"

Member of the IFIP Working Group 1.5 on "Cellular Automata and Discrete Complex Systems"

Member of the Steering Committee of Descriptional Complexity of Formal Systems (DCFS)

10/2017 - 9/2023 Chair of the Steering Committee of Descriptional Complexity of Formal Systems (DCFS)

Member of the Steering Committee of International Conference on Developments in Language Theory (DLT 2018)

Member of the Steering Committee of Non-Classical Models of Automata and Applications (NCMA)

Editor-in-Chief of Journal of Automata, Languages and Combinatorics

Member of the Editorial Board of International Journal of Foundations of Computer Science

Member of the Editorial Board of Journal of Cellular Automata

Honorary Editor of International Journal of Unconventional Computing

Editor of Reversible Computation, LNCS 13960, Springer 2023

Guest Editor of the special issue International Journal of Foundations of Computer Science 32(4), 2021

Guest Editor of the special issue Natural Computing 19(4), 2020

Editor of Cellular Automata and Discrete Complex Systems, LNCS 10875, Springer 2018

Guest Editor of the special issue Journal of Automata, Languages and Combinatorics 21(1-2), 2016

Guest Editor of the special issue International Journal of Foundations of Computer Science 26(7), 2015

Guest Editor of the special issue Journal of Cellular Automata 9(5-6), 2014

Editor of Implementation and Application of Automata, LNCS 8587, Springer 2014

Editor of Cellular Automata and Discrete Complex Systems, LNCS 8155, Springer 2013

Guest Editor of the special issue Journal of Automata, Languages and Combinatorics 17(2-4), 2012

Editor of Descriptional Complexity of Formal Systems, LNCS 7386, Springer 2012

Editor of Languages Alive. Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday, LNCS 7300, Springer 2012

Guest Editor of the special issue Theoretical Computer Science Volume 449, 2012

Guest Editor of the special issue Journal of Automata, Languages and Combinatorics 16(2-4), 2011

Editor of Descriptional Complexity of Formal Systems, LNCS 6808, Springer 2011

Guest Editor of the special issue Fundamenta Informaticae 112(2-3), 2011

Guest Editor of the special issue Fundamenta Informaticae 104(1-2), 2010

Guest Editor of the special issue IEICE Transactions on Information and Systems E87-D(3), 2004

Guest Editor of the special issue Fundamenta Informaticae 58(3), 2003

Guest Editor of the special issue Parallel Computing 23(11), 1997

Vice Director of Institut für Informatik, Universität Giessen, Germany

2000-2015 Chair and Vice Chair of the Working Group "Automaten und Formale Sprachen" of the German Computer Science Society GI (Gesellschaft für Informatik)

Organization of Workshops and Conferences

15th Conference on Reversible Computation (RC 2023)

Workshop on Reversibility in Programming, Languages, and Automata (RPLA 2019)

19th International Conference on Implementation and Application of Automata (CIAA 2014)

19th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2013)

14th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2012)

13th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2011)

2. Workshop on Non-Classical Models of Automata and Applications (NCMA 2010)

1. Workshop on Non-Classical Models of Automata and Applications (NCMA 2009)

18. GI-Theorietag, Automaten und Formale Sprachen, 2008

2. Workshop on Non-Classical Models of Automata and Applications (NCMA 2010)

FORMAT-Workshop Sommer 2004

FORMAT-Workshop in cooperation with IFIP Working Group 1.2

International IFIP Cellular Automata Workshop

Interdisziplinärer Workshop: "Informatik an der JLUG"

5. GI-Theorietag, Automaten und Formale Sprachen

Talks

Sweeping Input-Driven Pushdown Automata, Implementation and Application of Automata (CIAA 2023), Famagusta, North Cyprus, September 2023

Deterministic Real-Time Tree-Walking-Storage Automata, Non-Classical Models for Automata and Applications (NCMA 2023), Famagusta, North Cyprus, September 2023

Tree-Walking-Storage Automata, Developments in Language Theory (DLT 2023), Umeå, Sweden, June 2023

State Complexity of Finite Partial Languages, Descriptional Complexity of Formal Systems (DCFS 2022), Debrecen, Hungary, August 2022

Syntax Checking Either Way, Implementation and Application of Automata (CIAA 2022), Rouen, France, June 2022

Reversible Top-Down Syntax Analysis, Developments in Language Theory (DLT 2021), Porto, Portugal, August 2021

One-Dimensional Pattern Generation by Cellular Automata, International Conference on Cellular Automata for Research and Industry (ACRI 2020), Łódź, Poland, December 2020

Kernels of Sub-Classes of Context-Free Languages, Current Trends in Theory and Practice of Informatics (SOFSEM 2020), Limassol, Cyprus, January 2020

Input-Driven Multi-Counter Automata, Implementation and Application of Automata (CIAA 2019), Košice, Slovakia, July 2019

Digging Input-Driven Pushdown Automata, Non-Classical Models for Automata and Applications (NCMA 2019), Valencia, Spain, July 2019

Iterative Arrays with Self-Verifying Communication Cell, Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2019), Guadalajara, Mexico, June 2019

AUTOMATA 25 - A Workshop Turned 24, Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2019), Guadalajara, Mexico, June 2019

Two-Sided Strictly Locally Testable Languages, Non-Classical Models for Automata and Applications (NCMA 2017), Prague, Czech Republic, August 2017

One-Time Nondeterministic Computations, Descriptional Complexity of Formal Systems (DCFS 2017), Milan, Italy, July 2017

Reversibility in Finite-State Devices, Computability in Europe (CiE 2017), Turku, Finland, June 2017

Cutting the Firing Squad Synchronization, International Conference on Cellular Automata for Research and Industry (ACRI 2016), Fez, Morocco, September 2016

Deterministic Stack Transducers, Implementation and Application of Automata (CIAA 2016), Seoul, South Korea, July 2016

Reversibility in Finite-State Devices, Formal Languages and Automata: Models, Methods and Applications (FLA 2016), Naples, Italy, January 2016

Reversible Computations, Colloquium, University of Debrecen, Debrecen, Hungary, October 2015

Tinput-Driven Pushdown Automata, Machines, Computations and Universality (MCU 2015), Famagusta, Cyprus, September 2015

Reversible and Irreversible Computations of Deterministic Finite-State Devices, Mathematical Foundations of Computer Science (MFCS 2015), Milan, Italy, August 2015

Measuring Communication in Automata Systems, Developments in Language Theory (DLT 2014), Ekaterinburg, Russia, August 2014

Complexity of One-Way Cellular Automata, International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2014), Himeji, Japan, July 2014

Complexity of Operation Problems, Computability in Europe (CiE 2014), Budapest, Hungary, June 2014

Complexity of Cellular Automata Computations, Voices of Cante. Final Act, Porto, Portugal, January 2014

Reversible Automaten - Kommen wir wieder zurück?, KIK - Kasseler Informatik-Kolloquium, Kassel, January 2014

One-Way Multi-Head Finite Automata with Pebbles But No States, Developments in Language Theory (DLT 2013), Marne-la-Vallée, France, June 2013

Iterative Arrays: Little Resources Big Size Impact, Cellular Automata for Research and Industry (ACRI 2012), Santorini Island, Greece, September 2012

Bidirectional String assembling Systems, Non-Classical Models for Automata and Applications (NCMA 2012), Fribourg, Switzerland, August 2012

States and Heads Do Count For Unary Multi-Head Finite Automata, Developments in Language Theory (DLT 2012), Taipei, Taiwan, August 2012

On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata, Conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal, July 2012

One-Way Reversible Multi-Head Finite Automata, Workshop on Reversible Computation (RC 2012), Copenhagen, Denmark, July 2012

Oblivious Two-Way Finite Automata: Decidability and Complexity, Latin American Symposium on Theoretical Informatics (LATIN 2012), Arequipa, Peru, April 2012

String Assembling Systems, Non-Classical Models of Automata and Applications (NCMA 2011), Milan, Italy, July 2011

Nondeterministic State Complexity of Star-Free Languages, Conference on Implementation and Application of Automata (CIAA 2011), Blois, France, July 2011

Nature-Based Problems in Cellular Automata, Computability in Europe (CiE 2011) - Special Session on Natural Computing, Sofia, Bulgaria, June 2011

Measuring Communication in Cellular Automata, Symposium on Cellular Automata - Journées Automates Cellulaires (JAC 2010), Turku, Finland, December 2010

Cellular Automata and the Quest for Artificial Self-Reproducing Structures, International Conference on Membrane Computing (CMC11), Jena, Germany, August 2010

The Magic Number Problem for Subregular Language Families, Descriptional Complexity of Formal Systems (DCFS 2010), Saskatoon, Canada, August 2010

Reversible Pushdown Automata, International Conference on Language and Automata Theory and Applications (LATA 2010), Trier, Germany, May 2010

Cellular Automata and Language Theory, International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2009), São José dos Campos, Brazil, October 2009

Cellular Automata With Sparse Communication, Conference on Implementation and Application of Automata (CIAA 2009), Sydney, Australia, July 2009

Undecidability of Operation Problems for T0L Languages and Subclasses, Language and Automata Theory and Applications (LATA 2009), Tarragona, Spain, April 2009

Descriptional Complexity of Restarting Automata, ABCDays on List Automata, Forgetting Automata, and Restarting Automata, Prague, Czech Republic, March 2009

Multi-Head Finite Automata: Characterizations, Concepts and Open Problems Subregular Language Families, The Complexity of Simple Programs (CSP 2008), Cork, Ireland, December 2008

State Complexity of NFA to DFA Conversion for Subregular Language Families, Descriptional Complexity of Formal Systems (DCFS 2008), Charlottetown, Prince Edward Island, Canada, July 2008

Real-Time Reversible Language Recognition by Cellular Automata, Theory and Applications of Cellular Automata (AUTOMATA 2008), Bristol, UK, June 2008

Real-Time Reversible Iterative Arrays, Fundamentals of Computation Theory (FCT 2007), Budapest, Hungary, August 2007

Optimal Simulations of Weak Restarting Automata, Descriptional Complexity of Formal Systems (DCFS 2007), High Tatras, Slovakia, July 2007

Hairpin Finite Automata, Developments in Language Theory (DLT 2007), Turku, Finland, July 2007

Fast Reversible Language Recognition Using Cellular Automata, Language and Automata Theory and Applications (LATA 2007), Tarragona, Spain, April 2007

Succinct Description of Regular Languages by Weak Restarting Automata, Language and Automata Theory and Applications (LATA 2007), Tarragona, Spain, April 2007

Fast Iterative Arrays with Restricted Inter-Cell Communication: Computational Capacity, 16. GI-Theorietag, Automaten und Formale Sprachen, Vienna, Austria, September 2006

Computational Capacity and Descriptional Complexity of Communication-Restricted Cellular Automata, International Workshop on Unconventional Computing and Cellular Automata, Hiroshima, Japan, September 2006

Fast Iterative Arrays with Restricted Inter-Cell Communication: Computational Capacity, IFIP International Conference on Theoretical Computer Science (IFIP TCS2006). IFIP World Computer Congress, Santiago de Chile, Chile, August 2006

Finite Turns and the Regular Closure of Linear Languages, 15. GI-Theorietag, Automaten und Formale Sprachen, Lauterbad, September 2005

Fast Iterative Arrays with Restricted Inter-Cell Communication: Computational Capacity, International Workshop on Cellular Automata, Gdansk, Poland, September 2005

Revolving-Input Finite Automata, Developments in Language Theory (DLT 2005), Palermo, Italy, July 2005

Descriptional Complexity of Deterministic Restarting Automata, Descriptional Complexity of Formal Systems (DCFS 2005), Como, Italy, June 2005

Finite Turns and the Regular Closure of Linear Languages, FORMAT-Workshop, Würzburg, November 2005

The Boolean Closure of Linear Context-Free Languages, Developments in Language Theory VIII (DLT 2004), Auckland, New Zealand, December 2004

Flip-Pushdown Automata, FORMAT-Workshop, Kassel, November 2004

Register Complexity of LOOP-, WHILE-, and GOTO-Programs, 14. GI-Theorietag, Automaten und Formale Sprachen, Caputh, September 2004

Register Complexity of LOOP-, WHILE-, and GOTO-Programs, Machines, Computations and Universality (MCU 2004), St. Petersburg, Russia, September 2004

The Phenomenon of Non-Recursive Trade-Offs, Descriptional Complexity of Formal Systems (DCFS 2004), London, Ontario, Canada, July 2004

Some Non-Semi-Decidability Problems for Linear and Deterministic Context-Free Languages, Conference on Implementation and Application of Automata (CIAA 2004), Kingston, Ontario, Canada, July 2004

Self-Assembling Finite Automata and Grammars with Scattered Nonterminals, FORMAT-Workshop, Frankfurt, February 2004

On the Descriptional Power of Heads, Counters, and Pebbles, 13. GI-Theorietag, Automaten und Formale Sprachen, Herrsching, Oktober 2003

One-Way Cellular Language Acceptors - A Survey, International IFIP Workshop on Cellular Automata, Leuven, Belgium, September 2003

Dimension and Time Hierarchies for Small Time Bounds, Fundamentals of Computation Theory 2003 (FCT 2003), Malmö, Sweden, August 2003

On the Descriptional Power of Heads, Counters, and Pebbles, Descriptional Complexity of Formal Systems (DCFS 2003), Budapest, Hungary, July 2003

Flip-Pushdown Automata: Nondeterminism is Better Than Determinism, Developments in Language Theory VII (DLT 2003), Szeged, Hungary, July 2003

Self-Assembling Finite Automata and Grammars with Scattered Nonterminals, Colloquium, University of Metz, Metz, France, February 2003

Self-Assembling Finite Automata, 12. GI-Theorietag, Automaten und Formale Sprachen, Wittenberg, September 2002

Unary Language Operations and Their Nondeterministic State Complexity, Developments in Language Theory VI (DLT 2002), Kyoto, Japan, September 2002

Bounded Cellular Automata with Bounded Nondeterminism, International IFIP Workshop on Cellular Automata, Prague, Czech Republic, September 2002

Self-Assembling Finite Automata, International Computing and Combinatorics Conference (COCOON 2002), Singapore, August 2002

Zustandskomplexität einfacher Operationen auf NFAs, 11. GI-Theorietag, Automaten und Formale Sprachen, Wendgräben, October 2001

The Fault Tolerant Early Bird Problem, International IFIP Workshop on Cellular Automata, Porquerolles, France, September 2001

A Time Hierarchy for Bounded One-Way Cellular Automata, Mathematical Foundations of Computer Science (MFCS 2001), Marianske Lazne, Czechia, August 2001

Improving Raster Image Run-Length Encoding Using Data Order, Conference on Implementation and Application of Automata (CIAA 2001), Pretoria, South Africa, July 2001

Refining Nondeterminism Below Linear-Time, Descriptional Complexity of Automata, Grammars and Related Structures (DCAGRS 2001), Vienna, Austria, July 2001

Efficient Universal Pushdown Cellular Automata and their Application to Complexity, Universal Machines and Computations (MCU 2001), Chisinau, Moldova, May 2001

Zeit, Dimension, Nichtdeterminismus: Hierarchien zwischen Real- und Linearzeit, Technische Universität München, Munich, February 2001

Deterministische Turingmaschinen mit kleinen Zeitschranken, FORMAT-Workshop, Darmstadt, December 2000

Zellularautomaten - ein paralleles Berechnungsmodell, Colloquium, University of Hannover, Hannover, November 2000

Fault tolerant parallel pattern recognition, International Conference on Cellular Automata for Research and Industry (ACRI 2000), Karlsruhe, October 2000

Deterministische Turingmaschinen zwischen Real- und Linearzeit, 10. GI-Theorietag, Automaten und Formale Sprachen, Vienna, Austria, September 2000

Iterative arrays with small time bounds, Mathematical Foundations of Computer Science (MFCS 2000), Bratislava, Slovakia, September 2000

How small time bounds, dimensions and the amount of nondeterminism interact in iterative arrays, International IFIP Workshop on Cellular Automata, Osaka, Japan, August 2000

Real-time language recognition by alternating cellular automata, IFIP International Conference on Theoretical Computer Science (IFIP TCS2000), Sendai, Japan, August 2000

Deterministische Turingmaschinen zwischen Real- und Linearzeit, 41. Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen, Lübeck, June 2000

Iterative arrays with limited nondeterministic communication cell, International Colloquium on Words, Languages and Combinatorics (ICWLC'00), Kyoto, Japan, March 2000

Synchronisation und Zeitberechenbarkeit von Funktionen in Zellularautomaten, Colloquium, University of Kassel, Kassel, December 1999

Zellularautomaten - ein paralleles Berechnungsmodell, Colloquium, University of Frankfurt, Frankfurt, December 1999

Real-time language recognition by alternating cellular automata, International IFIP Workshop on Cellular Automata, Lyon, France, October 1999

Kontextfreie Sprachen und Polyautomaten, 9. GI-Theorietag, Automaten und Formale Sprachen, Schauenburg-Elmshagen, September 1999

Iterative arrays with a wee bit alternation, Fundamentals of Computation Theory (FCT'99), Iasi, Romania, September 1999

On tally languages and generalized interacting automata, Developments in Language Theory IV (DLT'99), Aachen, July 1999

Alternierende Realzeit-Zellularautomaten, FORMAT-Workshop, Rauischholzhausen, April 1999

Komplexität von Algorithmen, Antrittsvorlesung, April 1999

Sticker-Systeme, Habilitationsvortrag, University of Giessen, February 1999

On unary languages acceptable by cellular devices, Automata'98 (Workshop on Cellular Automata), Santiago, Chile, December 1998

Nichtdeterminismus in zellularen Sprachakzeptoren, FORMAT-Workshop, Frankfurt, October 1998

Eingeschränkter Nichtdeterminismus in Zellularautomaten, 8. GI-Theorietag, Automaten und Formale Sprachen, Riveris, September 1998

One guess one-way cellular arrays, Mathematical Foundations of Computer Science (MFCS'98), Brno, Czechia, August 1998


  24.9.2023
  Zurück zu M. Kutrib