From

Institution

Field

Type

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

Reset

Papers matching “temporal specifications” 57

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Diagnosing Temporal Misalignment in Multichannel Time-Series Classification with Minimum Description Length
2026 arXiv (Cornell University) preprint Computer Science Time Series Analysis and Forecasting Open access

Sebastian Buschjäger, Michael Frichert, Daniel Kuhse, Jian-Jia Chen

0

citations
Quantitative and temporal approach to utilising electronic medical records from general practices in mental health prediction
2020 Computers in Biology and Medicine article Computer Science Machine Learning in Healthcare Open access

Olga Półchłopek, Nynke R. Koning, Frederike L. Büchner, Mathilde R. Crone, Mattijs Everard Numans, Mark Hoogendoorn

17

citations
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
Quantum generative modeling for financial time series with temporal correlations
2026 Machine Learning Science and Technology article Computer Science Quantum Computing Algorithms and Architecture Open access

David Dechant, Eliot Schwander, Lucas Van Drooge, Charles Moussa, Diego Garlaschelli, Vedran Dunjko, +1 more

3

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

9

citations
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Gerhard Lakemeyer

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
Temporal Heterogeneous Graph Pretraining for Relational Deep Learning
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Yixin Peng, 金儿, Diego Collarana, Stefan Decker

0

citations
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
2021 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer

1

citations
Convex Optimization for Parameter Synthesis in MDPs
2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

21

citations
Scenario-based verification of uncertain parametric MDPs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

2

citations
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský

21

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

0

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

1

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
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
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

1

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

0

citations
WALD-EM: Wald Accumulation for Locations and Durations of Eye Movements
2020 preprint Computer Science Visual Attention and Saliency Detection Open access

Šimon Kucharský, Daan R. van Renswoude, Maartje E. J. Raijmakers, Ingmar Visser

0

citations
Scenario-Based Verification of Uncertain MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

20

citations
Semiring Provenance for Fixed-Point Logic
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

12

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations