Constantin Enea

34 papers and 101 indexed citations i.

About

Constantin Enea has authored 34 papers that have received a total of 101 indexed citations. This includes 18 papers in Artificial Intelligence, 17 papers in Computer Networks and Communications and 13 papers in Computational Theory and Mathematics. The topics of these papers are Distributed systems and fault tolerance (16 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (11 papers). Constantin Enea is often cited by papers focused on Distributed systems and fault tolerance (16 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (11 papers) and collaborates with scholars based in France, Romania and United States. Constantin Enea's co-authors include Ahmed Bouajjani, Mihaela Sighireanu, Michael Emmi, Dimitar P. Guelev and Cătălin Dima and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and Information and Computation.

In The Last Decade

Rankless by CCL
2025