Roland Glück
Roland Glück publishes mostly in Industrial and Manufacturing Engineering, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Manufacturing Process and Optimization, Formal Methods in Verification and Logic, programming, and type systems.
- World rank
- #7,499,669 of 7,710,434 ranked researchers
- Rank in Germany
- #357,978 of 364,343
- Works
- 56
- Citations
- 152
- Citations per work
- 2.7
What does Roland Glück research?
Roland Glück's work is mostly in Engineering (35%), Computer Science (30%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences3765.4%
- Engineering2035.2%
- Computer Science1730.2%
- Everything else1934.6%
- 1Industrial and Manufacturing Engineering20% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Artificial Intelligence13% of their works
- 4Mechanical Engineering6% of their works
- 5Control and Systems Engineering5% of their works
- 6Automotive Engineering4% of their works
Research topics
Which keywords describe Roland Glück's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Assembly Planning, Automata, Design for Manufacture, Satisfiability Modulo Theories, Symbolic Model Checker and Flexible Automation.
- Regular Expressions
- Formal Languages
- Answer Set Programming
- 3D Printing
- Reconfigurable Manufacturing Systems
- Flexible Automation
- Satisfiability Modulo Theories
- Automata
- Temporal Logic
- Model Checking
- Assembly Planning
- Design for Manufacture
- Symbolic Model Checker
- Formal Verification
- Static Analysis
- Additive Manufacturing
- Modal Logic
- Fuzzy Logic
- Residuated Lattices
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 19 words, with their numbers
- Model Checking253 topics
- Temporal Logic172 topics
- Assembly Planning161 topic
- Automata162 topics
- Design for Manufacture161 topic
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Flexible Automation81 topic
- Formal Verification81 topic
- Reconfigurable Manufacturing Systems81 topic
- Static Analysis81 topic
- 3D Printing51 topic
- Additive Manufacturing51 topic
- Answer Set Programming51 topic
- Modal Logic51 topic
- Formal Languages41 topic
- Fuzzy Logic41 topic
- Regular Expressions41 topic
- Residuated Lattices41 topic
Where does Roland Glück work?
Roland Glück's main affiliation in the publication record is Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR), Germany.
How many publications and citations does Roland Glück have?
OpenAlex counts 56 works and 152 citations for Roland Glück, an h-index of 6, ranking #7,499,669 of 7,710,434 researchers worldwide on the quality 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Roland Glück. Posts are plain text and can be reported.