A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “open problems” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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

Sebastian Junges

27

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
Predicatet transformers for nondeterministic quantum programs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Xi Wang

0

citations
New pathways to universal quantum logic in the early era of fault tolerance
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Quantum Computing Algorithms and Architecture Open access

Friederike Butt

0

citations

4 results