Hartmut Ehrig

169 papers and 2.8k indexed citations i.

About

Hartmut Ehrig has authored 169 papers that have received a total of 2.8k indexed citations. This includes 105 papers in Artificial Intelligence, 103 papers in Software and 65 papers in Computational Theory and Mathematics. The topics of these papers are Model-Driven Software Engineering Techniques (100 papers), Formal Methods in Verification (43 papers) and Advanced Software Engineering Methodologies (38 papers). Hartmut Ehrig is often cited by papers focused on Model-Driven Software Engineering Techniques (100 papers), Formal Methods in Verification (43 papers) and Advanced Software Engineering Methodologies (38 papers) and collaborates with scholars based in Germany, Spain and Luxembourg. Hartmut Ehrig's co-authors include Grzegorz Rozenberg, Annegret Habel, Hans‐Jörg Kreowski, Fernando Orejas and Ulrike Prange and has published in prestigious journals such as Mathematics of Computation, ACM Computing Surveys and IEEE Transactions on Software Engineering

In The Last Decade

Rankless by CCL
2025