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 fields papers by Michael Jonas are about Top authors papers by Patrick Sims‐Williams are co-authored with Top fields papers by Sae Aizawa are about Top countries impacted by papers by H. R. Chheda Top fields papers by S. M. Sakerin are about Top journals papers by Yung-Fa Chou are published in Top journals papers by Manish Purohit are published in Top authors papers by Jon Massey are co-authored with