Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, JensElektronische Ressource, Paderborn, 2017Versatility of bulk synchronous parallel computing
from the heterogeneous cluster to the system on chipBonorden, Olaf2008Wave front sets of nilpotent lie group representations
Budde, Julia ; Weich, TobiasElektronische Ressource, Paderborn, 2021What do unions do to work design? Technology, union presence, and tayloristic jobs in Britain
Eisele, Simon ; Schneider, Martin ; Gries, Thomas ; Thommes, Kirsten ; Frick, BerndElektronische Ressource, Paderborn, 2019Wie motivieren Lehrkräfte in Elternsprechtagsgesprächen?
Gesprächsstrategien von Lehrkräften, Einflussfaktoren und elterliche WahrnehmungGreiner, Christian ; Buhl, Heike M. ; Klingsieck, Katrin B.Elektronische Ressource, Paderborn, 2019Die Wirksamkeit von piko-OWL als Lehrerfortbildung
eine Evaluation zum Projekt "Physik im Kontext" in FallstudienSuckut, Julia2012WLAN fingerprinting based indoor positioning in the presence of censored and dropped data
Hoang, Manh Kha ; Häb-Umbach, Reinhold ; Höher, Peter AdamElektronische Ressource, Paderborn, 2016Zeit und Zeitwahrnehmungen - Konsequenzen für individuelle und kollektive Ergebnisse
Hoppe, Julia ; Thommes, KirstenElektronische Ressource, Paderborn, 2021Der Zettel: zur Kulturgeschichte eines Alltagsmediums und seinen Repräsentationen in der Literatur des 20. und 21. Jahrhunderts
Burgos y Luque, Luise-Aurelia ; Lillge, Claudia ; Ecker, GiselaElektronische Ressource, Paderborn, 2022