From

Institution

Field

Type

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

Reset

Papers matching “case splitting” 28

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Novel one-shot inner bounds for unassisted fully quantum channels via rate splitting
2021 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Aditya Nema, Pranab Kumar Sen

4

citations
Novel One-Shot Inner Bounds for Unassisted Fully Quantum Channels via Rate Splitting
2024 IEEE Transactions on Information Theory article Computer Science Quantum Information and Cryptography

Sayantan Chakraborty, Aditya Nema, Pranab Kumar Sen

2

citations
Semi-supervised Learning in Distributed Split Learning Architecture and IoT Applications
2023 IEEE International Symposium on Autonomous Decentralized Systems (ISADS) conference-paper Computer Science Privacy-Preserving Technologies in Data

Mahdi Barhoush, Ahmad Ayad, Anke Schmeink

8

citations
3DDPDs: describing protein dynamics for proteochemometric bioactivity prediction. A case for (mutant) G protein-coupled receptors
2023 Journal of Cheminformatics article Computer Science Computational Drug Discovery Methods Open access

Marina Gorostiola González, Remco L. van den Broek, Magdalini Chatzopoulou, Willem Jespers, Adriaan P. IJzerman, Laura H. Heitman, +1 more

6

citations
3DDPDs: Describing protein dynamics for proteochemometric bioactivity prediction. A case for (mutant) G protein-coupled receptors
2023 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Marina Gorostiola González, Remco L. van den Broek, Magdalini Chatzopoulou, Willem Jespers, Adriaan P. IJzerman, Laura H. Heitman, +1 more

1

citations
Latency-Aware Client Assignment for Parallel Split Learning With Global Sampling
2026 arXiv (Cornell University) preprint Computer Science Privacy-Preserving Technologies in Data Open access

Mohammad Kohankhaki, Valentin Rentschler, Anke Schmeink

0

citations
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems
2023 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

5

citations
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
2025 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka

1

citations
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic
2024 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation Open access

Valentin Promies, Erika Ábrahám

3

citations
Polar Encoding: A Simple Baseline Approach for Classification With Missing Values
2024 IEEE Transactions on Fuzzy Systems article Computer Science Machine Learning and Data Classification Open access

Oliver Urs Lenz, Daniel Peralta, Chris Cornelis

3

citations
Smart Summary: A Distributed Medical Recommender System for Patients in the ICU Using Neural Networks
2024 IEEE Access article Computer Science Machine Learning in Healthcare Open access

Ahmad Ayad, Yu-Hsuan Tai, Guido Dartmann, Anke Schmeink

5

citations
catchorg/Catch2: v3.16.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Software Testing and Debugging Techniques Open access

Martin Hořeňovský, Phil Nash, Chris Thrasher, Clare Macrae, Jozef Grajciar, Martin Moene, +24 more

0

citations
Large-Scale Modeling of Sparse Protein Kinase Activity Data
2023 Journal of Chemical Information and Modeling article Computer Science Computational Drug Discovery Methods Open access

Sohvi Luukkonen, Erik Meijer, Giovanni A. Tricarico, Johan Hofmans, Pieter F. W. Stouten, Gerard J. P. van Westen, +1 more

16

citations
Large-scale modelling of sparse kinase activitydata
2023 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Sohvi Luukkonen, Erik Meijer, Giovanni A. Tricarico, Johan Hofmans, Pieter F. W. Stouten, Gerard J. P. van Westen, +1 more

0

citations
Structured Report Generation using Local LLMs for Chat-Based Digital Forensics
2026 conference-paper Computer Science Digital and Cyber Forensics Open access

Ying Dehing, Hans Henseler, Timo Meconi, Marcel Worring, Harm van Beek

0

citations
bioacoustic-ai/bacpipe: bacpipe v1.3.5 Release Notes
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access

Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Ines Nolasco, Ben, +2 more

0

citations
bioacoustic-ai/bacpipe: bacpipe v1.3.5 Release Notes
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access

Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Ines Nolasco, Ben McEwen, +2 more

0

citations
Fast and Informative Model Selection Using Learning Curve Cross-Validation
2023 IEEE Transactions on Pattern Analysis and Machine Intelligence article Computer Science Machine Learning and Data Classification Open access

Felix Mohr, Jan N. van Rijn

66

citations
For real: a thorough look at numeric attributes in subgroup discovery
2020 Data Mining and Knowledge Discovery article Computer Science Data Mining Algorithms and Applications Open access

Marvin Meeng, Arno Knobbe

25

citations
Deep learning detects premalignant lesions in the Fallopian tube
2024 npj Women s Health article Computer Science AI in cancer detection Open access

Joep M. A. Bogaerts, John‐Melle Bokhorst, Michiel Simons, Majke H.D. van Bommel, Miranda P. Steenbeek, Joanne A. de Hullu, +17 more

12

citations
Incorporating Texture Information into Dimensionality Reduction for High-Dimensional Images
2022 IEEE Pacific Visualization Symposium conference-paper Computer Science Face and Expression Recognition Open access

Alexander Vieth, Anna Vilanova, Boudewijn P. F. Lelieveldt, Elmar Eisemann, Thomas Höllt

7

citations
Counterexample-guided inductive synthesis for probabilistic systems
2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

7

citations
Data-efficient Deep Reinforcement Learning for Vehicle Trajectory Control
2023 IEEE International Conference on Intelligent Transportation Systems (ITSC) conference-paper Computer Science Reinforcement Learning in Robotics

Bernd Frauenknecht, Tobias Ehlgen, Sebastian Trimpe

3

citations
An IQP Born Machine for Calorimeter Image Generation at 64 Qubits with Compiled-IQP Deployment
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

J. Slim, Saverio Monaco, Florian Rehm, Dirk Krücker, Kerstin Borras

0

citations
Data-efficient Deep Reinforcement Learning for Vehicle Trajectory Control
2023 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Bernd Frauenknecht, Tobias Ehlgen, Sebastian Trimpe

0

citations