Simona Orzan
According to our database1,
Simona Orzan
authored at least 17 papers
between 2002 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
2008
Proceedings of the Distributed Computing, 22nd International Symposium, 2008
Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008
Proceedings of the Theoretical Aspects of Computing, 2008
Proceedings of the Theoretical Aspects of Computing, 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Logic for Programming, 2007
2006
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
2005
Proceedings of the First International Workshop on Security and Trust Management, 2005
2004
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004
2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003
Proceedings of the Perspectives of Systems Informatics, 2003
2002
Proceedings of the Parallel and Distributed Model Checking, 2002