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 “quantitative verification” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Quantitative single-cell analysis using deep learning based smart live-cell microscopy
2025 RWTH Publications (RWTH Aachen) dissertation Biochemistry, Genetics and Molecular Biology Cell Image Analysis Techniques Open access

Johannes Seiffarth

0

citations
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
Disrupting greenwashing with life-cycle based sustainability assessments? : Strengths, gaps, and integration challenges from product development to ESG disclosure
2026 RWTH Publications (RWTH Aachen) dissertation Environmental Science Environmental Impact and Sustainability Open access

Suzana Ostojic

0

citations
Mehrskalige Modellierung des Schädigungs- und Bruchverhaltens nanostrukturierter Schichten
2020 RWTH Publications (RWTH Aachen) dissertation Engineering Metal and Thin Film Mechanics Open access

Shahed Rezaei

0

citations
Development of numerical models and related dynamic response studies in pavement engineering
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Asphalt Pavement Performance Evaluation Open access

Dong Feng

0

citations

5 results