BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Moses:Yoram

Contributed to:

FoSSaCS 20002000
STOC 19931993
STOC 19881988

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.