From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “temporal complexity” 48

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

citations
Provably Robust Temporal Difference Learning for Heavy-Tailed Rewards
2023 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Semih Çaycı, Atilla Eryılmaz

2

citations
Who Did What When? Discovering Complex Historical Interrelations in Immersive Virtual Reality
2023 IEEE International Symposium on Mixed and Augmented Reality (ISMAR) conference-paper Computer Science Data Visualization and Analytics Open access

Melanie Derksen, Mohammad Fazleh Elahi, Angelika Maier, Marius Maile, Ingo Pätzold, Jonas Penningroth, +7 more

2

citations
Timeline-based planning over dense temporal domains
2020 Theoretical Computer Science article Computer Science AI-based Problem Solving and Planning Open access

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger

6

citations
GTCN-G: A Residual Graph-Temporal Fusion Network for Imbalanced Intrusion Detection
2025 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) conference-paper Computer Science Network Security and Intrusion Detection Open access

Tianxiang Xu, Zhichao Wen, Xinyu Zhao, Qi Hu, Yan Li, Chang Liu

4

citations
GTCN-G: A Residual Graph-Temporal Fusion Network for Imbalanced Intrusion Detection
2025 arXiv (Cornell University) preprint Computer Science Network Security and Intrusion Detection Open access

Tianxiang Xu, Zhichao Wen, Xinyu Zhao, Yan Li, Chang Liu

1

citations
Temporal convolutional autoencoder for unsupervised anomaly detection in time series
2021 Applied Soft Computing article Computer Science Anomaly Detection Techniques and Applications Open access

Markus Thill, Wolfgang Konen, Hao Wang, Thomas Bäck

220

citations
The art of temporal decoupling
2024 Integration article Computer Science Embedded Systems Design Techniques Open access

Niko Zurstraßen, Ruben Brandhofer, José Cubero-Cascante, Nils Bosbach, Lukas Jünger, Rainer Leupers

1

citations
Fast maximal clique enumeration in weighted temporal networks
2026 Social Network Analysis and Mining article Computer Science Graph Theory and Algorithms Open access

Hanjo D. Boekhout, Frank W. Takes

0

citations
Fast maximal clique enumeration in weighted temporal networks
2024 arXiv (Cornell University) preprint Computer Science Graph Theory and Algorithms Open access

Hanjo D. Boekhout, Frank W. Takes

0

citations
Simulating complex listening scenarios in audiovisual virtual reality : the impact of audiovisual cues, spatial noise, and room acoustics on listening performance
2026 RWTH Publications (RWTH Aachen) book Computer Science Speech and Audio Processing Open access

Cosima A. Ermert

0

citations
Recurrent Natural Policy Gradient for POMDPs
2024 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Semih Çaycı, Atilla Eryılmaz

0

citations
Natural Strategic Ability in Stochastic Multi-Agent Systems
2024 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

1

citations
Natural Strategic Ability in Stochastic Multi-Agent Systems
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

0

citations
Probabilistic hyperlogics: extensions and efficient model checking
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Carolina Gerlach

0

citations
Verification of Robust Multi-Agent Systems
2026 conference-paper Computer Science Formal Methods in Verification Open access

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

0

citations
Minimum‐Peak‐Cost Flows Over Time
2025 Networks article Computer Science Complexity and Algorithms in Graphs Open access

Mariia Anapolska, Emma Ahrens, Christina Büsing, Timo Gersing, Corinna Mathwieser, Sabrina Schmitz, +1 more

0

citations
Increasing the resolution of solar and wind time series for energy system modeling: A review
2023 Renewable and Sustainable Energy Reviews article Computer Science Solar Radiation and Photovoltaics Open access

Olalekan Omoyele, Maximilian Hoffmann, Matti Koivisto, Miguel Larrañeta, Jann Michael Weinand, Jochen Linßen, +1 more

61

citations
AlphaZero-Inspired Game Learning: Faster Training by Using MCTS Only at Test Time
2022 RWTH Publications (RWTH Aachen) article Computer Science Artificial Intelligence in Games Open access

Johannes Scheiermann, Wolfgang Konen

0

citations
Robust and accurate regression-based techniques for period inference in real-time systems
2022 Real-Time Systems article Computer Science Real-Time Systems Scheduling Open access

Șerban Vădineanu, Mitra Nasri

3

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches
2024 Journal of Artificial Intelligence Research article Computer Science AI-based Problem Solving and Planning Open access

Dominik Drexler, Jendrik Seipp, Héctor Geffner

0

citations
A Systematic Review of Formal Verification Models for Safety of Autonomous AI Agents: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Formal Methods in Verification Open access

A. G. Lewis, B. Horváth, R. Costa

0

citations
A Framework for Belief-based Programs and Their Verification
2025 Journal of Artificial Intelligence Research article Computer Science Logic, Reasoning, and Knowledge Open access

Gerhard Lakemeyer

0

citations