Valenzabhängige Effekte normativen Feedbacks auf die Präzisionsleistung und Automatisierung beim motorischen Lernen
Elektronische Ressource, Paderborn, 2017
Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020



Vandalism detection in crowdsourced knowledge bases
Elektronische Ressource, Paderborn, 2019











Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017


