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 “visual entailment” 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
Aktives Sitzkonzept zur Unterstützung der Übernahmeaufforderung beim automatisierten Fahren
2025 RWTH Publications (RWTH Aachen) dissertation Psychology Human-Automation Interaction and Safety Open access

Steffen Jochum

0

citations

2 results