Jozef Hooman
About
Jozef Hooman has authored 46 papers that have received a total of 330 indexed citations.
This includes 25 papers in Computational Theory and Mathematics, 22 papers in Software and 18 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (22 papers), Model-Driven Software Engineering Techniques (22 papers) and Advanced Software Engineering Methodologies (13 papers). Jozef Hooman is often cited by papers focused on Formal Methods in Verification (22 papers), Model-Driven Software Engineering Techniques (22 papers) and Advanced Software Engineering Methodologies (13 papers) and collaborates with scholars based in The Netherlands, Germany and United States. Jozef Hooman's co-authors include Hillel Kugler, Ivan Kurtev, Jan F. Broenink, Ping Zhou and Willem P. de Roever and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Empirical Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Jia Lee are about Top authors papers by Sang Wu Kim are co-authored with Top journals papers by Osama Abdulaziz are published in Top journals papers by Gerald A. Juhnke are published in Top countries impacted by papers by Janusz Konieczny Top countries impacted by papers by Joseph P. Reidy Top journals papers by Adnan Amin are published in Top fields papers by Hiroaki Ohtani are about