| Publication | Date of Publication | Type |
|---|
| Reduction of Chemical Reaction Networks with Approximate Conservation Laws | 2024-01-29 | Paper |
| A Computational Approach to Polynomial Conservation Laws | 2022-12-30 | Paper |
| A linear algebra approach for detecting binomiality of steady state ideals of reversible chemical reaction networks | 2022-12-21 | Paper |
| First-order tests for toricity | 2022-12-21 | Paper |
| Parametric toricity of steady state varieties of reaction networks | 2022-03-24 | Paper |
| Testing binomiality of chemical reaction networks using comprehensive Gröbner systems | 2022-03-24 | Paper |
| Algorithmic reduction of biological networks with multiple time scales | 2021-11-24 | Paper |
| A logic based approach to finding real singularities of implicit ordinary differential equations | 2021-06-25 | Paper |
| 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 |
| Thirty years of virtual substitution. Foundations, techniques, applications | 2020-09-09 | Paper |
| A complete and terminating approach to linear integer solving | 2020-03-24 | Paper |
| Identifying the parametric occurrence of multiple steady states for some biological networks | 2020-01-15 | Paper |
| Positive solutions of systems of signed parametric polynomial inequalities | 2018-10-23 | Paper |
| Deciding first-order satisfiability when universal and existential variables are separated | 2018-04-23 | Paper |
| A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications | 2018-02-27 | Paper |
| Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks | 2018-02-23 | Paper |
| Subtropical satisfiability | 2018-01-04 | Paper |
| Satisfiability checking and symbolic computation | 2017-06-21 | Paper |
| Detection of Hopf bifurcations in chemical reaction networks using convex coordinates | 2016-12-05 | Paper |
| Subtropical real root finding | 2016-09-29 | Paper |
| \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper) | 2016-08-30 | Paper |
| Better answers to real questions | 2015-12-08 | Paper |
| Linear integer arithmetic revisited | 2015-12-02 | Paper |
| Parametric quantified SAT solving | 2015-09-17 | Paper |
| Verification and synthesis using real quantifier elimination | 2015-06-09 | Paper |
| Towards conflict-driven learning for virtual substitution | 2014-09-08 | Paper |
| Efficient methods to compute Hopf bifurcations in chemical reaction networks using reaction coordinates | 2014-07-07 | Paper |
| Presburger arithmetic in memory access optimization for data-parallel languages | 2013-09-20 | 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 |
| Automatic verification of the adequacy of models for families of geometric objects | 2011-05-26 | Paper |
| Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology | 2011-02-19 | Paper |
| Supporting global numerical optimization of rational functions by generic symbolic convexity tests | 2010-09-10 | Paper |
| Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) | 2010-09-10 | Paper |
| Effective Quantifier Elimination for Presburger Arithmetic with Infinity | 2009-11-10 | Paper |
| Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology | 2009-02-03 | Paper |
| Weak quantifier elimination for the full linear theory of the integers | 2008-09-10 | Paper |
| New Domains for Applied Quantifier Elimination | 2008-07-04 | Paper |
| Weak Integer Quantifier Elimination Beyond the Linear Case | 2008-07-01 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660673 | 2005-04-04 | Paper |
| Efficient projection orders for CAD | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808700 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760201 | 2003-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2702025 | 2001-10-03 | Paper |
| Linear problems in valued fields | 2001-02-06 | Paper |
| Reasoning over networks by symbolic methods | 2000-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247790 | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4232480 | 1999-08-23 | Paper |
| A new approach for automatic theorem proving in real geometry | 1999-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226991 | 1999-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838772 | 1998-10-26 | Paper |
| Simplification of quantifier-free formulae over ordered fields | 1997-09-29 | Paper |
