Alexandru Sofronia

According to our database, Alexandru Sofronia authored at least 3 papers between 2007 and 2008.

Collaborative distances:

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

2008

Undecidability Results for Finite Interactive Systems.

Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu

Proceedings of the SYNASC 2008, 2008

2007

High-level Structured Interactive Programs with Registers and Voices.

Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu

J. Univers. Comput. Sci., 2007

Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability.

Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007