| Publication | Date of Publication | Type |
|---|
Reduction of Chemical Reaction Networks with Approximate Conservation Laws
SIAM Journal on Applied Dynamical Systems | 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
(available as arXiv preprint) | 2022-12-21 | Paper |
First-order tests for toricity
(available as arXiv preprint) | 2022-12-21 | Paper |
Parametric toricity of steady state varieties of reaction networks
(available as arXiv preprint) | 2022-03-24 | Paper |
Testing binomiality of chemical reaction networks using comprehensive Gröbner systems
(available as arXiv preprint) | 2022-03-24 | Paper |
Algorithmic reduction of biological networks with multiple time scales
Mathematics in Computer Science | 2021-11-24 | Paper |
A logic based approach to finding real singularities of implicit ordinary differential equations
Mathematics in Computer Science | 2021-06-25 | Paper |
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 |
Thirty years of virtual substitution. Foundations, techniques, applications
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
A complete and terminating approach to linear integer solving
Journal of Symbolic Computation | 2020-03-24 | Paper |
Identifying the parametric occurrence of multiple steady states for some biological networks
Journal of Symbolic Computation | 2020-01-15 | Paper |
Positive solutions of systems of signed parametric polynomial inequalities
(available as arXiv preprint) | 2018-10-23 | Paper |
Deciding first-order satisfiability when universal and existential variables are separated
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
Mathematics in Computer Science | 2018-02-27 | Paper |
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
(available as arXiv preprint) | 2018-02-23 | Paper |
Subtropical satisfiability
(available as arXiv preprint) | 2018-01-04 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
Journal of Computational Physics | 2016-12-05 | Paper |
Subtropical real root finding
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
\textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Better answers to real questions
Journal of Symbolic Computation | 2015-12-08 | Paper |
Linear integer arithmetic revisited
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Parametric quantified SAT solving
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Verification and synthesis using real quantifier elimination
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Towards conflict-driven learning for virtual substitution
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 |
Presburger arithmetic in memory access optimization for data-parallel languages
Frontiers of Combining Systems | 2013-09-20 | 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 |
Automatic verification of the adequacy of models for families of geometric objects
Automated Deduction in Geometry | 2011-05-26 | Paper |
Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
Mathematics in Computer Science | 2011-02-19 | Paper |
Supporting global numerical optimization of rational functions by generic symbolic convexity tests
Computer Algebra in Scientific Computing | 2010-09-10 | 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 |
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
Algebraic Biology | 2009-02-03 | Paper |
Weak quantifier elimination for the full linear theory of the integers
Applicable Algebra in Engineering, Communication and Computing | 2008-09-10 | Paper |
New Domains for Applied Quantifier Elimination
Computer Algebra in Scientific Computing | 2008-07-04 | Paper |
Weak Integer Quantifier Elimination Beyond the Linear Case
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
Computer Algebra in Scientific Computing
Lecture Notes in Computer Science | 2006-07-07 | Paper |
| scientific article; zbMATH DE number 2151206 (Why is no real title available?) | 2005-04-04 | Paper |
Efficient projection orders for CAD
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
| scientific article; zbMATH DE number 2090033 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1684364 (Why is no real title available?) | 2003-03-13 | Paper |
| scientific article; zbMATH DE number 1574492 (Why is no real title available?) | 2001-10-03 | Paper |
Linear problems in valued fields
Journal of Symbolic Computation | 2001-02-06 | Paper |
Reasoning over networks by symbolic methods
Applicable Algebra in Engineering, Communication and Computing | 2000-03-08 | Paper |
| scientific article; zbMATH DE number 1302474 (Why is no real title available?) | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 1262432 (Why is no real title available?) | 1999-08-23 | Paper |
A new approach for automatic theorem proving in real geometry
Journal of Automated Reasoning | 1999-04-11 | Paper |
| scientific article; zbMATH DE number 1254010 (Why is no real title available?) | 1999-02-23 | Paper |
| scientific article; zbMATH DE number 1189070 (Why is no real title available?) | 1998-10-26 | Paper |
Simplification of quantifier-free formulae over ordered fields
Journal of Symbolic Computation | 1997-09-29 | Paper |
