Implementation of the DKSS Algorithm for Multiplication of Large Numbers. - Christoph Lüders (ISSAC, 2015)

Fast Multiplication of Large Integers: Implementation and Analysis of the DKSS Algorithm. - Christoph Lüders (CoRR, 2015)

Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine. - Satya Swarup Samal; Jeyashree Krishnan; Ali Hadizadeh Esfahani; Christoph Lüders; Andreas Weber 004; Ovidiu Radulescu (Automated Reasoning for Systems Biology and Medicine, 2019)

Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers. - Christoph Lüders (PAAR+SC²@IJCAR, 2020)

Computing Tropical Prevarieties with Satisfiability Modulo Theory (SMT) Solvers. - Christoph Lüders (CoRR, 2020)

Algorithmic Reduction of Biological Networks with Multiple Time Scales. - Niclas Kruff; Christoph Lüders; Ovidiu Radulescu; Thomas Sturm 001; Sebastian Walcher (Math. Comput. Sci., 2021)

ODEbase: A Repository of ODE Systems for Systems Biology. - Christoph Lüders; Thomas Sturm 001; Ovidiu Radulescu (CoRR, 2022)

Reduction of Chemical Reaction Networks with Approximate Conservation Laws. - Aurélien Desoeuvres; Alexandru Iosif; Christoph Lüders; Ovidiu Radulescu; Hamid Rahkooy; Matthias Seiß; Thomas Sturm 001 (SIAM J. Appl. Dyn. Syst., 2024)

A Computational Approach to Polynomial Conservation Laws. - Aurélien Desoeuvres; Alexandru Iosif; Christoph Lüders; Ovidiu Radulescu; Hamid Rahkooy; Matthias Seiß; Thomas Sturm 001 (SIAM J. Appl. Dyn. Syst., 2024)