| Publication | Date of Publication | Type |
|---|
| Efficiently and effectively recognizing toricity of steady state varieties | 2021-06-25 | Paper |
| A Case Study on the Parametric Occurrence of Multiple Steady States | 2020-09-09 | Paper |
| Sparse Error Localization in Complex Dynamic Networks | 2020-06-08 | Paper |
| Identifying the parametric occurrence of multiple steady states for some biological networks | 2020-01-15 | Paper |
| Structural Invertibility and Optimal Sensor Node Placement for Error and Input Reconstruction in Dynamic Systems | 2019-04-26 | Paper |
| On three genetic repressilator topologies | 2018-09-24 | Paper |
| Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks | 2018-02-23 | Paper |
| Symbolic-numeric integration of the dynamical Cosserat equations | 2018-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5279157 | 2017-07-19 | Paper |
| Detection of Hopf bifurcations in chemical reaction networks using convex coordinates | 2016-12-05 | Paper |
| On the General Analytical Solution of the Kinematic Cosserat Equations | 2016-11-09 | Paper |
| Reduction methods and chaos for quadratic systems of differential equations | 2016-05-25 | Paper |
| A geometric method for model reduction of biochemical networks with polynomial rate functions | 2016-02-23 | Paper |
| On the Partial Analytical Solution of the Kirchhoff Equation | 2015-11-25 | Paper |
| Lie Symmetry Analysis for Cosserat Rods | 2014-09-08 | Paper |
| Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates | 2014-07-07 | Paper |
| Exponential integrators for stiff elastodynamic problems | 2014-06-05 | Paper |
| PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks | 2012-09-21 | Paper |
| Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics | 2012-09-21 | Paper |
| Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates | 2012-09-21 | Paper |
| On Muldowney’s Criteria for Polynomial Vector Fields with Constraints | 2011-09-02 | Paper |
| Algorithmic global criteria for excluding oscillations | 2011-06-08 | Paper |
| Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology | 2011-02-19 | Paper |
| Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) | 2010-09-10 | Paper |
| Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology | 2009-02-03 | Paper |
| A Symbolic-Numeric Approach to Tube Modeling in CAD Systems | 2008-07-04 | Paper |
| Quantifier elimination on real closed fields and differential equations | 2008-04-11 | Paper |
| Algorithmic methods for investigating equilibria in epidemic modeling | 2007-10-23 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156409 | 2005-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156425 | 2005-01-07 | Paper |
| Einführung in die Informatik | 2004-12-15 | Paper |
| Computing radical expressions for roots of unity | 2004-09-01 | Paper |
| Modeling epidemics caused by respiratory syncytial virus (RSV) | 2002-07-02 | Paper |
| Improved algorithms for linear complementarity problem arising from collision response | 2001-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524775 | 2001-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2702030 | 2001-03-12 | Paper |
| Deciding Hopf bifurcations by quantifier elimination in a software-component architecture | 2001-02-06 | Paper |
| Introduction to computer science. Object-oriented using Java | 2000-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234332 | 2000-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4265397 | 1999-10-12 | Paper |
| On coherence in computer algebra | 1996-04-22 | Paper |
