Th. Lindner
Th. Lindner publishes mostly in Renewable Energy, Sustainability and the Environment, Electrical and Electronic Engineering and Geophysics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Engineering Research.
- World rank
- #383,783 of 1,633,909 ranked researchers
- Rank in Germany
- #22,908 of 86,443
- Works
- 17
- Citations
- 110
- Citations per work
- 6.5
What does Th. Lindner research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Renewable Energy, Sustainability and the Environment15% of their works
- 2Electrical and Electronic Engineering15% of their works
- 3Geophysics8% of their works
- 4Information Systems8% of their works
- 5Atomic and Molecular Physics, and Optics8% of their works
- 6Surfaces, Coatings and Films8% of their works
Research topics
Which keywords describe Th. Lindner's research?
The keywords of their largest research topics: Model Checking, Nanostructures, Atomic Layer Deposition, Code Clone Detection, Electrical Resistivity Tomography, Formal Verification, Hematite and High-k Dielectrics.
- Symbolic Model Checker
- Static Analysis
- Satisfiability Modulo Theories
- Photovoltaic/Thermal Hybrid Technology
- Magnetotelluric Imaging
- High-k Dielectrics
- Formal Verification
- Code Clone Detection
- Nanostructures
- Model Checking
- Atomic Layer Deposition
- Electrical Resistivity Tomography
- Hematite
- Ion Beam
- Photoelectrodes
- Refactoring
- Solar Thermal Collectors
- Surface Analysis
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking22 topics
- Nanostructures22 topics
- Atomic Layer Deposition11 topic
- Code Clone Detection11 topic
- Electrical Resistivity Tomography11 topic
- Formal Verification11 topic
- Hematite11 topic
- High-k Dielectrics11 topic
- Ion Beam11 topic
- Magnetotelluric Imaging11 topic
- Photoelectrodes11 topic
- Photovoltaic/Thermal Hybrid Technology11 topic
- Refactoring11 topic
- Satisfiability Modulo Theories11 topic
- Solar Thermal Collectors11 topic
- Static Analysis11 topic
- Surface Analysis11 topic
- Symbolic Model Checker11 topic
Where does Th. Lindner work?
Th. Lindner's main affiliation in the publication record is Fritz Haber Institute of the Max Planck Society, Germany.
How many publications and citations does Th. Lindner have?
Science Explorer counts 17 works and 110 citations for Th. Lindner, ranking #383,783 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.