Menü

SP
Institute
- Institute
- Homepage
- News
- Vacancies
- Contact
Teaching
- Teaching
- Overview
- Topics for Theses and Projects
- Supervised Theses
Research
- Research
- Overview
- Projects
  - Projects
  - SafeSec
  - Constraint Handling Rules
    - Constraint Handling Rules
    - Projekte
    - Mitglieder
    - Publikationen
    - Mehr Information
  - ConMEq
  - CoreASM
  - Ensure
  - Flux
  - GENIAL
  - Inline
  - MICE
  - Planspiel Softwareprojektmanagement
    - Planspiel Softwareprojektmanagement
    - Brettspiel
  - SORRIR
  - Quadcopter Lab
  - VariantSync
- Publications
Team
- Team
- Overview
- Prof. Dr. Matthias Tichy
- Prof. Dr. Thom Frühwirth
- Prof. Dr. Thomas Thüm
- Carolin Göhring
- Kathrin Deißler
- Paul Maximilian Bittner
- Alexander Breckel
- Florian Ege
- Raffaela Groner
- Tobias Heß
- Dr. Katharina Juhnke
- Jakob Pietron
- Dr. Alexander Raschke
- Sascha Rechenberger
- Michael Stegmaier
- Chico Sundermann
- Thomas Witte
- External Doctorands
- Supervised Dissertations
- Former Employees and Doctorands
  - Former Employees and Doctorands
  - Dr. Jeffrey M. Young
  - Dr. Walter Guttmann
    - Dr. Walter Guttmann
    - Algebra of Computing
    - Veröffentlichungen
    - Lehre
  - Dr. Jens Kohlmeyer
  - Prof. Dr. Helmuth Partsch
    - Prof. Dr. Helmuth Partsch
    - Werdegang
    - Betreute Dissertationen
    - Publikationen
  - Tobias Weck
  - Daniel Gall
    - Daniel Gall
    - WFLP 2018: Online Appendix

Sie sind hier:

External Doctorands