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 Dwight Makaroff are published in Top journals papers by Rokeya Begum are published in Top countries impacted by papers by Sergey B. Makarov Top fields papers by V. A. Sadovnichy are about Top fields papers by Ali Akbar Fazaeli are about Top fields papers by Ronald Paulson are about Top countries impacted by papers by Renáta Uitz Top fields papers by Musa W. Dube are about