Dr. rer. nat. Ina Fichtner

Address: Institut für Angewandte Trainingswissenschaft Ein Institut im Verein IAT/FES des DOSB e.V. Marschnerstraße 29 D-04109 Leipzig

Research Interests

• Automata Theory, Two-dimensional Languages, Formal Power Series on Pictures, Devices with Weights (in particular Weighted Automata)

Publications

• I. Fichtner, D. Kuske, and I. Meinecke. Traces, Series-Parallel Posets, and Pictures: A Weighted Study.
  In M. Droste, W. Kuich, and H. Vogler, editors, Handbook of Weighted Automata. EATCS Monographs n Theoretical Computer Science, Springer, 2009.



• I. Fichtner: Weighted Picture Automata and Weighted Logics,
  Theory of Computing Systems 48, Issue 1, pp. 48-78, 2011. PDF PS



• I. Fichtner: Characterizations of Recognizable Picture Series,
  Theoretical Computer Science 374, pp. 214-228, 2007. PDF PS



• I. Fichtner: Weighted Picture Automata and Weighted Logics,
  STACS 2006, LNCS 3884, pp. 313-324, Springer Berlin, 2006. PDF PS



• I. Fichtner: Recognizable and Rational Picture Series,
  Conference on Algebraic Informatics, Thessaloniki 2005. PDF PS



• I. Fichtner and D. Kirsten: On the Determinization of Weighted Automata,
  Journal of Automata, Languages and Combinatorics, Special issue on "Weighted Automata:
  Theory and Applications"
  (Dresden, June 1-5 2004); Vol. 10 (2005) Number 2/3, pp. 287-312. PDF PS




• I. Fichtner: Ph.D Thesis. Characterizations of Recognizable Picture Series, Universität Leipzig, Institut für Informatik,
  Abteilung Automaten und Sprachen, 2007. PDF PS



• I. Fichtner: Diploma Thesis. On Minimization and Determinization of Sequential Transducers,
  Technische Universität Dresden, Institut für Algebra 2002. PDF PS

Short CV

• 10/97-09/99: University of Jena, Studies of Mathematics
• 10/99-08/00: Dresden University of Technology
• 09/00-08/01: University of Sheffield, UK
• 09/01-11/02: Dresden University of Technology, Diploma (Mathematics)
• 02/03-11/04: Dresden University of Technology, PhD Studies, Graduiertenkolleg Theoretische Informatik und Algebra   Ph.D. supervisor: Manfred Droste
• 12/04-07/06: Leipzig University, PhD Studies, Graduiertenkolleg Wissensrepräsentation, Abteilung Automaten und Sprachen
• 17.04.2007: PhD (Dr. rer. nat., summa cum laude) Institute of Computer Science, Leipzig University
• Since 08/06: Assistent at the Institute of Computer Science, Automaten und Sprachen, Leipzig University
• Since 11/09: Member of staff at Institut für Angewandte Trainigswissenschaft, Leipzig