Michael Hanus
Active 1985–2026
- Affiliations
- Max Planck SocietyMax Planck Institute for InformaticsRWTH Aachen UniversityChristian-Albrechts-Universität zu KielTU Dortmund UniversityBielefeld UniversityThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0002-4953-8202
- 172
- Papers
- 3,405
- Citations
- 31
- h-index
- 68
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 citations) is not shown (dated before this author's first paper)
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science95.5%
- Business, Management and Accounting1.2%
- Engineering1.1%
- Decision Sciences0.9%
- Biochemistry, Genetics and Molecular Biology0.3%
- Social Sciences0.3%
- Other0.6%
Topics
- Logic, programming, and type systems29.7%
- Formal Methods in Verification20.5%
- Logic, Reasoning, and Knowledge17.3%
- Model-Driven Software Engineering Techniques4.1%
- Software Testing and Debugging Techniques3.9%
- Semantic Web and Ontologies3.5%
- Other21%
Frequent coauthors
- Sergio Antoy25
- Germán Vidal14
- Bernd Braßel12
- Frank Huch11
- Elvira Albert9
- Fabian Reck 00026
- Salvador Lucas6
- Björn Peemöller5
- Finn Teegen5
- Frank Steiner5
- Javier Oliver 00014
- Dietmar Seipel3
- Herbert Kuchen3
- María Alpuente3
- Steven Libby3
- Atsushi Igarashi2
- Jan Rasmus Tikovsky2
- Juan José Moreno Navarro2
- Kai-Oliver Prott2
- Klaus Höppner2
- Marion Müller2
- Rachid Echahed2
- Sebastian Fischer 00012
- Aart Middeldorp1
All papers
Loading papers…