Vincenzo Ciancia

17 papers and 88 indexed citations i.

Vincenzo Ciancia has authored 17 papers that have received a total of 88 indexed citations. This includes 13 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 4 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (7 papers), Logic, programming, and type systems (6 papers) and Formal Methods in Verification (4 papers). Vincenzo Ciancia is often cited by papers focused on Logic, Reasoning, and Knowledge (7 papers), Logic, programming, and type systems (6 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in Italy, The Netherlands and United Kingdom. Vincenzo Ciancia's co-authors include Diego Latella, Mieke Massink, Ugo Montanari, Michele Loreti and Roberto Guanciale and has published in prestigious journals such as Information and Computation, Science of Computer Programming and Journal of Automated Reasoning.