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 Nilden Tuygun are about Top countries impacted by papers by Robert Ehrlich Top fields papers by A. Faix are about Top fields papers by Mark Gragston are about Top journals papers by Meena Ajay Aras are published in Top fields papers by André Luíz Rodrigues Magãlhaes are about Top journals papers by Ernesto Pimentel are published in Top authors papers by Michael Banks are co-authored with