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 “computation tree logic” 3

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Towards Rule Extraction for Sector-Coupled Energy Systems Based on Optimization Models
2023 International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS) conference-paper Engineering Integrated Energy Systems Optimization Open access

David Wackerbauer, Dirk Müller

1

citations
Energiesystemoptimierung, Marktmechanismen und Netzplanung in Niedertemperatur-Wärmenetzen
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Integrated Energy Systems Optimization Open access

Yi Nie

0

citations
Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs
2021 IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) conference-paper Engineering Reliability and Maintenance Optimization

Shahid Ali Khan, Joost-Pieter Katoen

1

citations

3 results