Dr. Christian Mathissen

Member of the workgroup Algebraische und logische Grundlagen der Informatik;
Former PhD student within the doctoral programme Graduiertenkolleg Wissensrepräsentation

Address

Teaching

• WS 10/11 Seminar "Komplexitätstheorie"

• WS 10/11, WS 09/10, WS 08/09, Seminar "Datenkompression"

• WS 07/08 "Modelle der Nebenläufigkeit: Spurtheorie"

  
  Vorlesung: Do., 15:15-16:45 Uhr, Brühl R 610 (Prof. Droste)
  Übung: Do., 17:15-18:45 Uhr, Brühl R 610 (Mathissen) (14-tägig)
  
  1. Übung (25. Oktober 2007) ps pdf
  2. Übung (8. November 2007) ps pdf
  3. Übung (22. November 2007) ps pdf
  4. Übung (6. Dezember 2007) ps pdf
  5. Übung (20. Dezember 2007) ps pdf
  6. Übung (17. Januar 2008) ps pdf
  7. Übung (31. Januar 2008) ps pdf

• WS 07/08, SS 07, WS 06/07, SS 06 Seminar "Automatentheorie"

Publications

• Compressed membership in automata with compressed labels. (with Markus Lohrey) ps pdf
  submitted, 2010.


• Compressed conjugacy and the word problem for outer automorphism groups of graph groups. (with Niko Haubold and Markus Lohrey) ps pdf
  Proc. of the 14th Int. Conf. on Developments in Language Theory (DLT), London, Ontario.
  Lecture Notes in Computer Science, vol. 6224, © Springer, 2010, pp. 218-230.


• Weighted Logics for Nested Words and Algebraic Formal Power Series. ps pdf
  Logical Methods in Computer Science, Vol. 6 (1:5) 2010, pp. 1-34.
  Special Issue: Selected Papers of the Conference "International Colloquium on Automata, Languages and Programming 2008"


• Definable Transductions and Weighted Logics for Texts. ps pdf
  Theoretical Computer Science, 411, issue 3 (2010), © Elsevier, pp. 631-659.


• Existential MSO over Two Successors Is Strictly Weaker than over Linear Orders. ps pdf
  Theoretical Computer Science, 410, issues 38-40 (2009), © Elsevier, pp. 3982-3987.


• Weighted Logics for Nested Words and Algebraic Formal Power Series. ps pdf
  Proc. of the 35th Int. Colloquium on Automata, Languages and Programming (ICALP), Reykjavík. Part II.
  Lecture Notes in Computer Science, vol. 5126, © Springer, 2008, pp. 221-232.
  EATCS Award "Best student ICALP paper" (track B)


• Definable Transductions and Weighted Logics for Texts. ps pdf
  Proc. of the 11th Int. Conf. on Developments in Language Theory (DLT), Turku.
  Lecture Notes in Computer Science, vol. 4588, © Springer, 2007, pp. 324-336.


• Weighted Automata and Weighted Logics over Tree-like Structures. ps pdf
  Dissertation, Universität Leipzig, Fakultät für Mathematik und Informatik, 2009.


• Verhalten gewichteter Automaten mit Deflationsparameter über Spurmonoiden. ps pdf
  Diplomarbeit, Technische Universität Dresden, Institut für Algebra, Oktober 2005.