Direkt zur Hauptnavigation
Direkt zum Inhalt
Direkt zum Funktionsmenü (Sprache, Drucken, Social Media)
Direkt zur Fußleiste
Direkt zur Suche
Institute of Software Engineering and Programming Languages
Suchen
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
OBDDimal
Planspiel Softwareprojektmanagement
Planspiel Softwareprojektmanagement
Brettspiel
SORRIR
Quadcopter Lab
VariantSync
Publications
Team
Team
Overview
SoftVarE Working Group
Prof. Dr. Matthias Tichy
Prof. Dr. Thom Frühwirth
Prof. Dr. Thomas Thüm
Carolin Göhring
Kathrin Deißler
Paul Maximilian Bittner
Florian Ege
Raffaela Groner
Tobias Heß
Dr. Katharina Juhnke
Denis Neumüller
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
Prof. Dr. Helmuth Partsch
Prof. Dr. Helmuth Partsch
Werdegang
Betreute Dissertationen
Publikationen
Alexander Breckel
Daniel Gall
Daniel Gall
WFLP 2018: Online Appendix
Dr. Walter Guttmann
Dr. Walter Guttmann
Algebra of Computing
Veröffentlichungen
Lehre
Dr. Jens Kohlmeyer
Tobias Weck
Dr. Jeffrey M. Young
Sie sind hier:
SP
Research
Projects
Constraint Handling Rules
Mehr Information
EN
Links
Web-CHR
CHR Webseite an der K.U. Leuven
Buch: Essentials of Constraint Programming
Lehre
Fördermittel
(auf Englisch)
