387 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
jump to filter-options387 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016
Guaranteeing 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, Vol. 25.1985, page 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), Vol. 1991, page 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, Vol. 1990, page 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, Vol. 1990, page 885-890Informatik im Herstellungs- und Nutzungskontext
ein technikbezogener Zugang zur fachübergreifenden Lehre2003IngridKG
a FAIR knowledge graph of graffitiIn: Scientific Data, Vol. 10 Issue 318, page 1-12Elektronische Ressource,Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016INSPIRE: Insight to scientific publications and references
Verteilte Berechnung von Bibliometriken auf großen DatenmengenElektronische Ressource, Paderborn, 2013