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 countries impacted by papers by Phourin Chhang Top authors papers by Slameto Slameto are co-authored with Top fields papers by M. Hildreth are about Top countries impacted by papers by Alexandre Pérez‐González Top fields papers by Anukrati Sharma are about Top journals papers by Rokeya Begum are published in Top fields papers by Liwei Chan are about Top journals papers by Manik Kuvalekar are published in