Sergio Antoy

27 papers and 223 indexed citations i.

Sergio Antoy has authored 27 papers that have received a total of 223 indexed citations. This includes 21 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 2 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (20 papers), Formal Methods in Verification (17 papers) and Logic, Reasoning, and Knowledge (14 papers). Sergio Antoy is often cited by papers focused on Logic, programming, and type systems (20 papers), Formal Methods in Verification (17 papers) and Logic, Reasoning, and Knowledge (14 papers) and collaborates with scholars based in United States, Germany and Italy. Sergio Antoy's co-authors include Michael Hanus, Andrew Tolmach, Rachid Echahed, Giuliana Dettori and Salvador Lucas and has published in prestigious journals such as Communications of the ACM, Pattern Recognition and Journal of the ACM