Concepedia

Thomas Sturm

TS

Statistics

Publications

40

Citations

1.9K

H-Index

24

Active since

1965

Affiliations

University of Passau(Current)

Max Planck Institute for Informatics

University of Vienna

Centre National de la Recherche Scientifique

University of Bonn

Thomas Sturm is an author at University of Passau specializing in engineering, automated reasoning, and chemistry.

Top concepts

EngineeringComputer ScienceAutomated ReasoningChemistryFormal MethodsOrganic ChemistryFormal VerificationInorganic ChemistryNatural SciencesChemical Engineering

Publications per year

1965–2022

40

Publications

40

REDLOG

Andreas Dolzmann, Thomas Sturm · ACM SIGSAM Bulletin · 1997 · 356 citations

Computer Logic System, Symbolic Manipulation, Engineering +11

A Novel Class of Ferrocenyl‐Aryl‐Based Diphosphine Ligands for Rh‐ and Ru‐Catalysed Enantioselective Hydrogenation

Thomas Sturm, Walter Weissensteiner, Felix Spindler · Advanced Synthesis & Catalysis · 2003 · 226 citations

Engineering, Organic Chemistry, Chemistry +17

Characterization of dry-stack interlocking compressed earth blocks

Thomas Sturm, Luís F. Ramos, Paulo B. Lourénço · Materials and Structures · 2014 · 98 citations · Full text

Efficient projection orders for CAD

Andreas Dolzmann, Andreas Seidl, Thomas Sturm · 2004 · 93 citations

Mathematical Programming, Engineering, Computational Complexity +17

CLASSICAL CONDITIONING OF AGGRESSIVE DISPLAY IN SIAMESE FIGHTING FISH<sup>1</sup>

Travis Thompson, Thomas Sturm · Journal of the Experimental Analysis of Behavior · 1965 · 85 citations · Full text

Affective Neuroscience, Attention, Psychology +17

1–5 of 40