Politecnico di Milano — Italy
Computer Science · Physical Sciences
8h-index184citations31works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
semigroups and automata theory(12), Formal Methods in Verification(10), Logic, programming, and type systems(6), Logic, Reasoning, and Knowledge(6), Advanced Algebra and Logic(6)
Publications31 total
International Journal of Algebra and Computation·2021
Semigroup Forum·2019· 9 citedOpen Access
Virtual Community of Pathological Anatomy (University of Castilla La Mancha)·2019· 2 citedOpen Access
Virtual Community of Pathological Anatomy (University of Castilla La Mancha)·2018· 2 citedOpen Access
HAL (Le Centre pour la Communication Scientifique Directe)·2017· 5 citedOpen Access
arXiv (Cornell University)·2017Open Access
ACM Transactions on Computational Logic·2014· 34 citedOpen Access
Journal of Applied Logic·2014· 17 citedOpen Access
arXiv (Cornell University)·2014· 1 citedOpen Access
Electronic Notes in Discrete Mathematics·2013
International Journal of Computer Mathematics·2013· 10 cited
Results in Mathematics·2012
arXiv (Cornell University)·2012· 3 citedOpen Access
arXiv (Cornell University)·2012Open Access
arXiv (Cornell University)·2012· 8 citedOpen Access
Time Modalities over Many-valued Logics
2012· 1 cited
Lecture notes in computer science·2011· 10 cited
Lecture notes in computer science·2011· 17 cited
Lecture notes in computer science·2011· 2 cited
Lecture notes in computer science·2011
page 1 of 2Next →
Frequent Co-authors
Marcello M. Bersani(11), Matteo Pradella(8), Matteo Rossi(8), Pierluigi San Pietro(6), Alessandra Cherubini(6), Angelo Morzenti(5), Liliana Pasquale(4), Paola Spoletini(4), Anna Miriam Benini(4), Fiorenza Morini(4), Luca Cavallaro(3), Christian Choffrut(2), Liu Zu-Hua(2), Emanuele Rodaro(2), Matteo Rossi(1), N. Fiorentini(1), Victoria Gould(1), Patrizia Longobardi(1), Brunetto Piochi(1)