43 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
jump to filter-options43 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019
Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024
Scaling, placement, and routing for pliable virtualized composed services
Elektronische Ressource, Paderborn, 2019


Scheduling with scarce resources
Elektronische Ressource, Paderborn, 2017
Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024

Self-* Algorithms for distributed systems
programmable matter & overlay networksElektronische Ressource, Paderborn, 2017


Selfish network creation
on variants of network creation gamesElektronische Ressource, Paderborn, 2016



A semantics for the integration of database modifications and transaction brackets into a logic programming language
In: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Vol. 1990, page 1-10




