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 × Spain
3 × USA
Collaborated with:
M.Sharir Y.Mansour A.Pnueli
Talks about:
probabilist (3) program (2) concurr (2) equilibrium (1) procedur (1) communic (1) uncoupl (1) schedul (1) complex (1) termin (1)

Person: Sergiu Hart

DBLP DBLP: Hart:Sergiu

Contributed to:

STOC 20072007
STOC 19841984
ICALP 19831983
POPL 19821982

Wrote 4 papers:

STOC-2007-HartM #communication #complexity #equilibrium #nash
The communication complexity of uncoupled nash equilibrium procedures (SH, YM), pp. 345–353.
STOC-1984-HartS #bound #finite #logic #modelling #probability
Probabilistic Temporal Logics for Finite and Bounded Models (SH, MS), pp. 1–13.
ICALP-1983-HartS #concurrent #how #probability
Concurrent Probabilistic Program, or: How to Schedule if You Must (SH, MS), pp. 304–318.
POPL-1982-HartSP #concurrent #probability #source code #termination
Termination of Probabilistic Concurrent Programs (SH, MS, AP), pp. 1–6.

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.