Ioan Teodorescu

According to our database, Ioan Teodorescu authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Asynchronous Muddy Children Puzzle (work in progress).

Dafina Trufas, Ioan Teodorescu, Denisa Diaconescu, Traian Serbanuta, Vlad Zamfir

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023