Thomas Noll

71 papers and 510 indexed citations i.

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