Publications

Scientific Publications

[14]

A Computational Approach to Polynomial Conservation Laws (with A. Desoeuvres, A. Iosif, O. Radulescu, H. Rahkooy, M. Seiß, T. Sturm) SIAM J. Applied Dynamical Systems, 23(1):813–854, Mar 2024. (also arXiv:2212.14881)

[13]

Reduction of chemical reaction networks with approximate conservation laws (with A. Desoeuvres, A. Iosif, O. Radulescu, H. Rahkooy, M. Seiß, T. Sturm) SIAM J. Applied Dynamical Systems, 23(1):256–296, Mar 2024. (also arXiv:2212.13474)

[12]

Symbolic Methods for Biological Networks D2.1 Report on Scalable Methods for Tropical Solutions (T1.2) (with E. Bellot, F. Fages, O. Radulescu, S. Soliman) ANR-DFG SYMBIONT Project ANR-17-CE40-0036. [Research Report] Inria Saclay, Apr 2022.

[11]

Algorithmic Reduction of Biochemical Reaction Networks. Doctoral dissertation, Universität Kassel, Feb 2022. (local copy)

[10]

A Computational Approach to Complete Exact and Approximate Conservation Laws of Chemical Reaction Networks (with A. Desoeuvres, A. Iosif, O. Radulescu, H. Rahkooy, M. Seiß, T. Sturm). arXiv:2212.14881, Dec 2022.

[9]

Reduction of Chemical Reaction Networks with Approximate Conservation Laws (with A. Desoeuvres, A. Iosif, O. Radulescu, H. Rahkooy, M. Seiß, T. Sturm). arXiv:2212.13474, Dec 2022.

[8]

ODEbase: A Repository of ODE Systems for Systems Biology (with T. Sturm, O. Radulescu). Bioinform. Adv., 2(1):vbac027, 2022, Apr 2022. (also arXiv:2201.08980)

[7]

Algorithmic Reduction of Biological Networks With Multiple Time Scales (with N. Kruff, O. Radulescu, T. Sturm, S. Walcher). Math. Comput. Sci. 15(3):499–534, Sep 2021. (also arXiv:2010.10129)

[6]

Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers. Proc. PAAR+SC-Square 2020, Nov 2020. (also arXiv:2004.07058)

[5]

ODEbase: an extensible database providing algebraic properties of dynamical systems (with H. Errami, M. Neidhardt, S. S. Samal, A. Weber), extended abstract for CASC 2019, Moscow, Aug 2019

[4]

Metastable regimes and tipping points of biochemical networks with potential applications in precision medicine (with S. S. Samal, J. Krishnan, A. H. Esfahani, A. Weber, O. Radulescu). Automated Reasoning for Systems Biology and Medicine 2019: 269–295.

[3]

Sensitive Parameters and Tipping Points of Biochemical Networks needed in Precision Medicine (with S. S. Samal, J. Krishnan, A. Schuppert, M. Brehme, A. Weber, O. Radulescu). Poster abstracts of International Conference on Systems Biology of Human Disease 2017, July 5–7, 2017, Heidelberg.

[2]

Implementation of the DKSS Algorithm for Multiplication of Large Numbers, ISSAC 2015 — Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, Jun 2015, 267–274. (local copy, slides to the talk)

[1]

Fast Multiplication of Large Integers: Implementation and Analysis of the DKSS Algorithm, Diploma thesis, Universität Bonn, 2014 (also arXiv:1503.04955)

Magazine Articles

[M8]

Erweckung und Entlastung — 10-Gigabit-Ethernet: Windows-Treiber optimal programmieren, die besten Netzwerkkarten wählen (with M. Winkler). c't 17/2021, 138–143; Jul 2021

[M7]

Das Netz beflügeln — Internet-Engpässe mit Windows-Tools aufspüren (with M. Winkler). c't 18/2019, 152–155; Aug 2019

[M6]

Tuning ab Werk — Windows Server 2019 erhält besseren TCP-Stack und HTTP/2 (with M. Winkler). c't 19/2018, 20–21; Sep 2018

[M5]

Richtig aufdrehen — Was den IP-Verkehr beschleunigt und was nicht (with M. Winkler). c't 10/2012, 179–178; Apr 2012

[M4]

Pingpong — Wie die TCP/IP-Flusskontrolle das Surf-Tempo bestimmt (with M. Winkler). c't 23/2006, 198–200; Oct 2007

[M3]

Basteln am Boliden — Internet-Tuning-Tipps unter der Lupe (with M. Winkler). c't 23/2006, 190–197; Oct 2006

[M2]

Durch die Mangel gedreht — Kostenlose Surf-Beschleunigung durch ISDN-Kompression (with M. Winkler). c't; Nov 2000

Teaching

• Sep 2019 — Prep-course for upcoming students in computer science: Vorkurs Formale Methoden der Informatik
• Sep 2018 — Prep-course for upcoming students in computer science: Vorkurs Formale Methoden der Informatik
• Sep 2017 — Prep-course for upcoming students in computer science: Vorkurs Formale Methoden der Informatik
• Winter Term 2016/17 — Life Science Informatics, Lab Course Programming Lab I (Python)
• Sep/Oct 2016 — Prep-course for upcoming students in computer science: Vorkurs Formale Methoden der Informatik
• Sep/Oct 2015 — Prep-course for upcoming students in computer science: Vorkurs Formale Methoden der Informatik
• Sep 2014 — Prep-course for upcoming students in computer science: Vorkurs Formale Methoden der Informatik