N. Sabadini
About
N. Sabadini has authored 21 papers that have received a total of 110 indexed citations.
This includes 17 papers in Computational Theory and Mathematics, 13 papers in Artificial Intelligence and 6 papers in Molecular Biology. The topics of these papers are semigroups and automata theory (12 papers), Logic, programming, and type systems (9 papers) and Formal Methods in Verification (6 papers). N. Sabadini is often cited by papers focused on semigroups and automata theory (12 papers), Logic, programming, and type systems (9 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in Italy, Australia and Canada. N. Sabadini's co-authors include R. F. C. Walters, Alberto Bertoni, Robert Rosebrugh, Giancarlo Mauri and Fabio Gadducci and has published in prestigious journals such as Theoretical Computer Science, Journal of Pure and Applied Algebra and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Keiichiro Hoashi are published in Top journals papers by Alkida Balliu are published in Top countries impacted by papers by Gang Cheng Top authors papers by Yujun Kuang are co-authored with Top countries impacted by papers by Rolf George Top fields papers by Christopher A. Whatley are about Top fields papers by Sergey Krivenko are about Top journals papers by Mirko Scagnet are published in