
Online model checking mechanism and its applications
Elektronische Ressource, Paderborn



Automated analysis of SSH client state machines
Paderborn, 2026
Between how it works and what it's for
an analysis of everyday explanations of a technical artifactPaderborn, 2026

From Continuous Parametrizations to Discrete Hexahedral Meshes
Reliable Algorithms for a Versatile PipelinePaderborn, 2026
Helping Java developers reduce cryptographic API misuses
Paderborn, 2026

Local reconfiguration algorithms for geometric modular systems
3D hybrid programmable matter and distributed sliding squaresPaderborn, 2026




Zukunft in Bewegung
10 Enabler für die Transformation der Mobilität in städtischen und ländlichen RäumenPaderborn : Universitätsbibliothek, 2026

Distributed algorithms for modern communication networks
Paderborn, 2025

