Horatiu Cirstea
About
Horatiu Cirstea has authored 22 papers that have received a total of 143 indexed citations.
This includes 20 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (14 papers) and Formal Methods in Verification (10 papers). Horatiu Cirstea is often cited by papers focused on Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (14 papers) and Formal Methods in Verification (10 papers) and collaborates with scholars based in France, Italy and United Kingdom. Horatiu Cirstea's co-authors include Claude Kirchner, Luigi Liquori, Pierre‐Etienne Moreau, Gilles Barthe and Paolo Baldan and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Symbolic Computation and Mathematical Structures in Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Yuxing Han are co-authored with Top authors papers by Kennan Ferguson are co-authored with Top fields papers by J. Escada are about Top countries impacted by papers by Stephanie Geise Top fields papers by L. Santi are about Top countries impacted by papers by Legand Burge Top fields papers by Harsh V. Verma are about Top countries impacted by papers by Elena Maggi