Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. - Catalin Dima; Constantin Enea; Radu Gramatovici; Alexandru Sofronia (SYNASC, 2007)

High-level Structured Interactive Programs with Registers and Voices. - Alexandru Popa 001; Alexandru Sofronia; Gheorghe Stefanescu (J. Univers. Comput. Sci., 2007)

Undecidability Results for Finite Interactive Systems. - Alexandru Sofronia; Alexandru Popa 001; Gheorghe Stefanescu (SYNASC, 2008)