From

Institution

Field

Type

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

Reset

Papers matching “variable bounds” 56

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Hidden Variables in Deep Learning Digital Pathology and Their Potential to Cause Batch Effects: Prediction Model Study (Preprint)
2020 preprint Computer Science AI in cancer detection Open access

Max Schmitt, Roman Christoph Maron, Achim Hekler, Albrecht Stenzinger, Axel Hauschild, Michael Weichenthal, +11 more

0

citations
Differentiable Structure Learning for Cyclic Linear Gaussian Models with Latent Confounders
2026 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

Sadegh Khorasani, Ali Najar, Saber Salehkaleybar, Negar Kiyavash

0

citations
Inter-Facility Evaluation of Machine Learning Based Deep Hematopoietic Cell Classifiers for Cytological Evaluation of Hematopoiesis
2023 Blood conference-abstract Computer Science Digital Imaging for Blood Diseases Open access

Julian Thull, Martina Margrit Crysandt, Barbara M. Klinkhammer, Peter Boor, Tim H. Brümmendorf, Volkmar Schulz, +2 more

0

citations
One-Shot Multiple Access Channel Simulation
2026 IEEE Transactions on Information Theory article Computer Science Quantum Information and Cryptography Open access

Aditya Nema, Sreejith Sreekumar, Mario Berta

0

citations
Finite-valued Streaming String Transducers
2025 TheoretiCS article Computer Science semigroups and automata theory Open access

Emmanuel Filiot, Ismaël Jecker, Anca Muscholl, Gabriele Puppis, Sarah Winter

2

citations
Computational Complexity of the Weisfeiler-Leman Dimension
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Simon Raßmann, Pascal Schweitzer

2

citations
Computational Complexity of the Weisfeiler-Leman Dimension
2026 ACM Transactions on Computational Logic article Computer Science Advanced Graph Theory Research

Moritz Lichter, Simon Raßmann, Pascal Schweitzer

0

citations
On the Behavior of the Mixed-Integer SMS-EMOA on Box-Constrained Quadratic Bi-Objective Models
2023 conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Ofer M. Shir, Michael Emmerich

2

citations
Fundamental Limitations of QAOA on Constrained Problems and a Route to Exponential Enhancement
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Chinonso Onah, Kristel F. L. Michielsen

0

citations
Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Alexis de Colnet, Floris Geerts, Rihan Hai, Alfons Laarman, Joon Hyung Lee, Guillermo A. Pérez

0

citations
A Calculus for Amortized Expected Runtimes
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht

22

citations
Data variability in neural network Bayesian inference
2025 Physical Review Research article Computer Science Gaussian Processes and Bayesian Inference Open access

Michael Krämer

0

citations
On Deciding Constant Runtime of Linear Loops
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations
On Deciding Constant Runtime of Linear Loops
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations
A theory of data variability in Neural Network Bayesian inference
2023 arXiv (Cornell University) preprint Computer Science Gaussian Processes and Bayesian Inference Open access

Javed Lindner, David Dahmen, Michael Krämer, Moritz Helias

0

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
Polynomial Loops: Beyond Termination
2020 EPiC series in computing conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

13

citations
Space-time adaptive methods for poroviscoelastic flow models
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Mathematical Modeling in Engineering Open access

Simon Boisserée

0

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
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
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

11

citations
On the Bernstein-von Mises theorem for the Dirichlet process
2021 Electronic Journal of Statistics article Computer Science Bayesian Methods and Mixture Models Open access

Kolyan Ray, Aad van der Vaart

8

citations
Multi-label segmentation of carpal bones in MRI using expansion transfer learning
2025 Physics in Medicine and Biology article Computer Science Medical Image Segmentation Techniques Open access cited by 1 patent

Stefan Raith, Matthias Deitermann, Tobias Pankert, Ali Modabber, Frank Hölzle, Frank Hildebrand, +1 more

6

citations
Multiple Poses and Thermodynamics of Ligands Targeting Protein Surfaces: The Case of Furosemide Binding to mitoNEET in Aqueous Solution
2022 Frontiers in Cell and Developmental Biology article Computer Science Computational Drug Discovery Methods Open access

Gia Linh Hoang, Jonas Goßen, Riccardo Capelli, Toan T. Nguyen, Zhaoxi Sun, Ke Zuo, +3 more

6

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

1

citations