Vincenzo Ciancia

17 papers and 83 indexed citations i.

Vincenzo Ciancia has authored 17 papers that have received a total of 83 indexed citations. This includes 14 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 Mieke Massink, Diego Latella, Michele Loreti, Ugo Montanari and Maurice H. ter Beek and has published in prestigious journals such as Information and Computation, Science of Computer Programming and Journal of Automated Reasoning