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

Algorithms for lattice problems with respect to general norms
Naewe, Stefanie
2011
Online model checking mechanism and its applications
Zhao, Yuhong ; Rammig, Franz Josef ; Glässer, Uwe
Elektronische Ressource, Paderborn
Parallel real-time rendering using heterogeneous PC clusters
Süß, Tim
2011
Adaptive connectivity management in heterogeneous mobile networks
Illian, Marvin
Paderborn, 2026
Advances in Python Call-Graph Construction and Type Inference: A Benchmark-Driven Approach
Shivarpatna Venkatesh, Ashwin Prasad
Paderborn, 2026
Automated analysis of SSH client state machines
Storm, Tim Leonhard
Paderborn, 2026
Between how it works and what it's for
an analysis of everyday explanations of a technical artifact
Terfloth, Lutz
Paderborn, 2026
Delegatable and updatable anonymous credentials
Bobolz, Jan
Paderborn, 2026
A design pattern-based approach for the guided model-based reuse of safety-critical system solutions in the automotive domain
Khalil, Maged
Paderborn, 2026
From Continuous Parametrizations to Discrete Hexahedral Meshes
Reliable Algorithms for a Versatile Pipeline
Brückler, Hendrik
Paderborn, 2026
Helping Java developers reduce cryptographic API misuses
Schlichtig, Michael
Paderborn, 2026
A lightweight approach for state machine replication in server-based and cloud-based systems
Dou, Jinfeng
Paderborn, 2026
LLMs for call graph construction: benchmarking and evaluation across languages
Sunil, Rose
Paderborn, 2026
Local reconfiguration algorithms for geometric modular systems
3D hybrid programmable matter and distributed sliding squares
Liedtke, David
Paderborn, 2026
Neural Entity Linking for Question Answering over Knowledge Graphs
Vollmers, Daniel
Paderborn, 2026
On the security of TLS session tickets
Hebrok, Sven Niclas
Paderborn, 2026
Quantum proof systems
perfect completeness and unentanglement
Rudolph, Dorian
Paderborn, 2026
Real-time task execution on reconfigurable hardware
Guettatfi, Zakarya
Paderborn, 2026
Reliable Bytecode-centric Detection of Vulnerable Open-Source Software Dependencies
Schott, Stefan
Paderborn, 2026
Spezifikationstechnik für Prescriptive Analytics Lösungen in der Produktion
Weller, Julian Lennart
Paderborn, 2026
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Algorithms for lattice problems with respect to general norms

Online model checking mechanism and its applications

Parallel real-time rendering using heterogeneous PC clusters

Adaptive connectivity management in heterogeneous mobile networks

Advances in Python Call-Graph Construction and Type Inference: A Benchmark-Driven Approach

Automated analysis of SSH client state machines

Between how it works and what it's for

Delegatable and updatable anonymous credentials

A design pattern-based approach for the guided model-based reuse of safety-critical system solutions in the automotive domain

From Continuous Parametrizations to Discrete Hexahedral Meshes

Helping Java developers reduce cryptographic API misuses

A lightweight approach for state machine replication in server-based and cloud-based systems

LLMs for call graph construction: benchmarking and evaluation across languages

Local reconfiguration algorithms for geometric modular systems

Neural Entity Linking for Question Answering over Knowledge Graphs

On the security of TLS session tickets

Quantum proof systems

Real-time task execution on reconfigurable hardware

Reliable Bytecode-centric Detection of Vulnerable Open-Source Software Dependencies

Spezifikationstechnik für Prescriptive Analytics Lösungen in der Produktion