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 “expressive language” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

EduCrypt: an educational tool for learning game-based cryptographic proofs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Teaching and Learning Programming Open access

Jonas Broeckmann

0

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
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

Jasper Nalbach

0

citations
Differentiation and high-performance infrastructure for multiphysics simulation
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Computer Graphics and Visualization Techniques Open access

José Antonio Fernández-Fernández

0

citations

4 results