Greta Yorsh

Greta Yorsh

Queen Mary University of London - London / United Kingdom
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 1347482
person_outline Greta Yorsh's MOST POPULAR ARTICLES
1-) Abstraction-guided synthesis of synchronizationM Vechev, E Yahav, G YorshProceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 20101782010
2-) Symbolic implementation of the best transformerT Reps, M Sagiv, G YorshInternational Workshop on Verification, Model Checking, and Abstract …, 20041722004
3-) Symbolically computing most-precise abstract operations for shape analysisG Yorsh, T Reps, M SagivInternational Conference on Tools and Algorithms for the Construction and …, 20041282004
4-) The boundary between decidability and undecidability for transitive-closure logicsN Immerman, A Rabinovich, T Reps, M Sagiv, G YorshComputer Science Logic, 160-174, 20041162004
5-) A combination method for generating interpolantsG Yorsh, M MusuvathiInternational Conference on Automated Deduction, 353-368, 20051142005