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 “constructive work” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Gereon Kremer

5

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

5 results