| 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 | 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 |
| $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation | 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 |
