From

Institution

Field

Type

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

Reset

Papers matching “conditional expectation” 38

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Kernel conditional tests from learning-theoretic bounds
2025 neural information processing systems conference-paper Computer Science Gaussian Processes and Bayesian Inference Open access

Pierre-François Massiani, Christian Fiedler, Lukas Haverbeck, Friedrich Solowjow, Sebastian Trimpe

0

citations
Machine learning based conditional mean filter: a non-linear extension of the ensemble Kalman filter
2021 conference-abstract Computer Science Target Tracking and Data Fusion in Sensor Networks Open access

Truong‐Vinh Hoang, Sebastian Krumscheid, Raul F. Tempone

2

citations
Fixed points in de Finetti hierarchies
2026 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Gereon Koßmann, Julius A. Zeiss

0

citations
A Deductive Verification Infrastructure for Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

citations
The effect of physiotherapists' explanation of therapeutic virtual reality on treatment expectations in healthy people and people with chronic musculoskeletal pain: Two online RCTs
2025 PEC Innovation article Computer Science Virtual Reality Applications and Impacts Open access

Syl Slatman, Wim van Lankveld, J. Bart Staal, Harry van Goor, Raymond Ostelo, Janine Westendorp, +1 more

0

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

12

citations
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

3

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

2

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

2

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

0

citations
Analyzing Spatial Variations of Cloud Attenuation by a Network of All-Sky Imagers
2022 Remote Sensing article Computer Science Solar Radiation and Photovoltaics Open access

Niklas Benedikt Blum, Stefan Wilbert, Bijan Nouri, Jonas Stührenberg, Jorge Enrique Lezaca Galeano, Thomas Schmidt, +3 more

16

citations
Reliable Low-Latency Wi-Fi Mesh Networks
2021 IEEE Internet of Things Journal article Computer Science Wireless Networks and Protocols

Bhargav V.Gokalgandhi, Marcos B. S. Tavares, Dragan Samardžija, Ivan Seskar, Haris Gacanin

11

citations
No evidence for automatic response activation with target onset in the avatar-compatibility task
2020 Memory & Cognition article Computer Science Virtual Reality Applications and Impacts Open access

Christian Böffel, Jochen Müsseler

6

citations
Linear Maps as Sufficient Criteria for Entanglement Depth and Compatibility in Many-Body Systems
2022 Open Systems & Information Dynamics article Computer Science Quantum Information and Cryptography Open access

Maciej Lewenstein, Guillem Müller-Rigat, Jordi Tura, Anna Sanpera

4

citations
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

2

citations
Minimizing Quantized Semantic Age of Information (QSAoI) in Foundation Model-Based Semantic Communications
2026 arXiv (Cornell University) preprint Computer Science Age of Information Optimization Open access

Huanyu Zhang, Yulin Hu, Xiaopeng Yuan, Aydin Sezgin, Anke Schmeink

0

citations
Scalable, Explainable and Provably Robust Anomaly Detection with One-Step Flow Matching
2025 neural information processing systems conference-paper Computer Science Anomaly Detection Techniques and Applications Open access

Zhong Li, Qi Zhong Huang, Yuxuan Zhu, Lincen Yang, Bas van Stein, Matthijs van Leeuwen

0

citations
Upside Down Reinforcement Learning with Policy Generators
2025 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Dylan R. Ashley, Vincent Herrmann, Francesco Faccio, Jürgen Schmidhuber

0

citations
Generative Semantic Segmentation via an Observable Semantic-Image Interface and Hierarchical Generator Evidence Alignment
2026 arXiv (Cornell University) preprint Computer Science Advanced Neural Network Applications Open access

Weize Cai, Yongqi Dong, Zhida Shao, Zixin Fu

0

citations
Graph Exploration with Edge Weight Estimates
2025 arXiv (Cornell University) preprint Computer Science Optimization and Search Problems Open access

Matthias Gehnen, Ralf Klasing, Émile Naquin

0

citations
An AI-Driven Multi-Source Data Fusion Framework for Intelligent Network Optimization in 5G-A Systems
2026 International Journal of Artificial Intelligence Research article Computer Science Software-Defined Networks and 5G Open access

Elena Conti

0

citations
Pupillary and microsaccadic responses to cognitive effort and emotional arousal during complex decision making
2020 Journal of Eye Movement Research article Computer Science Gaze Tracking and Assistive Technology Open access

Krzysztof Krejtz, Justyna Żurawska, Andrew T. Duchowski, Szymon Wichary

39

citations
Understanding and improving model-driven IoT systems through accompanying digital twins
2021 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE) conference-paper Computer Science Model-Driven Software Engineering Techniques

Jörg Christian Kirchhof, Lukas Malcher, Bernhard Rumpe⋆

24

citations
Reliability-Optimal Offloading for Mobile Edge-Computing in Low-Latency Industrial IoT Networks
2024 IEEE Transactions on Wireless Communications article Computer Science IoT and Edge/Fog Computing

Jie Wang, Yulin Hu, Yao Lin Zhu, Tong Wang, Anke Schmeink

13

citations