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

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Controlling Golog Programs against MTL Constraints
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Stefan Schupp

0

citations
INCOST - Intelligent Construction Site Task Scheduler
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science AI-based Problem Solving and Planning Open access

Pranav Shevkar, Görkem Can Ertemli, Sigrid Brell‐Çokcan

0

citations
Artificial General Intelligence (AGI)
2025 Underline Science Inc. other Computer Science Psychiatry, Mental Health, Neuroscience Open access

Eric Horvitz

0

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
INCOST - Intelligent Construction Site Task Scheduler
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science AI-based Problem Solving and Planning Open access

Pranav Shevkar, Görkem Can Ertemli, Sigrid Brell‐Çokcan

0

citations
Using digital trace data to study public sentiment toward the police. A demonstration case on the George Floyd killing
2026 Evidence Base article Computer Science Sentiment Analysis and Opinion Mining Open access

Maximilian Michael Pickartz, Christof Nägel

0

citations