3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 3 cited
The Visual Debugger Tool
Tim Kräuter, Harald König, Adrian Rutle +1
Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is requi…
cs.DM2012★ 1 cited
Characterizing Van Kampen Squares via Descent Data
Harald König, Uwe Wolter, Michael Löwe
Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is…