Ingegneria dei Trasporti (Italy) — Italy
Computer Science · Physical Sciences
26h-index2.5kcitations252works0.42yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(139), Logic, Reasoning, and Knowledge(120), Logic, programming, and type systems(105), Multi-Agent Systems and Negotiation(49), Model-Driven Software Engineering Techniques(22)
Publications252 total
Lecture notes in computer science·2025
2025Open Access
2025Open Access
SN Computer Science·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
Annals of Mathematics and Artificial Intelligence·2025
Lecture notes in computer science·2025
Dagstuhl Research Online Publication Server·2025· 5 citedOpen Access
Lecture notes in computer science·2025
Lecture notes in computer science·2025
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing·2025Open Access
Artificial Intelligence·2024Open Access
Lecture notes in computer science·2024· 2 citedOpen Access
2024Open Access
arXiv (Cornell University)·2024Open Access
SPIRE - Sciences Po Institutional REpository·2024
page 1 of 13Next →
Frequent Co-authors
Sasha Rubin(13), Fabio Mogavero(12), Benjamin Aminof(10), Moshe Y. Vardi(9), Giuseppe Perelli(7), Alessio Lomuscio(6), Walter Balzano(5), Bastien Maubert(4), Petr Čermák(3), Salvatore La Torre(3), Adriano Peron(3), Francesco Belardinelli(3), Raphaël Berthon(3), Wojciech Jamroga(3), Fabio Vitale(3), Vadim Malvone(3), Mimmo Parente(2), Marco Faella(2), Orna Kupferman(2), Silvia Stranieri(2)