Franz Winkler
Franz Winkler publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Polynomial and algebraic computation, Logic, programming, and type systems and Formal Methods in Verification.
- World rank
- #364,228 of 1,633,909 ranked researchers
- Rank in Austria
- #2,526 of 10,230
- Works
- 32
- Citations
- 68
- Citations per work
- 2.1
What does Franz Winkler research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics34% of their works
- 2Artificial Intelligence9% of their works
- 3Software6% of their works
- 4Mathematical Physics6% of their works
- 5Algebra and Number Theory6% of their works
- 6Geometry and Topology6% of their works
Research topics
- Polynomial and algebraic computation
- Logic, programming, and type systems
- Formal Methods in Verification
- Coding theory and cryptography
- Mathematics, Computing, and Information Processing
- Computability, Logic, AI Algorithms
- Computer Graphics and Visualization Techniques
- Model-Driven Software Engineering Techniques
Which keywords describe Franz Winkler's research?
The keywords of their largest research topics: Gröbner Bases, Symbolic Computing, Model Checking, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker and Algorithmic Information Theory.
- Model-Driven Engineering
- Math Search
- Domain-Specific Languages
- Computer Graphics
- Algorithmic Information Theory
- Static Analysis
- Formal Verification
- Symbolic Computing
- Gröbner Bases
- Model Checking
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Computability
- Cryptography
- Error-Correcting Codes
- Mathematical Information Retrieval
- Visualization
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 17 words, with their numbers
- Gröbner Bases71 topic
- Symbolic Computing71 topic
- Model Checking42 topics
- Formal Verification21 topic
- Satisfiability Modulo Theories21 topic
- Static Analysis21 topic
- Symbolic Model Checker21 topic
- Algorithmic Information Theory11 topic
- Computability11 topic
- Computer Graphics11 topic
- Cryptography11 topic
- Domain-Specific Languages11 topic
- Error-Correcting Codes11 topic
- Math Search11 topic
- Mathematical Information Retrieval11 topic
- Model-Driven Engineering11 topic
- Visualization11 topic
Where does Franz Winkler work?
Franz Winkler's main affiliation in the publication record is Johannes Kepler University of Linz, Austria.
How many publications and citations does Franz Winkler have?
Science Explorer counts 32 works and 68 citations for Franz Winkler, ranking #364,228 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.