Publikationsservice / Computerprogrammierung, Programme, Daten [41-54]

Robustifying machine learning through weakening supervision
Lienen, Julian ; Hüllermeier, Eyke ; Destercke, Sébastien ; Ewerth, Ralph
Elektronische Ressource, Paderborn, 2023
Secure use of open-source software
a systematic study and techniques for Java
Dann, Andreas Peter ; Bodden, Eric ; Hermann, Ben
Elektronische Ressource, Paderborn, 2024
Separation algorithms for cutting planes based on mixed integer row relaxations
implementation and evaluation in the context of mixed integer programming solver software
Christophel, Philipp M.
2009
Social explainable AI
communications of NII Shonan meetings
Rohlfing, Katharina J. (Hrsg.) ; Främling, Kary (Hrsg.) ; Lim, Brian (Hrsg.) ; Alpsancar, Suzana (Hrsg.) ; Thommes, Kirsten (Hrsg.)
Springer, 2026
Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, Karim
Elektronische Ressource, Paderborn, 2019
Systematik zur Datenanalyse in der betriebsdatengestützten Produktplanung
Panzner, Melina
Paderborn, 2025
Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Placzek, Markus ; Gausemeier, Jürgen
Elektronische Ressource, Paderborn, 2017
Tamper resistance of AES
Models, attacks and countermeasures
Krummel, Volker
2007
Test generation using event sequence graphs
Budnik, Christof J.
2007
Towards automated service composition under quality constraints
Mohr, Felix ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2017
User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, Ben
Elektronische Ressource, Paderborn, 2019
Validation of data flow results for program modules
Klohs, Karsten
2009
A value-centered software engineering approach for unique and novel software-based solutions
aligning design thinking with a coopetition-based evolutionary software development
Senft, Björn ; Engels, Gregor ; Schulte, Carsten ; Meister, Dorothee M. ; Oberthür, Simon ; Selke, Harald
Elektronische Ressource, Paderborn, 2021
Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, Jens
Elektronische Ressource, Paderborn, 2017
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Robustifying machine learning through weakening supervision

Secure use of open-source software

Separation algorithms for cutting planes based on mixed integer row relaxations

Social explainable AI

Synchronized pushdown systems for pointer and data-flow analysis

Systematik zur Datenanalyse in der betriebsdatengestützten Produktplanung

Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung

Tamper resistance of AES

Test generation using event sequence graphs

Towards automated service composition under quality constraints

User-centered tool design for data-flow analysis

Validation of data flow results for program modules

A value-centered software engineering approach for unique and novel software-based solutions

Verifying concurrent programs under weak memory models