Constantin Enea

34 papers and 103 indexed citations i.

Constantin Enea has authored 34 papers that have received a total of 103 indexed citations. This includes 19 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, Michael Emmi, Mihaela Sighireanu, Cătălin Dima and Dimitar P. Guelev and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and Information and Computation.