From

Institution

Field

Type

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

Reset

Papers matching “complex systems” 37

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

An orchestration framework for simulation-based development and verification of cyber-physical systems
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Modeling and Simulation Systems Open access

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
Formal software engineering of distributed systems using focus-streams and automata
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Stüber

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
Hierarchical power and energy management of high-performance computing systems for total cost of ownership optimization
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Energy Efficiency in Computing Open access

Bo Wang

0

citations
Reinforcement learning for real-world production systems
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Reinforcement Learning in Robotics Open access

0

citations
On the generalizability and transferability of industrial intrusion detection research
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Network Security and Intrusion Detection Open access

Konrad Wolsing

0

citations
Entwicklung einer Methodik für die explorative Gestaltung soziotechnischer Systeme
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Innovative Human-Technology Interaction Open access

Michael Preutenborbeck

0

citations
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

0

citations
Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Marcel Hark

1

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
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

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
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
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

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
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

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
Factors involved in modernization decision making
2024 RWTH Publications (RWTH Aachen) dissertation Computer Science Software Engineering Research Open access

Aleksandra Pazova

1

citations
Language model integration into acoustic model training
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Speech Recognition and Synthesis Open access

Wilfried Michel

0

citations
Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Model-Driven Software Engineering Techniques Open access

Achim Lindt

0

citations
Efficient person detection with LiDAR sensors for mobile robots
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Neural Network Applications Open access

Dan Ping Jia

0

citations