Daniele Magazzeni

62 papers and 841 indexed citations i.

About

Daniele Magazzeni has authored 62 papers that have received a total of 841 indexed citations. This includes 43 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 16 papers in Computer Networks and Communications. The topics of these papers are AI-based Problem Solving and Planning (31 papers), Formal Methods in Verification (18 papers) and Logic, Reasoning, and Knowledge (14 papers). Daniele Magazzeni is often cited by papers focused on AI-based Problem Solving and Planning (31 papers), Formal Methods in Verification (18 papers) and Logic, Reasoning, and Knowledge (14 papers) and collaborates with scholars based in United Kingdom, Italy and United States. Daniele Magazzeni's co-authors include Maria Fox, Derek Long, Michael Cashmore, Giuseppe Della Penna and Fabio Mercorio and has published in prestigious journals such as Applied Soft Computing, Computer and Journal of Artificial Intelligence Research

In The Last Decade

Rankless by CCL
2025