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:
200119991997Wrote 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.