A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “composite structures”
2
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
Refining Dynamic Data Selection for Self-Supervised Learning via Semantic Gating
2026
Aaltodoc (Aalto University)
dissertation
Computer Science
Machine Learning and Data Classification
Open access
Xinrui Peng
0
citations
2 results