Radu Grosu
About
Radu Grosu has authored 93 papers that have received a total of 896 indexed citations.
This includes 37 papers in Artificial Intelligence, 35 papers in Computational Theory and Mathematics and 21 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (30 papers), Advanced Memory and Neural Computing (10 papers) and Fault Detection and Control Systems (8 papers). Radu Grosu is often cited by papers focused on Formal Methods in Verification (30 papers), Advanced Memory and Neural Computing (10 papers) and Fault Detection and Control Systems (8 papers) and collaborates with scholars based in United States, Austria and Germany. Radu Grosu's co-authors include Ramin Hasani, Ezio Bartocci, Scott A. Smolka, Mathias Lechner and Daniela Rus and has published in prestigious journals such as Renewable and Sustainable Energy Reviews, Philosophical Transactions of the Royal Society B Biological Sciences and Communications of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Yoshitaka Kubota Top fields papers by Yong Bae Kim are about Top fields papers by Wenbin Zhang are about Top journals papers by Chin‐Wan Chung are published in Top fields papers by Ichiro HARA are about Top journals papers by Peter Huemer are published in Top countries impacted by papers by Mohamed N. Ibrahim Top countries impacted by papers by Eric K. van Douwen