299 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 2
zu den Filteroptionen299 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
2
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Elektronische Ressource, Paderborn, 2018Geospatial link discovery with human in the loop
Elektronische Ressource, Paderborn, 2024Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021How to apply haptic signals on bicycles for safety
Elektronische Ressource, Paderborn, 2019How to find long paths efficiently
In: Annals of Discrete Mathematics, Jg. 25.1985, S. 239-254Human factors in open source security
Elektronische Ressource, Paderborn, 2024Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 114-139Improvement of software requirements quality based on systems engineering
Elektronische Ressource, Paderborn, 2019Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Jg. 1990, S. 259-273Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890IngridKG
a FAIR knowledge graph of graffitiIn: Scientific Data, Jg. 10 H. 318, S. 1-12Elektronische Ressource,Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016