`Travelled to:`

1 × France

1 × Israel

1 × Italy

`Collaborated with:`

O.Strichman I.Beer S.Ben-David C.Eisner A.Pnueli M.Siegel D.Fisman A.Gringauze D.Geist L.Gluhovsky T.Heyman A.Landver P.Paanah G.Ronin Y.Wolfsthal

`Talks about:`

instanti (2) logic (2) uninterpret (1) function (1) formulaa (1) vacuiti (1) formula (1) equival (1) tempor (1) effici (1)

## Person: Yoav Rodeh

### DBLP: Rodeh:Yoav

### Contributed to:

### Wrote 5 papers:

- CAV-2001-BeerBEFGR #logic
- The Temporal Logic Sugar (IB, SBD, CE, DF, AG, YR), pp. 363–367.
- CAV-2001-RodehS #equivalence #finite #logic
- Finite Instantiations in Equivalence Logic with Uninterpreted Functions (YR, OS), pp. 144–154.
- CAV-1999-PnueliRSS #similarity
- Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.
- CAV-1997-BeerBEGGHLPRRW #model checking #named
- RuleBase: Model Checking at IBM (IB, SBD, CE, DG, LG, TH, AL, PP, YR, GR, YW), pp. 480–483.
- CAV-1997-BeerBER #detection #performance
- Efficient Detection of Vacuity in ACTL Formulaas (IB, SBD, CE, YR), pp. 279–290.