Radu Grosu

93 papers and 896 indexed citations i.

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