Algorithmic reduction of biological networks with multiple time scales N Kruff, C Lüders, O Radulescu, T Sturm, S Walcher Mathematics in Computer Science 15 (3), 499-534, 2021 | 10 | 2021 |
Implementation of the DKSS algorithm for multiplication of large numbers C Lüders Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015 | 9 | 2015 |
Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers C Lüders SC-Square 2020, Co-Located With IJCAR 2020 2752 (CEUR Workshop Proceedings …, 2020 | 8 | 2020 |
ODEbase: a repository of ODE systems for systems biology C Lüders, T Sturm, O Radulescu Bioinformatics Advances 2 (1), vbac027, 2022 | 7 | 2022 |
Metastable regimes and tipping points of biochemical networks with potential applications in precision medicine SS Samal, J Krishnan, AH Esfahani, C Lüders, A Weber, O Radulescu Automated Reasoning for Systems Biology and Medicine, 269-295, 2019 | 5 | 2019 |
ODEbase: an extensible database providing algebraic properties of dynamical systems C Lüders, H Errami, M Neidhardt, SS Samal, A Weber | 4 | 2019 |
PtCut: Calculate Tropical Equilibrations and Prevarieties C Lüders http://www.wrogn.com/ptcut/, 2017 | 4 | 2017 |
Reduction of chemical reaction networks with approximate conservation laws A Desoeuvres, A Iosif, C Lüders, O Radulescu, H Rahkooy, M Seiß, ... SIAM Journal on Applied Dynamical Systems 23 (1), 256-296, 2024 | 3 | 2024 |
Fast multiplication of large integers: Implementation and analysis of the DKSS algorithm C Lüders arXiv preprint arXiv:1503.04955, 2015 | 3 | 2015 |
Pingpong–Wie das TCP C Lüders, M Winkler IP-Flusskontrolle das Surf-Tempo bestimmt, 198-200, 0 | 2 | |
A Computational Approach to Polynomial Conservation Laws A Desoeuvres, A Iosif, C Lüders, O Radulescu, H Rahkooy, M Seiß, ... SIAM Journal on Applied Dynamical Systems 23 (1), 813-854, 2024 | 1 | 2024 |
A Computational Approach to Complete Exact and Approximate Conservation Laws of Chemical Reaction Networks A Desoeuvres, A Iosif, C Lüders, O Radulescu, H Rahkooy, M Seiß, ... | 1 | 2022 |
Symbolic Methods for Biological Networks D2. 1 Report on Scalable Methods for Tropical Solutions (T1. 2) C Lüders, E Bellot, F Fages, O Radulescu, S Soliman Inria Saclay, 2022 | | 2022 |
Algorithmic Reduction of Biochemical Reaction Networks C Lüders | | 2022 |
How Effective is cFosSpeed Traffic Shaping? C Lüders, C Carazo https://www.cfos.de/files/cfosspeed-traffic-shaping-report.pdf, 2018 | | 2018 |
Sensitive Parameters and Tipping Points of Biochemical Networks needed in Precision Medicine SS Samal, J Krishnan, C Lüders, A Schuppert, M Brehme, A Weber, ... | | |
Formale Methoden der Informatik C Lüders | | |