Thomas Sturm 0001 Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

Max Planck Institute for Informatics

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
i11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber: A Case Study on the Parametric Occurrence of Multiple Steady States. CoRR abs/1704.08997 (2017)
2016
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Á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: Satisfiability checking and symbolic computation. ACM Comm. Computer Algebra 50(4): 145-147 (2016)
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Á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: Satisfiability Checking and Symbolic Computation. CoRR abs/1607.06945 (2016)
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Á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: Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR abs/1607.08028 (2016)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Kosta, Thomas Sturm, Andreas Dolzmann: Better answers to real questions. J. Symb. Comput. 74: 255-275 (2016)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm, Marco Voigt, Christoph Weidenbach: Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. LICS 2016: 86-95
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Á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: SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43
2015
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm: Subtropical Real Root Finding. CoRR abs/1501.04836 (2015)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Kosta, Thomas Sturm, Andreas Dolzmann: Better Answers to Real Questions. CoRR abs/1501.05098 (2015)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Kosta, Thomas Sturm: A Generalized Framework for Virtual Substitution. CoRR abs/1501.05826 (2015)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Bromberger, Thomas Sturm, Christoph Weidenbach: Linear Integer Arithmetic Revisited. CoRR abs/1503.02948 (2015)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm, Marco Voigt, Christoph Weidenbach: Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. CoRR abs/1511.08999 (2015)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang: Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Dagstuhl Reports 5(11): 71-89 (2015)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber: Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. J. Comput. Physics 291: 279-302 (2015)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Fontaine, Thomas Sturm, Uwe Waldmann: Foreword to the Special Focus on Constraints and Combinations. Mathematics in Computer Science 9(3): 265 (2015)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Bromberger, Thomas Sturm, Christoph Weidenbach: Linear Integer Arithmetic Revisited. CADE 2015: 623-637
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm: Subtropical Real Root Finding. ISSAC 2015: 347-354
2014
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Marek Kosta, Thomas Sturm: Towards Conflict-Driven Learning for Virtual Substitution. CASC 2014: 256-270
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Kosta, Thomas Sturm, Andreas Dolzmann: Better Answers to Real Questions. SMT 2014: 69
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Marek Kosta, Thomas Sturm: Towards Conflict-Driven Learning for Virtual Substitution. SMT 2014: 71
2013
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber: Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. CASC 2013: 88-99
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Karrenberg, Marek Kosta, Thomas Sturm: Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages. FroCos 2013: 56-70
2012
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Boulier, Anne Shiu, Thomas Sturm, Andreas Weber: Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462). Dagstuhl Reports 2(11): 66-86 (2012)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Ratschan, Thomas Sturm: Foreword. Mathematics in Computer Science 6(4): 345 (2012)
2011
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber: On Muldowney's Criteria for Polynomial Vector Fields with Constraints. CASC 2011: 135-143
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm, Ashish Tiwari: Verification and synthesis using real quantifier elimination. ISSAC 2011: 329-336
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm, Christoph Zengler: Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers .Lecture Notes in Computer Science 6301, Springer 2011, ISBN 978-3-642-21045-7
2010
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWinfried Neun, Thomas Sturm, Stefan Vigerske: Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests. CASC 2010: 205-219
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Weber, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman: Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). CASC 2010: 267-279
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm, Christoph Zengler: Parametric quantified SAT solving. ISSAC 2010: 77-84
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm: A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. Verification over discrete-continuous boundaries 2010
2009
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm, Andreas Weber, Essam O. Abdel-Rahman, M'hammed El Kahoui: Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology. Mathematics in Computer Science 2(3): 493-515 (2009)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAless Lasaruk, Thomas Sturm: Effective Quantifier Elimination for Presburger Arithmetic with Infinity. CASC 2009: 195-212
2008
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm, Andreas Weber: Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology. AB 2008: 200-215
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAless Lasaruk, Thomas Sturm: Automatic Verification of the Adequacy of Models for Families of Geometric Objects. Automated Deduction in Geometry 2008: 116-140
2007
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHirokazu Anai, Thomas Sturm: Editorial. Appl. Algebra Eng. Commun. Comput. 18(6): 495-496 (2007)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAless Lasaruk, Thomas Sturm: Weak quantifier elimination for the full linear theory of the integers. Appl. Algebra Eng. Commun. Comput. 18(6): 545-574 (2007)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAless Lasaruk, Thomas Sturm: Weak Integer Quantifier Elimination Beyond the Linear Case. CASC 2007: 275-294
2006
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Dolzmann, Thomas Sturm: Editorial. J. Symb. Comput. 41(11): 1155-1156 (2006)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm: New Domains for Applied Quantifier Elimination. CASC 2006: 295-301
2005
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm: Quantifier Elimination for Constraint Logic Programming. CASC 2005: 416-430
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Dolzmann, Andreas Seidl, Thomas Sturm: Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. Books on Demand 2005, ISBN 3-8334-2669-1, pp. i-xii, 1-558
2004
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Dolzmann, Andreas Seidl, Thomas Sturm: Efficient projection orders for CAD. ISSAC 2004: 111-118
2003
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Seidl, Thomas Sturm: A generic projection operator for partial cylindrical algebraic decomposition. ISSAC 2003: 240-247
2002
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm: Integration of Quantifier Elimination with Constraint Logic Programming. AISC 2002: 7-11
2000
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm: Linear Problems in Valued Fields. J. Symb. Comput. 30(2): 207-219 (2000)
1999
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm: Reasoning over Networks by Symbolic Methods. Appl. Algebra Eng. Commun. Comput. 10(1): 79-96 (1999)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Dolzmann, Thomas Sturm: P-adic Constraint Solving. ISSAC 1999: 151-158
1998
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Dolzmann, Thomas Sturm, Volker Weispfenning: A New Approach for Automatic Theorem Proving in Real Geometry. J. Autom. Reasoning 21(3): 357-380 (1998)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Dolzmann, Oliver Gloor, Thomas Sturm: Approaches to Parallel Quantifier Elimination. ISSAC 1998: 88-95
1997
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Dolzmann, Thomas Sturm: REDLOG: computer algebra meets computer logic. ACM SIGSAM Bulletin 31(2): 2-9 (1997)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Dolzmann, Thomas Sturm: Simplification of Quantifier-Free Formulae over Ordered Fields. J. Symb. Comput. 24(2): 209-231 (1997)
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Dolzmann, Thomas Sturm: Guarded Expressions in Practice. ISSAC 1997: 376-383
1996
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Sturm, Volker Weispfenning: Computational Geometry Problems in REDLOG. Automated Deduction in Geometry 1996: 58-86

