| Publication | Date of Publication | Type |
|---|
Efficiently and effectively recognizing toricity of steady state varieties
Mathematics in Computer Science | 2021-06-25 | Paper |
A case study on the parametric occurrence of multiple steady states
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 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
Journal of Symbolic Computation | 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
(available as arXiv preprint) | 2018-02-23 | Paper |
Symbolic-numeric integration of the dynamical Cosserat equations
(available as arXiv preprint) | 2018-02-23 | Paper |
| scientific article; zbMATH DE number 6749560 (Why is no real title available?) | 2017-07-19 | Paper |
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
Journal of Computational Physics | 2016-12-05 | Paper |
On the general analytical solution of the kinematic Cosserat equations
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Reduction methods and chaos for quadratic systems of differential equations
Studies in Applied Mathematics | 2016-05-25 | Paper |
A geometric method for model reduction of biochemical networks with polynomial rate functions
Bulletin of Mathematical Biology | 2016-02-23 | Paper |
On the partial analytical solution of the Kirchhoff equation
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Lie symmetry analysis for Cosserat rods
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
Lie symmetry analysis for Cosserat rods
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
Efficient methods to compute Hopf bifurcations in chemical reaction networks using reaction coordinates
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
Exponential integrators for stiff elastodynamic problems
ACM Transactions on Graphics | 2014-06-05 | Paper |
PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
Complexity of solving systems with few independent monomials and applications to mass-action kinetics
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
Computing Hopf bifurcations in chemical reaction networks using reaction coordinates
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
On Muldowney's criteria for polynomial vector fields with constraints
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
Algorithmic global criteria for excluding oscillations
Bulletin of Mathematical Biology | 2011-06-08 | Paper |
Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
Mathematics in Computer Science | 2011-02-19 | Paper |
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
Computer Algebra in Scientific Computing | 2010-09-10 | Paper |
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
Algebraic Biology | 2009-02-03 | Paper |
A Symbolic-Numeric Approach to Tube Modeling in CAD Systems
Computer Algebra in Scientific Computing | 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
Journal of Symbolic Computation | 2007-10-23 | Paper |
Computer Algebra in Scientific Computing
Lecture Notes in Computer Science | 2006-07-07 | Paper |
| scientific article; zbMATH DE number 2125587 (Why is no real title available?) | 2005-01-07 | Paper |
| scientific article; zbMATH DE number 2125600 (Why is no real title available?) | 2005-01-07 | Paper |
Einführung in die Informatik
eXamen.press | 2004-12-15 | Paper |
Computing radical expressions for roots of unity
ACM SIGSAM Bulletin | 2004-09-01 | Paper |
Modeling epidemics caused by respiratory syncytial virus (RSV)
Mathematical Biosciences | 2002-07-02 | Paper |
Improved algorithms for linear complementarity problem arising from collision response
Mathematics and Computers in Simulation | 2001-09-09 | Paper |
| scientific article; zbMATH DE number 1552516 (Why is no real title available?) | 2001-07-03 | Paper |
| scientific article; zbMATH DE number 1574495 (Why is no real title available?) | 2001-03-12 | Paper |
Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
Journal of Symbolic Computation | 2001-02-06 | Paper |
Introduction to computer science. Object-oriented using Java
Springer-Lehrbuch | 2000-08-20 | Paper |
| scientific article; zbMATH DE number 1263433 (Why is no real title available?) | 2000-06-27 | Paper |
| scientific article; zbMATH DE number 1350004 (Why is no real title available?) | 1999-10-12 | Paper |
On coherence in computer algebra
Journal of Symbolic Computation | 1996-04-22 | Paper |
