From

Institution

Field

Type

Journal / venue: RWTH Publications (RWTH Aachen) ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers 38

Sort: Cited Newest Oldest Fwci Patents ⇩ CSV

Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Fortschritte bei der neuronalen Sprachmodellierung in der automatischen Spracherkennung
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Speech Recognition and Synthesis Open access

Kazuki Irie

7

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Supercomputer simulations of transmon quantum computers
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Quantum Computing Algorithms and Architecture Open access

Dennis Willsch

4

citations
Datenintegration und Metadatenmanagement in Data Lakes
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Database Systems and Queries Open access

Rihan Hai

2

citations
Solarstrahlungs-Kürzestfrist-Vorhersagesystem für die Ertragsoptimierung eines Parabolrinnenkraftwerks
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Solar Radiation and Photovoltaics Open access

Bijan Nouri

1

citations
Designing effective mixed reality learning experiences: structuring insights with knowledge graphs and large language models
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Augmented Reality Applications Open access

0

citations
Computational complexity of problems in robust, bilevel and online optimization
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Complexity and Algorithms in Graphs Open access

0

citations
On data and knowledge transfer efficiency in deep learning
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Domain Adaptation and Few-Shot Learning Open access

Alessio Quercia

0

citations
Human-AI collaboration in 360° tour creation: enhancing 19squared with AI agent networks
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Recommender Systems and Techniques Open access

Simon Frank

0

citations
A parallel-in-space simulator for accelerating power system simulation on graphics processing units
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Junjie Zhang

0

citations
Exascale-ready molecular dynamics simulations with efficient algorithms for extreme core counts
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Nitin Malapally

0

citations
Lattice-based post-quantum cryptography for memory-constrained IoT devices
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Cryptography and Data Security Open access

Tobias Westphal

0

citations
Structure-exploiting uncertainty quantification and control : Bayesian inference and Itô SDE methods from MRI segmentation to autonomous sensing
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Medical Image Segmentation Techniques Open access

Felix Terhag

0

citations
Precedence constraints in combinatorial optimization
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Graph Theory Research Open access

Corinna Mathwieser

0

citations
Interaction-based integration testing of component-based software systems
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Software Testing and Debugging Techniques Open access

Nils Wild

0

citations
Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Jonas Seidel

0

citations
Data-driven decision making in software modernization
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Software Engineering Research Open access

Johanna Grahl

0

citations
Ontology-based harmonization of disparate datasets for early-phase building life cycle assessment
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Semantic Web and Ontologies Open access

Georgi Tsakov

0

citations
Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Mats Eblenkamp

0

citations
Synthesis and analysis of neural-network-based control in cyber-physical systems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

László Antal

0

citations
Efficient message authentication in the industrial Internet of things
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Cryptographic Implementations and Security Open access

Eric Wagner

0

citations
Towards representing OpenMP in SPMD IR: Concepts and realization in MLIR
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Frederic J. Malmendier

0

citations
Dynamical systems and paradigms for bio-inspired computing
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Nonlinear Dynamics and Pattern Formation Open access

Pezhman Ebrahimzadeh

0

citations
Quantifying the effect of quantum operations in machine learning by comparison to classically simulable variants
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Quantum Computing Algorithms and Architecture Open access

Víctor Mauricio Gutiérrez Luque

0

citations