Daniele Gorla

35 papers and 226 indexed citations i.

Daniele Gorla has authored 35 papers that have received a total of 226 indexed citations. This includes 27 papers in Artificial Intelligence, 17 papers in Computer Networks and Communications and 16 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (22 papers), Distributed systems and fault tolerance (12 papers) and Formal Methods in Verification (11 papers). Daniele Gorla is often cited by papers focused on Logic, programming, and type systems (22 papers), Distributed systems and fault tolerance (12 papers) and Formal Methods in Verification (11 papers) and collaborates with scholars based in Italy, United Kingdom and Australia. Daniele Gorla's co-authors include Rosario Pugliese, Rocco De Nicola, Matthew Hennessy, Vladimiro Sassone and Anna Labella and has published in prestigious journals such as IEEE Transactions on Software Engineering, Theoretical Computer Science and Lecture notes in computer science