Michael Huth

2.6k total citations
75 papers, 888 citations indexed

About

Michael Huth is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Michael Huth has authored 75 papers receiving a total of 888 indexed citations (citations by other indexed papers that have themselves been cited), including 49 papers in Artificial Intelligence, 42 papers in Computational Theory and Mathematics and 14 papers in Information Systems. Recurrent topics in Michael Huth's work include Formal Methods in Verification (31 papers), Logic, programming, and type systems (27 papers) and Logic, Reasoning, and Knowledge (16 papers). Michael Huth is often cited by papers focused on Formal Methods in Verification (31 papers), Logic, programming, and type systems (27 papers) and Logic, Reasoning, and Knowledge (16 papers). Michael Huth collaborates with scholars based in United Kingdom, United States and Germany. Michael Huth's co-authors include David De Roure, Petar Radanliev, Răzvan Nicolescu, Glenn Bruns, Marta Kwiatkowska, Rafael Mantilla Montalvo, Omar Santos, Pete Burnap, Ida Siahaan and Philip W. L. Fong and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Information Theory and IEEE Access.

In The Last Decade

Michael Huth

68 papers receiving 832 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Michael Huth United Kingdom	16	446	291	243	175	135	75	888
Stefan Hallerstede Germany	11	280 0.6×	270 0.9×	145 0.6×	120 0.7×	45 0.3×	31	627
Stefano Bistarelli Italy	17	783 1.8×	265 0.9×	473 1.9×	772 4.4×	132 1.0×	133	1.5k
Ketil Stølen Norway	14	476 1.1×	214 0.7×	639 2.6×	261 1.5×	108 0.8×	85	1.1k
Sol M. Shatz United States	20	364 0.8×	468 1.6×	386 1.6×	536 3.1×	42 0.3×	76	1.3k
Rachida Dssouli Canada	22	528 1.2×	386 1.3×	520 2.1×	544 3.1×	121 0.9×	128	1.6k
Jen‐Yao Chung United States	19	328 0.7×	106 0.4×	623 2.6×	530 3.0×	100 0.7×	91	1.2k
James R. Slagle United States	18	840 1.9×	341 1.2×	107 0.4×	168 1.0×	48 0.4×	79	1.2k
Sicco Verwer Netherlands	14	620 1.4×	106 0.4×	180 0.7×	237 1.4×	59 0.4×	62	1.1k
José Raúl Romero Spain	19	596 1.3×	225 0.8×	614 2.5×	164 0.9×	15 0.1×	64	1.1k
Marco Montali Italy	21	794 1.8×	317 1.1×	697 2.9×	254 1.5×	54 0.4×	130	1.4k

Countries citing papers authored by Michael Huth

Since Specialization

Citations

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

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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-authorship network of co-authors of Michael Huth

This figure shows the co-authorship network connecting the top 25 collaborators of Michael Huth. A scholar is included among the top collaborators of Michael Huth based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Michael Huth. Michael Huth is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Huth, Michael, Nir Piterman, & Huaxin Wang. (2024). A workbench for preprocessor design and evaluation: toward benchmarks for parity games. Technische Universität Berlin – Universitätsbibliothek.

Huth, Michael, et al.. (2020). Effective Detection of Credential Thefts from Windows Memory: Learning Access Behaviours to Local Security Authority Subsystem Service. 181–194. 2 indexed citations

Huth, Michael, et al.. (2020). Protecting Private Inputs: Bounded Distortion Guarantees With Randomised Approximations. SHILAP Revista de lepidopterología. 2020(3). 284–303. 1 indexed citations

Cao, Yue, Ao Lei, Philip Asuquo, et al.. (2019). Pseudonym Management Through Blockchain: Cost-Efficient Privacy Preservation on Intelligent Transportation Systems. IEEE Access. 7. 80390–80403. 37 indexed citations

Radanliev, Petar, David De Roure, Răzvan Nicolescu, & Michael Huth. (2019). A reference architecture for integrating the Industrial Internet of Things in the Industry 4.0. 11 indexed citations

Huth, Michael, et al.. (2017). Oligarchic Control of Business-to-Business Blockchains. 5 indexed citations

Huth, Michael, Nir Piterman, & Daniel Wägner. (2010). p-Automata: New Foundations for Discrete-Time Probabilistic Verification. 161–170. 1 indexed citations

Huth, Michael, et al.. (2009). Polynomial-Time Under-Approximation of Winning Regions in Parity Games. Electronic Notes in Theoretical Computer Science. 225. 115–139. 4 indexed citations

Huth, Michael, et al.. (2008). 20 Years of Mixed and Modal Specifications. Spiral (Imperial College London). 3 indexed citations

10.

Huth, Michael, et al.. (2008). On model checking multiple hybrid views. Theoretical Computer Science. 404(3). 186–201. 9 indexed citations

11.

Grümberg, Orna & Michael Huth. (2007). Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems. 16 indexed citations

12.

Huth, Michael. (2006). Topological Analysis of Refinement. Electronic Notes in Theoretical Computer Science. 161. 3–23. 1 indexed citations

13.

Huth, Michael. (2005). On finite-state approximants for probabilistic computation tree logic. Theoretical Computer Science. 346(1). 113–134. 14 indexed citations

14.

Huth, Michael. (2005). Preface. Electronic Notes in Theoretical Computer Science. 128(6). 1–2. 1 indexed citations

15.

Huth, Michael. (2004). Beyond image-finiteness: labelled transition systems as a Stone space. 222–231. 3 indexed citations

16.

Huth, Michael. (2004). Beyond image-finiteness: labelled transition systems as a Stone space. 222–231. 2 indexed citations

17.

Huth, Michael, et al.. (2002). Lifting assertion and consistency checkers from single to multiple viewpoints. Spiral (Imperial College London). 5 indexed citations

18.

Huth, Michael, et al.. (2002). Linear types, approximation, and topology. 110–114.

19.

Huth, Michael. (1995). A Maximal Monoidal Closed Category of Distributive Algebraic Domains. Information and Computation. 116(1). 10–25. 4 indexed citations

20.

Huth, Michael, et al.. (1994). Algebraic domains of natural transformations. Theoretical Computer Science. 136(1). 57–78. 1 indexed citations

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.

Explore authors with similar magnitude of impact