Thomas Noll
About
Thomas Noll has authored 71 papers that have received a total of 510 indexed citations.
This includes 28 papers in Computational Theory and Mathematics, 21 papers in Electrical and Electronic Engineering and 20 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (16 papers), Embedded Systems Design Techniques (15 papers) and Logic, programming, and type systems (14 papers). Thomas Noll is often cited by papers focused on Formal Methods in Verification (16 papers), Embedded Systems Design Techniques (15 papers) and Logic, programming, and type systems (14 papers) and collaborates with scholars based in Germany, Italy and Sweden. Thomas Noll's co-authors include Holger Blume, Joost-Pieter Katoen, Viet Yen Nguyen, Marco Bozzano and Marco Roveri and has published in prestigious journals such as IEEE Transactions on Medical Imaging, IEEE Journal of Solid-State Circuits and Reliability Engineering & System Safety
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Luís Garrigós Leite are about Top fields papers by D. M. Vavriv are about Top authors papers by Xin‐Jiang He are co-authored with Top fields papers by Raja Kalayarasan are about Top authors papers by Ahmer A. Karimuddin are co-authored with Top journals papers by Jun Suh Lee are published in Top authors papers by Li Wu are co-authored with Top journals papers by Wilton Silva Lopes are published in