Thomas Sturm - RankMe

93 papers A* 1A 1B 27C 1Misc 1Journal 49Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	On the Number of Real Types of Univariate Polynomials. ISSAC Nicolas Faroß, Thomas Sturm
2024	J	`jnl`	A Computational Approach to Polynomial Conservation Laws. SIAM J. Appl. Dyn. Syst. Aurélien Desoeuvres, Alexandru Iosif, Christoph Lüders, Ovidiu Radulescu, Hamid Rahkooy, Matthias Seiß, Thomas Sturm
2024	J	`jnl`	Reduction of Chemical Reaction Networks with Approximate Conservation Laws. SIAM J. Appl. Dyn. Syst. Aurélien Desoeuvres, Alexandru Iosif, Christoph Lüders, Ovidiu Radulescu, Hamid Rahkooy, Matthias Seiß, Thomas Sturm
2023	J	`jnl`	Foreword. Math. Comput. Sci. Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
2023	—	`ed.`	Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023. SC-Square@ISSAC Erika Ábrahám, Thomas Sturm
2022	J	`jnl`	Foreword. Math. Comput. Sci. Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
2022	J	`jnl`	ODEbase: A Repository of ODE Systems for Systems Biology. CoRR Christoph Lüders, Thomas Sturm, Ovidiu Radulescu
2021	J	`jnl`	A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations. Math. Comput. Sci. Werner M. Seiler, Matthias Seiß, Thomas Sturm
2021	J	`jnl`	Algorithmic Reduction of Biological Networks with Multiple Time Scales. Math. Comput. Sci. Niclas Kruff, Christoph Lüders, Ovidiu Radulescu, Thomas Sturm, Sebastian Walcher
2021	J	`jnl`	Efficiently and Effectively Recognizing Toricity of Steady State Varieties. Math. Comput. Sci. Dima Grigoriev, Alexandru Iosif, Hamid Rahkooy, Thomas Sturm, Andreas Weber
2021	J	`jnl`	Foreword, with a Dedication to Andreas Weber. Math. Comput. Sci. Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Thomas Sturm
2021	J	`jnl`	Foreword, with a Dedication to Vladimir Gerdt. Math. Comput. Sci. Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
2021	B	`conf`	Parametric Toricity of Steady State Varieties of Reaction Networks. CASC Hamid Rahkooy, Thomas Sturm
2021	J	`jnl`	Parametric Toricity of Steady State Varieties of Reaction Networks. CoRR Hamid Rahkooy, Thomas Sturm
2021	J	`jnl`	Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner System. CoRR Hamid Rahkooy, Thomas Sturm
2021	B	`conf`	Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems. CASC Hamid Rahkooy, Thomas Sturm
2020	B	`conf`	A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks. CASC Hamid Rahkooy, Ovidiu Radulescu, Thomas Sturm
2020	J	`jnl`	A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks. CoRR Hamid Rahkooy, Thomas Sturm
2020	J	`jnl`	A complete and terminating approach to linear integer solving. J. Symb. Comput. Martin Bromberger, Thomas Sturm, Christoph Weidenbach
2020	J	`jnl`	Algorithmic Reduction of Biological Networks With Multiple Time Scales. CoRR Niclas Kruff, Christoph Lüders, Ovidiu Radulescu, Thomas Sturm, Sebastian Walcher
2020	B	`conf`	First-Order Tests for Toricity. CASC Hamid Rahkooy, Thomas Sturm
2020	J	`jnl`	First-Order Tests for Toricity. CoRR Hamid Rahkooy, Thomas Sturm
2020	J	`jnl`	Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2020	J	`jnl`	Symbolic computation and satisfiability checking. J. Symb. Comput. James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli
2019	J	`jnl`	Efficiently and Effectively Recognizing Toricity of Steady State Varieties. CoRR Dima Grigoriev, Alexandru Iosif, Hamid Rahkooy, Thomas Sturm, Andreas Weber
2019	J	`jnl`	Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. CoRR Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2018	B	`conf`	Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. CASC Hoon Hong, Thomas Sturm
2018	J	`jnl`	Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. CoRR Hoon Hong, Thomas Sturm
2018	J	`jnl`	The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm, Sebastian Walcher, Andreas Weber
2018	B	`conf`	Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. ISSAC Thomas Sturm
2018	—	`conf`	Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. SC-Square@FLOC Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, To Van Khanh, Xuan-Tung Vu
2017	B	`conf`	A Case Study on the Parametric Occurrence of Multiple Steady States. ISSAC Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017	J	`jnl`	A Case Study on the Parametric Occurrence of Multiple Steady States. CoRR Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017	J	`jnl`	A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications. Math. Comput. Sci. Thomas Sturm
2017	—	`conf`	Subtropical Satisfiability. FroCoS Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan-Tung Vu
2017	J	`jnl`	Subtropical Satisfiability. CoRR Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan-Tung Vu
2017	B	`conf`	Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. CASC Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017	J	`jnl`	Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. CoRR Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2016	J	`jnl`	Better answers to real questions. J. Symb. Comput. Marek Kosta, Thomas Sturm, Andreas Dolzmann
2016	A*	`conf`	Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. LICS Thomas Sturm, Marco Voigt, Christoph Weidenbach
2016	C	`conf`	SC CICM Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	J	`jnl`	Satisfiability Checking and Symbolic Computation. CoRR Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	J	`jnl`	Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	J	`jnl`	Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2015	J	`jnl`	A Generalized Framework for Virtual Substitution. CoRR Marek Kosta, Thomas Sturm
2015	J	`jnl`	Better Answers to Real Questions. CoRR Marek Kosta, Thomas Sturm, Andreas Dolzmann
2015	J	`jnl`	Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. CoRR Thomas Sturm, Marco Voigt, Christoph Weidenbach
2015	J	`jnl`	Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. J. Comput. Phys. Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
2015	J	`jnl`	Foreword to the Special Focus on Constraints and Combinations. Math. Comput. Sci. Pascal Fontaine, Thomas Sturm, Uwe Waldmann
2015	A	`conf`	Linear Integer Arithmetic Revisited. CADE Martin Bromberger, Thomas Sturm, Christoph Weidenbach
2015	J	`jnl`	Linear Integer Arithmetic Revisited. CoRR Martin Bromberger, Thomas Sturm, Christoph Weidenbach
2015	B	`conf`	Subtropical Real Root Finding. ISSAC Thomas Sturm
2015	J	`jnl`	Subtropical Real Root Finding. CoRR Thomas Sturm
2015	J	`jnl`	Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Dagstuhl Reports Erika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang
2014	—	`conf`	Better Answers to Real Questions. SMT Marek Kosta, Thomas Sturm, Andreas Dolzmann
2014	B	`conf`	Towards Conflict-Driven Learning for Virtual Substitution. CASC Konstantin Korovin, Marek Kosta, Thomas Sturm
2014	—	`conf`	Towards Conflict-Driven Learning for Virtual Substitution. SMT Konstantin Korovin, Marek Kosta, Thomas Sturm
2013	B	`conf`	Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. CASC Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
2013	—	`conf`	Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages. FroCos Ralf Karrenberg, Marek Kosta, Thomas Sturm
2012	J	`jnl`	Foreword. Math. Comput. Sci. Stefan Ratschan, Thomas Sturm
2012	J	`jnl`	Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462). Dagstuhl Reports François Boulier, Anne Shiu, Thomas Sturm, Andreas Weber
2011	—	`ed.`	Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers Automated Deduction in Geometry Thomas Sturm, Christoph Zengler
2011	B	`conf`	On Muldowney's Criteria for Polynomial Vector Fields with Constraints. CASC Hassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber
2011	B	`conf`	Verification and synthesis using real quantifier elimination. ISSAC Thomas Sturm, Ashish Tiwari
2010	—	`conf`	A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. Verification over discrete-continuous boundaries Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm
2010	B	`conf`	Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). CASC Andreas Weber, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman
2010	B	`conf`	Parametric quantified SAT solving. ISSAC Thomas Sturm, Christoph Zengler
2010	B	`conf`	Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests. CASC Winfried Neun, Thomas Sturm, Stefan Vigerske
2009	B	`conf`	Effective Quantifier Elimination for Presburger Arithmetic with Infinity. CASC Aless Lasaruk, Thomas Sturm
2009	J	`jnl`	Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology. Math. Comput. Sci. Thomas Sturm, Andreas Weber, Essam O. Abdel-Rahman, M'hammed El Kahoui
2008	—	`conf`	Automatic Verification of the Adequacy of Models for Families of Geometric Objects. Automated Deduction in Geometry Aless Lasaruk, Thomas Sturm
2008	—	`conf`	Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology. AB Thomas Sturm, Andreas Weber
2007	J	`jnl`	Editorial. Appl. Algebra Eng. Commun. Comput. Hirokazu Anai, Thomas Sturm
2007	B	`conf`	Weak Integer Quantifier Elimination Beyond the Linear Case. CASC Aless Lasaruk, Thomas Sturm
2007	J	`jnl`	Weak quantifier elimination for the full linear theory of the integers. Appl. Algebra Eng. Commun. Comput. Aless Lasaruk, Thomas Sturm
2006	J	`jnl`	Editorial. J. Symb. Comput. Andreas Dolzmann, Thomas Sturm
2006	B	`conf`	New Domains for Applied Quantifier Elimination. CASC Thomas Sturm
2005	—	`ed.`	Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. Algorithmic Algebra and Logic Andreas Dolzmann, Andreas Seidl, Thomas Sturm
2005	B	`conf`	Quantifier Elimination for Constraint Logic Programming. CASC Thomas Sturm
2004	B	`conf`	Efficient projection orders for CAD. ISSAC Andreas Dolzmann, Andreas Seidl, Thomas Sturm
2003	B	`conf`	A generic projection operator for partial cylindrical algebraic decomposition. ISSAC Andreas Seidl, Thomas Sturm
2002	Misc	`conf`	Integration of Quantifier Elimination with Constraint Logic Programming. AISC Thomas Sturm
2001	B	`conf`	Parametric Systems of Linear Congruences. CASC Andreas Dolzmann, Thomas Sturm
2000	J	`jnl`	Linear Problems in Valued Fields. J. Symb. Comput. Thomas Sturm
1999	B	`conf`	P-adic Constraint Solving. ISSAC Andreas Dolzmann, Thomas Sturm
1999	J	`jnl`	Reasoning over Networks by Symbolic Methods. Appl. Algebra Eng. Commun. Comput. Thomas Sturm
1998	J	`jnl`	A New Approach for Automatic Theorem Proving in Real Geometry. J. Autom. Reason. Andreas Dolzmann, Thomas Sturm, Volker Weispfenning
1998	B	`conf`	Approaches to Parallel Quantifier Elimination. ISSAC Andreas Dolzmann, Oliver Gloor, Thomas Sturm
1997	B	`conf`	Guarded Expressions in Practice. ISSAC Andreas Dolzmann, Thomas Sturm
1997	J	`jnl`	REDLOG: computer algebra meets computer logic. SIGSAM Bull. Andreas Dolzmann, Thomas Sturm
1997	—	`conf`	Real Quantifier Elimination in Practice. Algorithmic Algebra and Number Theory Andreas Dolzmann, Thomas Sturm, Volker Weispfenning
1997	J	`jnl`	Simplification of Quantifier-Free Formulae over Ordered Fields. J. Symb. Comput. Andreas Dolzmann, Thomas Sturm
1996	—	`conf`	Computational Geometry Problems in REDLOG. Automated Deduction in Geometry Thomas Sturm, Volker Weispfenning