From

Institution

Field

Type

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

Reset

Papers matching “convexity” 72

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Joint Convexity of Error Probability in Blocklength and Transmit Power in the Finite Blocklength Regime
2022 RWTH Publications (RWTH Aachen) article Computer Science Error Correcting Code Techniques Open access

Yao Pan Zhu, Yulin Hu, Xiaopeng Yuan, M. Cenk Gursoy, H. Vincent Poor, Anke Schmeink

2

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
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

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

15

citations
Application of convex hull analysis for the evaluation of data heterogeneity between patient populations of different origin and implications of hospital bias in downstream machine-learning-based data processing: A comparison of 4 critical-care patient datasets
2022 Frontiers in Big Data article Computer Science Machine Learning in Healthcare Open access

Konstantin Sharafutdinov, Jayesh Sudhir Bhat, Sebastian Johannes Fritsch, Kateryna Nikulina, Moein E. Samadi, Richard Polzin, +4 more

12

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
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
Artifact VM for "Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming"
2021 Figshare software Computer Science Formal Methods in Verification Open access

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

0

citations
A Tutorial on Convex Design of Optimization Algorithms by Integral Quadratic Constraints
2025 Annual Review of Control Robotics and Autonomous Systems review Computer Science Stochastic Gradient Optimization Techniques Open access

Carsten W. Scherer, Christian Ebenbauer

3

citations
Quantum Broadcast Channel Simulation via Multipartite Convex Splitting
2025 Communications in Mathematical Physics article Computer Science Quantum Information and Cryptography Open access

Mario Berta, Hao–Chung Cheng, Li Gao

7

citations
Quantum Broadcast Channel Simulation via Multipartite Convex Splitting
2023 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Hao–Chung Cheng, Gao Li, Mario Berta

3

citations
Tomography and Applications
2023 Fundamenta Informaticae article Computer Science Digital Image Processing Techniques Open access

Paolo Dulio, Andrea Frosini, Grzegorz Rozenberg, Lama Tarsissi

0

citations
Quantum Optimization: Potential, Challenges, and the Path Forward
2023 report Computer Science Quantum Computing Algorithms and Architecture Open access

Amira Abbas, USDOE National Nuclear Security Administration (NNSA), Andris Ambainis, Brandon Augustino, Andreas Bärtschi, Harry Buhrman, +40 more

60

citations
Multi-iteration Stochastic Optimizers
2026 Applied Mathematics & Optimization article Computer Science Stochastic Gradient Optimization Techniques Open access

André Gustavo Carlon, Luis Espath, Rafael Holdorf Lopez, Raul F. Tempone

3

citations
Analytically Characterized Optimal Power Control for Signal-Level-Integrated Sensing, Computing and Communication in Federated Learning
2026 arXiv (Cornell University) preprint Computer Science Distributed Sensor Networks and Detection Algorithms Open access

Paul Zheng, Yao Zhu, Xiaopeng Yuan, Yulin Hu, Anke Schmeink

0

citations
Continuous optimization
2025 Cambridge University Press eBooks book-chapter Computer Science Quantum Computing Algorithms and Architecture Open access

Sam McArdle, Connor T. Hann, Aleksander Kubica, Fernando G. S. L. Brandão

0

citations
A Riemannian Optimization Perspective of the Gauss-Newton Method for Feedforward Neural Networks
2024 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Semih Çaycı

1

citations
Optimally Weighted Ensembles of Regression Models: Exact Weight Optimization and Applications
2022 arXiv (Cornell University) preprint Computer Science Machine Learning and Data Classification Open access

Patrick Echtenbruck, Martina Echtenbruck, Joost Batenburg, Thomas Bäck, Boris Naujoks, Michael Emmerich

1

citations
The Influence of Inhomogeneous Input Data from Different Waves on Predictive Model Development for COVID-19 ICU Patients (Preprint)
2021 preprint Computer Science Machine Learning in Healthcare Open access

Sebastian Johannes Fritsch, Konstantin Sharafutdinov, Moein E. Samadi, Gernot Marx, Andreas Schuppert, Johannes Bickenbach

0

citations
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
2024 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn

0

citations
Distributed Event-Based Learning via ADMM
2024 arXiv (Cornell University) preprint Computer Science Privacy-Preserving Technologies in Data Open access

Guner Dilsad Er, Sebastian Trimpe, Michael Muehlebach

0

citations
The Role of Causality in Algorithmic Recourse
2026 arXiv (Cornell University) preprint Computer Science Explainable Artificial Intelligence (XAI) Open access

Srikanth Avasarala, Varun Gupta, Shahin Jabbari, Saber Salehkaleybar, Juba Ziani

0

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

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
End-To-End Resource Analysis for Quantum Interior-Point Methods and Portfolio Optimization
2023 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Alexander M. Dalzell, B. D. Clader, Grant Salton, Mario Berta, Cedric Yen-Yu Lin, David A. Bader, +5 more

18

citations
Fog Computing Meets URLLC: Energy Minimization of Task Partial Offloading for URLLC Services
2024 IEEE Access article Computer Science IoT and Edge/Fog Computing Open access

Chenhao Shi, Jingrui Wei, Yao Lin Zhu, Anke Schmeink

3

citations