Greta Yorsh
According to our database1,
Greta Yorsh
authored at least 22 papers
between 2004 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017
2013
Int. J. Softw. Tools Technol. Transf., 2013
2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
2010
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
Proceedings of the 9th International Symposium on Memory Management, 2010
2009
Simulating reachability using first-order logic with applications to verification of linked data structures
Log. Methods Comput. Sci., 2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the Model Checking Software, 2009
2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
2007
PhD thesis, 2007
J. Log. Algebraic Methods Program., 2007
2006
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006
2005
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Proceedings of the Automated Deduction, 2005
2004
Proceedings of the Verification, 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004