From

Institution

Field

Type

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

Reset

Papers matching “inequality” 65

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Collection of Pinsker-type Inequalities for Quantum Divergences
2026 IEEE International Symposium on Information Theory (ISIT) conference-paper Computer Science Quantum Information and Cryptography Open access

Kläre Wienecke, Gereon Koßmann, René Schwonnek

1

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Parallel Split Learning with Global Sampling
2025 International Conference on Foundation and Large Language Models (FLLM) conference-paper Computer Science Privacy-Preserving Technologies in Data Open access

Mohammad Kohankhaki, Ahmad Ayad, Mahdi Barhoush, Anke Schmeink

1

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
Optimal Local Convergence Rates of Stochastic First-Order Methods under Local $α$-PL
2024 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Saeed Masiha, Saber Salehkaleybar, Niao He, Negar Kiyavash, Patrick Thiran

0

citations
Robust optimization and variants of the scheduling problem
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Complexity and Algorithms in Graphs Open access

Jenny Segschneider

0

citations
Quantum channel coding: Approximation algorithms and strong converse exponents
2024 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Aadil Oufkir, Mario Berta

0

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
Fairness-Aware Network Embeddings: Methods, Applications, and Challenges
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Ella Has, Harshith Kumar Yadav, Gaurav Dixit, Mykola Pechenizkiy, Akrati Saxena

0

citations
Maximum Solow--Polasky Diversity Subset Selection Is NP-hard Even in the Euclidean Plane
2026 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Michael Emmerich, Ksenia Pereverdieva, Andre H. Deutz

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
Branch-and-price strikes back for the k-vertex cut problem
2026 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Fabio Ciccarelli, Fabio Furini, Christopher Hojny, Marco E. Lübbecke

0

citations
Branch-Price-and-Cut
2026 Springer eBooks book-chapter Computer Science Complexity and Algorithms in Graphs Open access

Jacques Desrosiers, Marco E. Lübbecke, Guy Desaulniers, Jean Bertrand Gauthier

0

citations
Statistical Learning Theory for Distributional Classification
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Machine Learning and Algorithms Open access

Christian Fiedler

0

citations
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

citations