Hans Toetenel
About
Hans Toetenel has authored 11 papers that have received a total of 118 indexed citations.
This includes 7 papers in Computational Theory and Mathematics, 6 papers in Artificial Intelligence and 5 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (7 papers), Advanced Software Engineering Methodologies (5 papers) and Real-Time Systems Scheduling (5 papers). Hans Toetenel is often cited by papers focused on Formal Methods in Verification (7 papers), Advanced Software Engineering Methodologies (5 papers) and Real-Time Systems Scheduling (5 papers) and collaborates with scholars based in The Netherlands and United States. Hans Toetenel's co-authors include J. van Katwijk, Druckhaus Beltz, Nico Plat, Gerhard Goos and Janusz Zalewski and has published in prestigious journals such as Lecture notes in computer science, IEEE Software and Formal Aspects of Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Jared Keown Top countries impacted by papers by H. Swan Top journals papers by Jessica E. Agius are published in Top countries impacted by papers by Cristinel Mateis Top fields papers by Matthew Wiatrowski are about Top fields papers by Salomón Sanabria‐Urbán are about Top countries impacted by papers by Kalpana Kannabirān Top authors papers by Timo Jütten are co-authored with