Gianluca Amato
About
Gianluca Amato has authored 31 papers that have received a total of 464 indexed citations.
This includes 13 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 10 papers in Cellular and Molecular Neuroscience. The topics of these papers are Logic, programming, and type systems (11 papers), Formal Methods in Verification (8 papers) and Nerve injury and regeneration (7 papers). Gianluca Amato is often cited by papers focused on Logic, programming, and type systems (11 papers), Formal Methods in Verification (8 papers) and Nerve injury and regeneration (7 papers) and collaborates with scholars based in Italy, Germany and United States. Gianluca Amato's co-authors include Simona Capsoni, Antonino Cattaneo, Domenico Vignone, Francesca Scozzari and Marcello Ceci and has published in prestigious journals such as Proceedings of the National Academy of Sciences, Journal of Neuroscience and PLoS ONE
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by L Rankine are published in Top fields papers by David R. Fox are about Top authors papers by Roberta Sburlati are co-authored with Top authors papers by João Paulo Winiarski are co-authored with Top fields papers by Chien‐Ting Lin are about Top countries impacted by papers by Olympia Bikou Top countries impacted by papers by B. Zelazny Top authors papers by P. Pizá-Ruíz are co-authored with