From

Institution

Field

Type

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

Reset

Papers matching “separation” 12

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

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
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
Efficiency and scalability exploration of an application-specific instruction-set processor for deep convolutional neural networks
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Neural Network Applications Open access

Andreas Bytyn

0

citations
Interaction techniques for mid-air pen input in handheld augmented reality
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Interactive and Immersive Displays Open access

Philipp Wacker

0

citations
Space-time adaptive methods for poroviscoelastic flow models
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Mathematical Modeling in Engineering Open access

Simon Boisserée

0

citations
WebWriter: remixing interactive learning resources with widgets and explorable authoring
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Open Education and E-Learning Open access

Frederic Salmen

0

citations
Reducing integration complexity of learning analytics in eXtended reality through a modular and standards-based pipeline : design and evaluation of the OmiLAXR framework
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Online Learning and Analytics Open access

Sergej Görzen

0

citations
Beat tracking for genre-related datasets obtained by clustering
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Music and Audio Processing Open access

Polina Kozarovytska

0

citations
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

0

citations
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

0

citations

12 results