Waddle Receives iwimint Funding
Waddle, a serious game to teach programming concept, got funded as an iwimint project!
News
Book on Algorithmic Game Theory
Florian Sihler co-authored a book on Algorithmic Game Theory together with Jacobo Torán and Julian Nickerl.
Florian Sihler Accepted at the 12th Heidelberg Laureate Forum
Florian got accepted at the 12th HLF which connects researchers with scientific pioneers.
"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…