Dr. Johannes C. Schneider, AG Wiehagen, Universität Kaiserslautern

Dr. Johannes C. Schneider

Diplom-Informatiker und wissenschaftlicher Mitarbeiter in der AG Graphentheorie und Netzwerkanalyse der Technischen Universität Kaiserslautern (bis März 2012 Arbeitsgruppe Algorithmisches Lernen).

Büro: Gebäude 48, Zimmer 672.
Telefon: 0631/205-3346.
E-Mail: jschneider [at] informatik [punkt] uni-kl [punkt] de.

Aktuell: Vorlesungsbetreuung "Formale Grundlagen der Programmierung" (Dozentin Katharina Zweig): Alle Informationen stehen im moodle-System des Fachbereichs. Bitte dort registrieren. Bei technischen Problemen hilft Christian Endler vom SCI weiter.
Betreuung von Projekt- und Diplomarbeiten.
Betreuung von Lehrveranstaltungen:
- Wintersemester 2006/07: Vorlesung Induktive Inferenz,
- Sommersemester 2007: Software-Entwicklungsprojekt (JAVA).
- Wintersemester 2007/08:
  - Vorlesung Entwurf und Analyse von Algorithmen, Vorlesungsumfrage (uni-intern),
  - Praktikum Lernen in Strukturierten Domänen.
- Sommersemester 2008: Vorlesung Formale Grundlagen der Programmierung.
- Wintersemester 2008/09:
  - Vorlesung Induktive Inferenz, Vorlesungsumfrage (uni-intern),
  - Seminar "Algorithmisches Lernen".
- Sommersemester 2009: Vorlesung Effizientes Lernen, Vorlesungsumfrage (uni-intern).
- Wintersemester 2009/10:
  - Vorlesung Induktive Inferenz, Vorlesungsumfrage (uni-intern),
  - Praktikum/Projekt Algorithmisches Lernen.
- Sommersemester 2010: Vorlesung Formale Grundlagen der Programmierung.
- Wintersemester 2010/11: Vorlesung Entwurf und Analyse von Algorithmen.
- Sommersemester 2011:
  - Vorlesung Effizientes Lernen,
  - Seminar Algorithmisches Lernen.
- Wintersemester 2011/12:
  - Vorlesung Induktive Inferenz,
  - Prkatikum/Projekt Algorithmisches Lernen.

