University of Leipzig
Computer Science Institute

Dr. rer. nat. Ina Fichtner (née Mäurer)

Room: Phone: Email: Group:

3-33 +49-341-97 32312 main nachname (at) informatik.uni-leipzig.de Automaten und Sprachen

Secretary:

Andrea Room: Phone: Fax: Email:

Hesse 4-44 +49-341-97 32287 +49-341-97 32207 hesse(at)informatik.uni-leipzig.de

Address: Institut für Informatik Fakultät für Mathematik und Informatik Universität Leipzig Johannisgasse 26 D-04103 Leipzig Write To: Universität Leipzig Institut für Informatik PF 100920 D-04009 Leipzig Germany

Research Interests

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

Publications

• I. Fichtner: Weighted Picture Automata and Weighted Logics,
  accepted for Theory of Computing Systems, 2008. PDF PS



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



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



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



• I. Mäurer 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. Mäurer: 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 Theo. Comp. Sc. and Algebra   Ph.D. supervisor: Manfred Droste
• 12/04-07/06: Leipzig University, PhD Studies, Graduiertenkolleg Wissensrepräsentation, Automaten und Sprachen
• 17.04.2007: PhD (Dr. rer. nat.) Institute of Computer Science, Leipzig University
• Since 08/06: Assistent at the Institute of Computer Science, Automaten und Sprachen, Leipzig University