Alexandru Sofronia

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu
Undecidability Results for Finite Interactive Systems CoRR (2010)
Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu
Undecidability Results for Finite Interactive Systems. SYNASC (2008)
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu
High-level Structured Interactive Programs with Registers and Voices. J. Univers. Comput. Sci. 13 (11) (2007)
Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia
Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. SYNASC (2007)