406 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
zu den Filteroptionen406 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024
Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019Systematische Analyse semantischer Abhängigkeiten
In: Programmiersprachen / Fachtagung über Programmiersprachen, Jg. 4, S. 19-32Szenariobasierte Synthese verteilter mechatronischer Systeme
Elektronische Ressource, Paderborn, 2016Testing coherence and identifying winners in dueling bandits: theory and algorithms
Elektronische Ressource, Paderborn, 2023Time-efficient link discovery for data-driven applications
Elektronische Ressource, Paderborn, 2021