Carlo Angiuli
About
Carlo Angiuli has authored 11 papers that have received a total of 35 indexed citations.
This includes 9 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 3 papers in Mathematical Physics. The topics of these papers are Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (3 papers) and Formal Methods in Verification (3 papers). Carlo Angiuli is often cited by papers focused on Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (3 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in United States, Sweden and Denmark. Carlo Angiuli's co-authors include Robert Harper, Daniel R. Licata, Kuen-Bang Hou, Todd M. Wilson and Anders Mörtberg and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Combinatorial Theory Series A and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Regina V. Ershova Top journals papers by Joachim Scheide are published in Top journals papers by Heinz Schreckenberg are published in Top countries impacted by papers by Cristian Castelló-Abiétar Top countries impacted by papers by Zhiyan Cai Top authors papers by Ina Bertrand are co-authored with Top journals papers by Sujoy Gupta are published in Top fields papers by Xiuqing Fang are about