(sortiert nach Veröffentlichungsjahr,

Dominik D. Freydenberger, Daniel Reidenbach, Johannes C. Schneider. Eindeutige Homomorphismen in freien Monoiden.
In Henning Fernau (Herausgeber), Proc. 15. Theorietag der GI Fachgruppe 0.1.5, Automaten und Formale Sprachen, WSI-2005-16, Seiten 18-21, Universiät Tübingen, 2005.
Dominik D. Freydenberger, Daniel Reidenbach, Johannes C. Schneider. Unambiguous Morphic Images of Strings.
In Clelia De Felice, Antonio Restivo (Herausgeber), Proc. 9th International Conference on Developments in Language Theory, DLT 2005, LNCS 3572, Seiten 248-259, Springer-Verlag, 2005.
Autorenversion Verlegerversion

Dominik D. Freydenberger, Daniel Reidenbach, Johannes C. Schneider. Unambiguous Morphic Images of Strings.
International Journal of Foundations of Computer Science 17, Seiten 601-628, 2006.
Autorenversion Verlegerversion
Johannes C. Schneider. Kombinatorische Eigenschaften von prägnanten und prolixen Pattern.
Project thesis, Universität Kaiserslautern, 2006.
Autorenversion
Achtung: In Bedingung 1 auf Seite 20 muss es "var(alpha) \ {x}" heißen.
Johannes C. Schneider. Entscheidungsprobleme für Patternsprachen und kombinatorische Eigenschaften von Pattern.
Diploma thesis, Universität Kaiserslautern, 2006.
Autorenversion

Daniel Reidenbach, Johannes C. Schneider. Morphically Primitive Words.
In Pierre Arnoux, Nicolas Bédaride, Julien Cassaigne (Herausgeber), Proc. 6th International Conference on Words, Seiten 262-272, 2007.
Autorenversion
Daniel Reidenbach, Johannes C. Schneider. Ein alternativer Primitivitätsbegriff für Wörter.
In Manfred Droste, Markus Lohrey (Herausgeber), Proc. 17. Theorietag der GI Fachgruppe 0.1.5, Automaten und Formale Sprachen, Seiten 116-120, Universität Leipzig, 2007.
Konferenzband

Johannes C. Schneider. Eindeutige löschende Homomorphismen in freien Monoiden.
In Markus Holzer, Martin Kutrib, Andreas Malcher (Herausgeber), Proc. 18. Theorietag der GI Fachgruppe 0.1.5, Automaten und Formale Sprachen, Seiten 115-119, Universität Gießen, 2008.
Konferenzband

Daniel Reidenbach, Johannes C. Schneider. Morphically Primitive Words.
Theoretical Computer Science 410, Seiten 2148-2161, 2009.
Autorenversion Verlegerversion
Johannes C. Schneider. Unambiguous Erasing Morphisms in Free Monoids.
In Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia (Herausgeber), Proc. SOFSEM 2009: Theory and Practice of Computer Science, LNCS 5404, Seiten 473-484, Springer-Verlag, 2009.
Verlegerversion
Johannes C. Schneider. Unterschiede zwischen der Mehrdeutigkeit von nicht-löschenden und löschenden Homomorphismen.
In Jöran Mielke, Ludwig Staiger, Renate Winter (Herausgeber), Proc. 19. Theorietag der GI Fachgruppe AFS, Automaten und Formale Sprachen, Seiten 51-52, University Halle-Wittenberg, 2009.
Konferenzband

Johannes C. Schneider. Unambiguous Erasing Morphisms in Free Monoids.
Theoretical Informatics and Applications (RAIRO) 44, Seiten 193-208, 2010.
Verlegerversion
Daniel Reidenbach, Johannes C. Schneider. Restricted Ambiguity of Erasing Morphisms.
In Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu (Herausgeber), Proc. 14th International Conference on Developments in Language Theory, DLT 2010, LNCS 6224, Seiten 387-398, Springer-Verlag, 2010.
Autorenversion Verlegerversion

Daniel Reidenbach, Johannes C. Schneider. Restricted Ambiguity of Erasing Morphisms.
Theoretical Computer Science 412, Seiten 3510-3523, 2011.
Autorenversion Verlegerversion

Johannes C. Schneider. On the Ambiguity of Erasing Morphisms.
Dissertation / Doctoral Thesis, Logos Verlag Berlin, 2012.
Verlegerversion

1980 in Speyer geboren.
1999 Abitur am Gymnasium am Kaiserdom in Speyer.
1999-2000 Zivildienst.
Wintersemester 2000/01: Beginn des Studiengangs Diplominformatik an der TU Kaiserslautern. Im Hauptstudium integriertes Nebenfach Mathematik.
Vorlesungshiwi der Vorlesungen Grundlagen der Programmierung, Entwurf und Analyse von Algorithmen (im Sommersemester 2002 bzw. Wintersemester 2002/03, gehalten von Prof. Madlener), Logik (im Sommersemester 2003, gehalten von Prof. Mayer, sowie im Sommersemester 2004, gehalten von Prof. Wiehagen).
2003-2006 Programmier-Hiwi in der AG Wiehagen (Projekt Pattern, C-Programmierung).
Von Januar bis Juni 2005 ERASMUS-Auslandsstudium an der LTH in Lund, Schweden.
November 2006: Abschluss des Studiums (Diplom)
Seit Dezember 2006 wissenschaftlicher Mitarbeiter an der TU Kaiserslautern
Februar 2012: Erhalt des akademischen Grades "Doktor der Naturwissenschaften" (Dr. rer. nat.) nach der erfolgreichen Verteidigung der Dissertation im Dezember 2011.