Computer Science · Physical Sciences
24h-index2.4kcitations159works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(88), Logic, Reasoning, and Knowledge(86), Formal Methods in Verification(59), Semantic Web and Ontologies(28), Advanced Algebra and Logic(14)
Publications159 total
Theory and Practice of Logic Programming·2011Open Access
Theory and Practice of Logic Programming·2011Open Access
Theory and Practice of Logic Programming·2011Open Access
Theory and Practice of Logic Programming·2011Open Access
Theory and Practice of Logic Programming·2010Open Access
Theory and Practice of Logic Programming·2010Open Access
Theory and Practice of Logic Programming·2010Open Access
Theory and Practice of Logic Programming·2009Open Access
Lecture notes in computer science·2005· 4 cited
Lecture notes in computer science·2005· 23 cited
Lecture notes in computer science·2005· 1 cited
Journal of Computer and System Sciences·2005· 1 cited
Science of Computer Programming·2003· 4 cited
Information and Computation·2003· 4 cited
Lecture notes in computer science·2002· 8 cited
Lecture notes in computer science·2002· 15 cited
Information and Computation·2001· 30 cited
page 1 of 8Next →
Frequent Co-authors
Catuscia Palamidessi(9), Maurizio Gabbrielli(8), Maria Chiara Meo(8), Maurizio Martelli(7), Moreno Falaschi(6), Marco Comini(6), Marco Bellia(5), Annalisa Bossi(4), Roberto Giacobazzi(4), Franco Sirovich(4), Giuliana Vitiello(4), Roberto Barbuti(3), Pierpaolo Degano(3), Elio Giovannetti(2), Corrado Moiso(2), Ugo Montanari(2), Saumya Debray(2), Giuseppe Sardu(2), M. Gabrielli(1), Pier Giorgio Bosco(1)