99 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik 2
jump to filter-options99 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik
2
Petri net based description, analysis and simulation of concurrent processes
In: ACM SIGDA Newsletters, Vol. 1977, page 15-27
A polynomial linear search algorithm for the N-dimensional Knapsack problem
In: Journal of the Association for Computing Machinery, Vol. 1984, page 668-676Process design, verification and simulation
an implementation in a visual modeling tool for a workflow management system2001Responsive positioning
a user interface technique based on structured spaceElektronische Ressource, Paderborn, 2018Robustifying machine learning through weakening supervision
Elektronische Ressource, Paderborn, 2023Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikIn: Die Zukunft der Informationssysteme, Vol. 1986, page 634-643Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Set-Valued prediction for Part-of-Speech tagging
Elektronische Ressource, Paderborn, 2019Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Vol. 3.1993 Poster session, 267 pagesSpecification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017