Matteo Risoldi

5 papers and 73 indexed citations i.

Matteo Risoldi has authored 5 papers that have received a total of 73 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 2 papers in Mechanical Engineering and 2 papers in Software. The topics of these papers are Formal Methods in Verification (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Modular Robots and Swarm Intelligence (2 papers). Matteo Risoldi is often cited by papers focused on Formal Methods in Verification (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Modular Robots and Swarm Intelligence (2 papers) and collaborates with scholars based in Switzerland, United Kingdom and Italy. Matteo Risoldi's co-authors include Giovanna Di Marzo Serugendo, Alberto Rosi, Andrea Omicini, Sara Montagna and Franco Zambonelli and has published in prestigious journals such as Pervasive and Mobile Computing and Fundamenta Informaticae