Coauthor Index

1John Abbott[j14] [i10] [i9] [c26]
2Essam O. Abdel-Rahman[c15] [j9]
3Erika Ábrahám[j14] [i10] [i9] [c26] [i3] [i1]
4Hirokazu Anai[j8]
5Bernd Becker 0001[j14] [i10] [i9] [c26]
6Anna Maria Bigatti[j14] [i10] [i9] [c26]
7François Boulier[i2]
8Russell J. Bradford[i11]
9Martin Brain[j14] [i10] [i9] [c26]
10Martin Bromberger[i5] [c25]
11Bruno Buchberger[j14] [i10] [i9] [c26]
12Alessandro Cimatti[j14] [i10] [i9] [c26]
13Florian Corzilius[i1]
14James H. Davenport[i11] [j14] [i10] [i9] [c26]
15Andreas Dolzmann[j13] [i7] [c22] [j6] [e1] [c7] [c4] [j3] [c3] [j2] [j1] [c2]
16Markus Eiswirth[j12] [c20]
17Matthew England[i11] [j14] [i10] [i9] [c26]
18Hassan Errami[i11] [j12] [c20] [c18]
19Pascal Fontaine[j14] [i10] [i9] [c26] [i3] [j11]
20Stephen Forrest[j14] [i10] [i9] [c26]
21Vladimir P. Gerdt[i11]
22Oliver Gloor[c3]
23Alberto Griggio[j14] [i10] [i9] [c26]
24Dima Grigoriev[i11] [j12] [c20]
25Charles Hoyt[i11]
26M'hammed El Kahoui[j9]
27Ralf Karrenberg[c19]
28Konstantin Korovin[c23] [c21]
29Marek Kosta[i11] [j13] [i7] [i6] [c23] [c22] [c21] [c19]
30Daniel Kroening[j14] [i10] [i9] [c26]
31Aless Lasaruk[c13] [c11] [j7] [c10]
32Ulrich Loup[i1]
33Winfried Neun[c16]
34Ovidiu Radulescu[i11]
35Stefan Ratschan[j10]
36Andreas Seidl[e1] [c7] [c6]
37Werner M. Seiler[j14] [i10] [i9] [c26] [j12] [c20] [c18] [c15]
38Anne Shiu[i2]
39Ashish Tiwari[c17]
40Stefan Vigerske[c16]
41Marco Voigt[c27] [i4]
42Uwe Waldmann[j11]
43Dongming Wang[i3]
44Andreas Weber 0004[i11] [j12] [c20] [i2] [c18] [c15] [j9] [c12]
45Christoph Weidenbach[c27] [i5] [i4] [c25]
46Volker Weispfenning[j3] [c1]
47Christoph Zengler[e2] [c14]

 

Last update 2017-06-17 00:59 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page