Dependable Systems Group


  • J. Dassow, F. Manea, R. Mercaş, M. Müller: Inner Palindromic Closure
    Developments in Language Theory (DLT 2013, Paris-Est, France, 18.-21. June 2013), LNCS Vol. 7907, 155-166
  • T. Harju, M. Müller: Square-free Words Generated by Applying Permutations to a Prefix
    Proceedings of Second Russian Finnish Symposium on Discrete Mathematics (RuFiDiM 2012, Turku, Finland, 25.-28. September 2012)
  • C. Grozea, F. Manea, M. Müller, D. Nowotka: String Matching with Involutions
    Unconventional Computation and Natural Computation (UCNC 2012, Orleans, France, 3.-7. September 2012), LNCS Vol. 7445, 106-117
  • F. Manea, M. Müller, D. Nowotka: The Avoidability of Cubes under Permutations
    Developments in Language Theory (DLT 2012, Taipei, Taiwan, 14.-17. August 2012), LNCS Vol. 7410, 416-427
    The programs mentioned in some of the proofs can be downloaded here