Walter Carnielli
About
Walter Carnielli has authored 62 papers that have received a total of 687 indexed citations.
This includes 49 papers in Artificial Intelligence, 39 papers in Computational Theory and Mathematics and 4 papers in Discrete Mathematics and Combinatorics. The topics of these papers are Logic, Reasoning, and Knowledge (43 papers), Advanced Algebra and Logic (33 papers) and Logic, programming, and type systems (22 papers). Walter Carnielli is often cited by papers focused on Logic, Reasoning, and Knowledge (43 papers), Advanced Algebra and Logic (33 papers) and Logic, programming, and type systems (22 papers) and collaborates with scholars based in Brazil, Portugal and Czechia. Walter Carnielli's co-authors include Marcelo E. Coniglio, Lorenzo Magnani, Cristina Sernadas, Claudio Pizzi and João Marcos and has published in prestigious journals such as Theoretical Computer Science, Discrete Mathematics and Synthese
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by E. Amanatides Top journals papers by Teemu Karjalainen are published in Top fields papers by Cheng Yin are about Top journals papers by Albino Claudio Bosio are published in Top journals papers by Monica Parry are published in Top countries impacted by papers by Miao Guo Top fields papers by Dandan Chen are about Top journals papers by Koya Sato are published in