Florian Sihler Accepted at the 12th Heidelberg Laureate Forum
Florian got accepted at the 12th HLF which connects researchers with scientific pioneers.
News
"FreeCHR 鈥� An Algebraic Framework for Constraint Handling Rules Embeddings" published in "Theory and Practice of Logic Programming"
Our article "FreeCHR 鈥� An Algebraic Framework for Constraint Handling Rules Embeddings" by Sascha Rechenberger and Thom Fr眉hwirth was published in the…
Principles of Rule-Based Programming
Thom Fr眉hwirth published his book "Principles of Rule-Based Programming".
"Providing Information About Implemented Algorithms Improves Program Comprehension: A Controlled Experiment" accepted at EASE'25
Our paper "Providing Information About Implemented Algorithms Improves Program Comprehension: A Controlled Experiment" by Denis Neum眉ller, Alexander…
Robert Heinrich is new W3 professor for Software Engineering
Starting in April 2025 Robert Heinrich is new W3 professor for Software Engineering at the Institute of Software Engineering and Programming…
Efficient Slicing of Feature Models via Projected d-DNNF Compilation accepted at ASE conference
Our work "Efficient Slicing of Feature Models via Projected d-DNNF Compilation" by Chico Sundermann, Jacob Loth, and Thomas Th眉m has been accepted at…
Reusing d-DNNFs for Efficient Feature-Model Counting accepted at TOSEM Journal
Our work "Reusing d-DNNFs for Efficient Feature-Model Counting" by Chico Sundermann, Heiko Raab, Tobias Hess, Thomas Th眉m and Ina Schaefer has been…
Congratulations to Dr. Thomas Witte for his successful defense of his doctoral thesis
We congratulate Dr. Thomas Witte on the successful defense of his dissertation "What you change is what you get 鈥� Using Provenance Tracking at…
"EditQL: A Textual Query Language for Evolving Models" accepted at MODELS'24
Our paper "EditQL: A Textual Query Language for Evolving Models" by Jakob Pietron, Benedikt Jutz, Alexander Raschke, and Matthias Tichy got accepted…
Award for the Best Master鈥檚 Degree
Florian Sihler received the award for the best master's degree in the field of computer science at Ulm University.