Daniele Varacca
About
Daniele Varacca has authored 14 papers that have received a total of 166 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 journals papers by Yuly P. Mendoza are published in Top countries impacted by papers by Jaruwat Nabhitabhata Top journals papers by Philip Rathgeb are published in Top countries impacted by papers by Joyce Schachter Top countries impacted by papers by Kasper Juffermans Top countries impacted by papers by Inge Gavăt Top authors papers by Lothar Brock are co-authored with Top countries impacted by papers by Eduardo Sevilla Guzmán