University of Naples Federico II — Italy
Computer Science · Physical Sciences
0h-index0citations9works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(9), Logic, Reasoning, and Knowledge(7), Multi-Agent Systems and Negotiation(3), Logic, programming, and type systems(2), Artificial Intelligence in Games(2)
Publications9 total
Frequent Co-authors
Vadim Malvone(5), Munyque Mittelmann(3), Raphaël Berthon(2), Joost-Pieter Katoen(1), Marco Tafuto(1), Wojciech Jamroga(1), Giuseppe Perelli(1), Loredana Sorrentino(1), Francesco Belardinelli(1), Wojtek Jamroga(1), Wojciech Jamroga(1), Davide Catta(1), Jean Leneutre(1), Bastien Maubert(1), Marco Aruta(1), Vincenzo Pio Palma(1), S. Romano(1)