Christoph Lüders

According to our database, Christoph Lüders authored at least 9 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Computational Approach to Polynomial Conservation Laws.

Aurélien Desoeuvres, Alexandru Iosif, Christoph Lüders, Ovidiu Radulescu, Hamid Rahkooy, Matthias Seiß, Thomas Sturm

SIAM J. Appl. Dyn. Syst., March, 2024

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

SIAM J. Appl. Dyn. Syst., March, 2024

2022

ODEbase: A Repository of ODE Systems for Systems Biology.

Christoph Lüders, Thomas Sturm, Ovidiu Radulescu

CoRR, 2022

2021

Algorithmic Reduction of Biological Networks with Multiple Time Scales.

Niclas Kruff, Christoph Lüders, Ovidiu Radulescu, Thomas Sturm, Sebastian Walcher

Math. Comput. Sci., 2021

2020

Computing Tropical Prevarieties with Satisfiability Modulo Theory (SMT) Solvers.

Christoph Lüders

CoRR, 2020

Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers.

Christoph Lüders

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

2019

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, Ovidiu Radulescu

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

2015

Fast Multiplication of Large Integers: Implementation and Analysis of the DKSS Algorithm.

Christoph Lüders

CoRR, 2015

Implementation of the DKSS Algorithm for Multiplication of Large Numbers.

Christoph Lüders

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015