Published papers
- [Dima, Enea, Gramatovici, Sofronia - 2007]
Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia - "Strategy-based and knowledge-based models of information flow: equivalence and decidability",
9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), Timisoara, Romania, September 2007 - [Popa, Sofronia, Stefanescu - 2007]
A. Popa, A. Sofronia, Gh. Stefanescu - "High-level structured interactive programs with registers and voices",
Journal of Universal Computer Science, Vol. 13, Issue 11, November 2007, pages 1722-1754 - [Sofronia, Popa, Stefanescu - 2008]
A. Sofronia, A. Popa, Gh. Stefanescu - "Undecidability Results for Finite Interactive Systems",
SYNASC 2008 - GlobalComp Workshop, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 2008 - [Sofronia, Popa, Stefanescu - 2009]
A. Sofronia, A. Popa, Gh. Stefanescu - "Undecidability Results for Finite Interactive Systems",
ROMJIST Romanian Journal of Information Science and Technology - Volume 12, Number 2, 2009, pp. 265 - 279
Other papers (Romanian version only)
- 2006 - A. Sofronia - "Securitatea fluxului informational", Lucrare de licenta
- 2007 - A. Sofronia - "Caracterizarea Structurilor Multipartite de Acces Ideale", Master - Referat
- 2008 - A. Sofronia - "Structuri de Acces Ideale si Scheme de Partajare a Secretelor",Lucrare de disertatie
- 2008 - A. Sofronia - "Structuri de Acces Ideale si Scheme de Partajare a Secretelor", Lucrare de disertatie (slides)
- 2009 - A. Sofronia - "Structuri Multipartite de Acces", Doctorat - Referat 1
- 2009 - A. Sofronia - "Criptanaliza liniara", Doctorat - Referat 2
Short unpublished papers (early drafts)
- 2005 - A. Sofronia - "Finite InteractiveSystems - Undecidability Problems", final version published - [Sofronia, Popa, Stefanescu - 2009]
- 2006 - A. Sofronia - "Finite Information Flow - Decidability of the Finite State Model", final version published - [Dima, Enea, Gramatovici, Sofronia - 2007]
Research indexing:
copyright © 2006-2016
Web Site Hit Counter