Veröffentlichungen der Universität / Institut für Informatik [81-100]

Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Wiersema, Tobias ; Platzner, Marco ; Wehrheim, Heike ; Andrews, David ; Meyer auf der Heide, Friedhelm ; Somorovsky, Juraj
Elektronische Ressource, Paderborn, 2021
Improving real-world applicability of static taint analysis
Luo, Linghui ; Bodden, Eric ; Hermann, Ben ; Dolby, Julian ; Somorovsky, Juraj ; Oberthür, Simon
Elektronische Ressource, Paderborn, 2021
MCTS-based approximate accelerator synthesis
Awais, Muhammad ; Platzner, Marco
Elektronische Ressource, Paderborn, 2021
Models and algorithms for hybrid networks and hybrid programmable matter
Hinnenthal, Kristian ; Scheideler, Christian ; Meyer auf der Heide, Friedhelm ; Kostitsyna, Irina
Elektronische Ressource, Paderborn, 2021
Time-efficient link discovery for data-driven applications
Georgala, Kleanthi ; Ngonga Ngomo, Axel-Cyrille ; Böttcher, Stefan
Elektronische Ressource, Paderborn, 2021
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
Enhancing development and deployment of softwarised network services
Peuster, Manuel ; Karl, Holger ; Capone, Antonio ; Plessl, Chrsitian ; Sommer, Christoph ; Wehrheim, Heike
Elektronische Ressource, Paderborn, 2020
Local graph transformation primitives for some basic problems in Overlay networks
Setzer, Alexander ; Scheideler, Christian ; Meyer auf der Heide, Friedhelm
Elektronische Ressource, Paderborn, 2020
Measurement framework for tracking ride characteristics of a bicycle in outdoor experiments
Brune, Fabian ; Dressler, Falko ; Heinovski, Julian ; Platzner, Marco
Elektronische Ressource, Paderborn, 2020
Mobile resource allocation
Feldkord, Björn ; Meyer auf der Heide, Friedhelm ; Bienkowski, Marcin
Elektronische Ressource, Paderborn, 2020
Model-driven information flow security engineering for cyber-physical systems
Gerking, Christopher ; Bodden, Eric ; Reussner, Ralf
Elektronische Ressource, Paderborn, 2020
A recommender system for basket items
Das, Nilanjan ; Ngonga Ngomo, Axel-Cyrille ; Engels, Gregor ; Röder, Michael
Elektronische Ressource, Paderborn, 2020
Revisionssicherheit von Forschungsdateninfrastrukturen am Beispiel digitaler Editionen
Oberhoff, Andreas ; Keil, Reinhard ; Oevel, Gudrun
Elektronische Ressource, Paderborn, 2020
A simulation framework for connecting In-Body nano communication with Out-of-Body devices
Küstner, Anke ; Dressler, Falko ; Karl, Holger ; Heinz Nixdorf Institut
Elektronische Ressource, Paderborn, 2020
Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Artmann, Matthias ; Sommer, Christoph ; Meyer auf der Heide, Friedhelm
Elektronische Ressource, Paderborn, 2020
Validation of software migration
model-driven co-migration of test cases
Jovanovikj, Ivan ; Engels, Gregor ; Ebert, Jürgen ; Bodden, Eric ; Sauer, Stefan ; Zimmermann, Olaf
Elektronische Ressource, Paderborn, 2020
Adapt cases 4 BPM
Adaptivity Engineering für flexible und anpassbare Prozesse
Teetz, Alexander ; Engels, Gregor ; Wrede, Britta
Elektronische Ressource, Paderborn, 2019
Approximate pure nash equilibria in congestion, opinion formation and facility location games
Feldotto, Matthias ; Skopalik, Alexander ; Gairing, Martin ; Meyer auf der Heide, Friedhelm ; Haake, Claus-Jochen ; Feldmann, Rainer
Elektronische Ressource, Paderborn, 2019
An architecture for connected cars providing virtual infrastructure and services
Hagenauer, Florian ; Dressler, Falko ; Fiore, Marco
Elektronische Ressource, Paderborn, 2019
Big data: sublinear algorithms for distributed data streams
Malatyali, Manuel ; Meyer auf der Heide, Friedhelm ; Scheideler, Christian
Elektronische Ressource, Paderborn, 2019
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware

Improving real-world applicability of static taint analysis

MCTS-based approximate accelerator synthesis

Models and algorithms for hybrid networks and hybrid programmable matter

Time-efficient link discovery for data-driven applications

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

Enhancing development and deployment of softwarised network services

Local graph transformation primitives for some basic problems in Overlay networks

Measurement framework for tracking ride characteristics of a bicycle in outdoor experiments

Mobile resource allocation

Model-driven information flow security engineering for cyber-physical systems

A recommender system for basket items

Revisionssicherheit von Forschungsdateninfrastrukturen am Beispiel digitaler Editionen

A simulation framework for connecting In-Body nano communication with Out-of-Body devices

Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections

Validation of software migration

Adapt cases 4 BPM

Approximate pure nash equilibria in congestion, opinion formation and facility location games

An architecture for connected cars providing virtual infrastructure and services

Big data: sublinear algorithms for distributed data streams