Daniele Varacca
About
Daniele Varacca has authored 14 papers that have received a total of 165 indexed citations.
This includes 13 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (6 papers). Daniele Varacca is often cited by papers focused on Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in France, United Kingdom and Italy. Daniele Varacca's co-authors include Hagen Völzer, Nobuko Yoshida, Glynn Winskel, Daniele Gorla and Rocco De Nicola and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and The Computer Journal
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Prathik Bandiya are about Top fields papers by Michael Redmond are about Top fields papers by Nicolas Pouget are about Top journals papers by Sylviane A. Diouf are published in Top authors papers by Meenakshi Patel are co-authored with Top fields papers by Christina Wasson are about Top journals papers by P.A. Dorsaz are published in Top fields papers by Fernanda Azevedo are about