Thomas Sturm

2.4k total citations
62 papers, 1.1k citations indexed

About

Thomas Sturm is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Organic Chemistry. According to data from OpenAlex, Thomas Sturm has authored 62 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 15 papers in Organic Chemistry. Recurrent topics in Thomas Sturm's work include Polynomial and algebraic computation (15 papers), Logic, programming, and type systems (14 papers) and Asymmetric Hydrogenation and Catalysis (12 papers). Thomas Sturm is often cited by papers focused on Polynomial and algebraic computation (15 papers), Logic, programming, and type systems (14 papers) and Asymmetric Hydrogenation and Catalysis (12 papers). Thomas Sturm collaborates with scholars based in Germany, Spain and Austria. Thomas Sturm's co-authors include Andreas Dolzmann, Walter Weissensteiner, Felix Spindler, Travis Thompson, Félix A. Jalón, Blanca R. Manzano, Luís F. Ramos, Paulo B. Lourénço, K. Mereiter and Ana M. Rodrı́guez and has published in prestigious journals such as Journal of Computational Physics, Organometallics and The American Journal of Psychology.

In The Last Decade

Thomas Sturm

55 papers receiving 1.1k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Thomas Sturm Germany	19	477	379	285	156	148	62	1.1k
Jie Lan China	14	491 1.0×	120 0.3×	111 0.4×	72 0.5×	122 0.8×	61	1.0k
Masahiro Nomura Japan	15	124 0.3×	45 0.1×	40 0.1×	62 0.4×	68 0.5×	69	707
Tomaž Pisanski Slovenia	22	327 0.7×	15 0.0×	737 2.6×	227 1.5×	339 2.3×	149	1.8k
Michał Startek Poland	11	92 0.2×	53 0.1×	416 1.5×	78 0.5×	500 3.4×	21	1.1k
Julien Tierny France	18	55 0.1×	23 0.1×	354 1.2×	63 0.4×	47 0.3×	42	905
Ananth Kalyanaraman United States	16	48 0.1×	59 0.2×	12 0.0×	110 0.7×	142 1.0×	77	593
Michael Albert New Zealand	21	85 0.2×	26 0.1×	340 1.2×	340 2.2×	37 0.3×	83	1.2k
Timothy Hirzel United States	4	46 0.1×	26 0.1×	795 2.8×	122 0.8×	550 3.7×	6	1.3k
Garrett B. Goh United States	15	91 0.2×	12 0.0×	363 1.3×	78 0.5×	654 4.4×	18	1.2k

Countries citing papers authored by Thomas Sturm

Since Specialization

Citations

This map shows the geographic impact of Thomas Sturm's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Thomas Sturm with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Thomas Sturm more than expected).

Fields of papers citing papers by Thomas Sturm

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Thomas Sturm. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Thomas Sturm. The network helps show where Thomas Sturm may publish in the future.

Co-authorship network of co-authors of Thomas Sturm

This figure shows the co-authorship network connecting the top 25 collaborators of Thomas Sturm. A scholar is included among the top collaborators of Thomas Sturm based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Thomas Sturm. Thomas Sturm is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Bradford, Russell, James H. Davenport, Matthew England, et al.. (2019). Identifying the parametric occurrence of multiple steady states for some biological networks. Journal of Symbolic Computation. 98. 84–119. 10 indexed citations

Davenport, James H., Matthew England, Alberto Griggio, Thomas Sturm, & Cesare Tinelli. (2019). Symbolic computation and satisfiability checking. Journal of Symbolic Computation. 100. 1–10. 5 indexed citations

Sturm, Thomas. (2017). A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications. Mathematics in Computer Science. 11(3-4). 483–502. 7 indexed citations

Sturm, Thomas, et al.. (2015). Better answers to real questions. Journal of Symbolic Computation. 74. 255–275. 3 indexed citations

Eiswirth, M., et al.. (2015). Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. Journal of Computational Physics. 291. 279–302. 29 indexed citations

Ramos, Luís F., Paulo Mendonça, Aires Camões, et al.. (2011). As paredes divisórias num sistema integrado de alvenaria estrutural em BTC. RepositóriUM (Universidade do Minho). 87(14). 163–176.

Weber⋆, Andreas, et al.. (2011). Algorithmic Global Criteria for Excluding Oscillations. Bulletin of Mathematical Biology. 73(4). 899–916. 4 indexed citations

Sturm, Thomas, et al.. (2011). Automated Deduction in Geometry. Lecture notes in computer science. 7 indexed citations

Weber⋆, Andreas, et al.. (2010). Parametric qualitative analysis of ordinary differential equations: computer algebra methods for excluding oscillations. 267–279. 3 indexed citations

10.

Sturm, Thomas. (2004). P-adic Root Isolation. Hispana. 98(1). 239–258. 2 indexed citations

11.

Seidl, Andreas & Thomas Sturm. (2003). Boolean Quantification In a First-Order Context. OpenGrey (Institut de l'Information Scientifique et Technique).

12.

Sturm, Thomas & Volker Weispfenning. (2002). Quantifier Elimination in Term Algebras The Case of Finite Languages. 7 indexed citations

13.

Jalón, Félix A., Blanca R. Manzano, Ana M. Rodrı́guez, et al.. (2001). NMR study on the coordination of dibenzylideneacetone to chiral palladium(0) units. Fluxional behaviour including an intramolecular double bond exchange†. Journal of the Chemical Society Dalton Transactions. 2417–2424. 27 indexed citations

14.

Sturm, Thomas. (2000). Linear Problems in Valued Fields. Journal of Symbolic Computation. 30(2). 207–219. 6 indexed citations

15.

Sturm, Thomas & Volker Weispfenning. (1998). Computational Geometry Problems in REDLOG. 1 indexed citations

16.

Jalón, Félix A., Blanca R. Manzano, Ana M. Rodrı́guez, et al.. (1998). Synthesis and Fluxional Behavior, Including a Comparative Analysis of the Pd−N Bond Rupture, of New Chiral Complexes of Palladium(0) and -(II) with a Rigid (Aminoferrocenyl)phosphine Ligand. Crystal Structure of the Two Rotamers of a Palladium(0) Maleic Anhydride Complex. Organometallics. 17(21). 4634–4644. 49 indexed citations

17.

Dolzmann, Andreas & Thomas Sturm. (1997). Simplification of Quantifier-free Formulae over Ordered Fields. Journal of Symbolic Computation. 24(2). 209–232. 41 indexed citations

18.

Dolzmann, Andreas & Thomas Sturm. (1997). REDLOG. ACM SIGSAM Bulletin. 31(2). 2–9. 160 indexed citations

19.

Sturm, Thomas, et al.. (1996). Real quadratic quantifier elimination in risa/asir. 1 indexed citations

20.

Raftery, James & Thomas Sturm. (1992). Tolerance numbers, congruence $n$-permutability and BCK-algebras. Czechoslovak Mathematical Journal. 42(4). 727–740. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact