Michael Huth
Impact in
- Software top 5%
-
- Formal Methods in Verification
Papers in
-
- Logic, programming, and type systems 27
- Logic, Reasoning, and Knowledge 16
- Advanced Software Engineering Methodologies 6
-
- Formal Methods in Verification 31
- Advanced Algebra and Logic 5
- Co-authors
- David De Roure (6 shared papers)Petar Radanliev (6 shared papers)Răzvan Nicolescu (5 shared papers)Glenn Bruns (5 shared papers)Marta Kwiatkowska (1 shared paper)Omar Santos (2 shared papers)Rafael Mantilla Montalvo (2 shared papers)Pete Burnap (1 shared paper)
- Journals
- Theoretical Computer Science (3 papers)Mathematical Structures in Computer Science (3 papers)Performance Evaluation (2 papers)Information and Computation (2 papers)International Journal on Software Tools for Technology Transfer (2 papers)
- Partner nations
- United KingdomUnited StatesGermany
In The Last Decade
Michael Huth
68 papers receiving 832 citations
Peers
Comparison fields: 5 of 75
- Software 117
- Computational Theory and Mathematics 291
- Artificial Intelligence 446
- Information Systems 243
- Industrial and Manufacturing Engineering 99
Countries citing papers authored by Michael Huth
This map shows the geographic impact of Michael Huth'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 Michael Huth with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michael Huth more than expected).
Fields of papers citing papers by Michael Huth
This network shows the impact of papers produced by Michael Huth. 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 Michael Huth. The network helps show where Michael Huth may publish in the future.
Co-authors
The 25 scholars most cited alongside Michael Huth, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 75 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2018 | 107 | |
| 2 | 2018 | 71 | |
| 3 | 2021 | 59 | |
| 4 | 2002 | 51 | |
| 5 | 2012 | 50 | |
| 6 | 2004 | 41 | |
| 7 | 2021 | 38 | |
| 8 | 2019 | 37 | |
| 9 | 20 Years of Modal and Mixed Specifications | 2008 | 30 |
| 10 | 2007 | 27 | |
| 11 | 2018 | 27 | |
| 12 | 2011 | 23 | |
| 13 | 2004 | 23 | |
| 14 | Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems | 2007 | 16 |
| 15 | 2008 | 15 | |
| 16 | 2018 | 15 | |
| 17 | 2006 | 15 | |
| 18 | 2005 | 14 | |
| 19 | 2018 | 13 | |
| 20 | 2005 | 12 |
About Michael Huth
Michael Huth is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Information Systems, Software and Sociology and Political Science, having authored 75 papers that have together received 888 indexed citations. Recurring topics across this work include Formal Methods in Verification (31 papers), Logic, programming, and type systems (27 papers), Logic, Reasoning, and Knowledge (16 papers), Model-Driven Software Engineering Techniques (11 papers), Access Control and Trust (8 papers), Blockchain Technology Applications and Security (7 papers), Advanced Software Engineering Methodologies (6 papers) and Advanced Algebra and Logic (5 papers). The work is most often cited by research in Software (117 citations), Computational Theory and Mathematics (291 citations), Artificial Intelligence (446 citations), Information Systems (243 citations) and Industrial and Manufacturing Engineering (99 citations). Michael Huth has collaborated with scholars based in United Kingdom, United States and Germany. Frequent co-authors include David De Roure, Petar Radanliev, Răzvan Nicolescu, Glenn Bruns, Marta Kwiatkowska, Omar Santos, Rafael Mantilla Montalvo, Pete Burnap, Ida Siahaan and Philip W. L. Fong. Their work appears in journals such as Theoretical Computer Science, Mathematical Structures in Computer Science, Performance Evaluation, Information and Computation and International Journal on Software Tools for Technology Transfer.
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.