Greta Yorsh

Identifiers

• name variant Greta Yorsh 0.60 · backfill

Papers (2)

1. Simulating reachability using first-order logic with applications to verification of linked data structures cs.LO · 2009 · author #6
2. A Logic of Reachable Patterns in Linked Data-Structures cs.LO · 2007 · author #1

Mentions

• 0904.4902 #6 · backfill · confidence 0.70 Greta Yorsh
• 0705.3610 #1 · backfill · confidence 0.70 Greta Yorsh

Frequent Coauthors

• Mooly Sagiv 2 shared papers
• Ahmed Bouajjani (LIAFA) 1 shared papers
• Alexander Rabinovich 1 shared papers
• Antoine Meyer (LIAFA) 1 shared papers
• Neil Immerman 1 shared papers
• Siddharth Srivastava 1 shared papers
• Tal Lev-Ami 1 shared papers
• Thomas Reps 1 shared papers