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 “temporal logic” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
2025 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access

Simon Dehn, Georg Jacobs, Gregor Höpfner

3

citations
The Meanings Attributed to Representation in Architecture
2025 Journal of Technology in Architecture Design and Planning article Engineering Architecture, Modernity, and Design Open access

Pelin Işık

1

citations
Persistent Street Network and Changing Tourism-Related Functional Space: A Case Study of Pingyao, China, 2009–2023
2026 Land article Engineering Urban Design and Spatial Analysis Open access

Ang Li, Tuna Kalaycı, Karsten Lambers

0

citations
Variability-Aware Modeling of Filamentary Oxide-Based Bipolar Resistive Switching Cells Using SPICE Level Compact Models
2020 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing Open access

Christopher Bengel, Anne Siemon, Felix Cüppers, Susanne Hoffmann‐Eifert, Alexander Hardtdegen, Moritz von Witzleben, +3 more

139

citations
datafev—A Python framework for development and testing of management algorithms for electric vehicle charging infrastructures
2023 Software Impacts article Engineering Electric Vehicles and Infrastructure Open access

Erdem Gümrükcü, Amir Ahmadifar, Aytug Yavuzer, F. Ponci, Antonello Monti

14

citations

5 results