Travelled to:1 × Germany
2 × USA
Collaborated with:J.A.Garay K.Engelhardt R.v.d.Meyden J.Y.Halpern M.R.Tuttle
Talks about:knowledg (3) framework (1) agreement (1) polynomi (1) byzantin (1) support (1) program (1) analysi (1) reason (1) round (1)
Person: Yoram Moses
DBLP: Moses:Yoram
Contributed to:
2000
19931988Wrote 3 papers:
- FoSSaCS-2000-EngelhardtMM #framework #reasoning #refinement
- A Program Refinement Framework Supporting Reasoning about Knowledge and Time (KE, RvdM, YM), pp. 114–129.
- STOC-1993-GarayM #polynomial
- Fully polynomial Byzantine agreement in t+1 rounds (JAG, YM), pp. 31–41.
- STOC-1988-HalpernMT #analysis #knowledge-based
- A Knowledge-Based Analysis of Zero Knowledge (JYH, YM, MRT), pp. 132–147.