An Automatic Method of Solving Discrete Programming Problems

• Multiple Testing of Mix‐and‐Match Feature Sets in Multi‐Omics

  2026 Statistics in Medicine article Biochemistry, Genetics and Molecular Biology Bioinformatics and Genomic Networks Open access

  1

  citations
• Prioritization and exchange chains in privacy-preserving kidney exchange

  2024 Journal of Computer Security article Computer Science Cryptography and Data Security

  3

  citations
• Termination of triangular polynomial loops

  2023 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

  8

  citations
• Permutation-based true discovery guarantee by sum tests

  2023 Journal of the Royal Statistical Society Series B (Statistical Methodology) article Mathematics Statistical Methods in Clinical Trials Open access

  13

  citations
• A branch and bound algorithm for robust binary optimization with budget uncertainty

  2023 Mathematical Programming Computation article Decision Sciences Risk and Portfolio Optimization Open access

  9

  citations
• Solving the Kidney Exchange Problem Using Privacy-Preserving Integer Programming

  2022 conference-paper Computer Science Cryptography and Data Security Open access

  6

  citations
• Closed Testing with Globaltest, with Application in Metabolomics

  2022 Biometrics article Mathematics Statistical Methods in Clinical Trials Open access

  5

  citations
• Experiments with Automated Reasoning in the Class

  2022 Lecture notes in computer science conference-paper Computer Science Teaching and Learning Programming Open access

  1

  citations
• Efficient data structures for model-free data-driven computational mechanics

  2021 Computer Methods in Applied Mechanics and Engineering article Engineering Numerical methods in engineering Open access

  67

  citations
• Convex Quadratic Mixed-Integer Problems with Quadratic Constraints

  2020 Operations research proceedings book-chapter Mathematics Advanced Optimization Algorithms Research

  0

  citations

10 results