Institute of Software Engineering and Programming Languages
Logo der Universität Ulm
Menü
  • SP
  • Institute
    • Institute
    • Homepage
    • News
    • Vacancies
    • Contact
  • Teaching
    • Teaching
    • Overview
    • Topics for Theses and Internships
      • Topics for Theses and Internships
      • An interactive Augmented Reality interface for quadcopters
      • Self-Healing Software Architectures
      • Constraint-Programmierung und CHR
      • Comparison of the creation of models by hand to the creation of models using tools
    • Supervised Theses
  • Research
    • Research
    • Overview
    • Projects
      • Projects
      • ActiveCharts
      • ActiveCharts
      • Constraint Handling Rules
        • Constraint Handling Rules
        • Projekte
        • Mitglieder
        • Publikationen
        • Mehr Information
      • ConMEq
      • CoreASM
      • Ensure
      • Flux
      • GENIAL
      • Inline
      • MICE
      • Planspiel Softwareprojektmanagement
        • Planspiel Softwareprojektmanagement
        • Brettspiel
      • SORRIR
      • 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
    • Alexander Hinz
    • Raffaela Groner
    • 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
      • Stefan Kögel
      • Jeffrey 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
    • FB
    • T
    • G+
    • @
  • EN
  • Druck
  • Top

Links

  • Web-CHR
  • CHR Webseite an der K.U. Leuven
  • Buch: Essentials of Constraint Programming
  • Lehre
  • Fördermittel (auf Englisch)
  • Universität

    • A–Z
    • Lagepläne Campus
    • Pressemitteilungen
    • Stellenangebote
    • Veranstaltungskalender der Uni Ulm
    • Telefonverzeichnis
  • Rechtliche Hinweise

    • Impressum
    • Datenschutz
    • Erklärung zur Barrierefreiheit
  • Inhaltlich verantwortlich für diese Seite:
    https://www.uni-ulm.de/index.php?id=5714
    Prof. Dr. Matthias Tichy
    Zuletzt bearbeitet:
    26. August 2019
    FB T YT I
Logo: Zertifikat seit 2008 – Audit familiengerechte Hochschule Logo: Weltoffene Hochschulen – Gegen Fremdenfeindlichkeit
© 2021 Universität Ulm | Ulm University