|
Search the dblp DataBase
Sergiu Hart:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sergiu Hart, Micha Sharir
Nonlinearity of Davenport-Schinzel Sequences and of a Generalized Path Compression Scheme [Citation Graph (0, 0)][DBLP] FOCS, 1984, pp:313-319 [Conf]
- Sergiu Hart, Micha Sharir
Concurrent Probabilistic Program, or: How to Schedule if You Must. [Citation Graph (0, 0)][DBLP] ICALP, 1983, pp:304-318 [Conf]
- Sergiu Hart, Micha Sharir, Amir Pnueli
Termination of Probabilistic Concurrent Programs. [Citation Graph (0, 0)][DBLP] POPL, 1982, pp:1-6 [Conf]
- Sergiu Hart, Micha Sharir
Probabilistic Temporal Logics for Finite and Bounded Models [Citation Graph (0, 0)][DBLP] STOC, 1984, pp:1-13 [Conf]
- Robert J. Aumann, Sergiu Hart, Motty Perry
The Absent-Minded Driver. [Citation Graph (0, 0)][DBLP] TARK, 1996, pp:97-116 [Conf]
- Sergiu Hart, Andreu Mas-Colell
Stochastic uncoupled dynamics and nash equilibrium: extended abstract. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:52-61 [Conf]
- Sergiu Hart, Micha Sharir
Nonlinearity of Davenport - Schinzel sequences and of generalized path compression schemes. [Citation Graph (0, 0)][DBLP] Combinatorica, 1986, v:6, n:2, pp:151-178 [Journal]
- Sergiu Hart, Micha Sharir
Probabilistic Propositional Temporal Logics [Citation Graph (0, 0)][DBLP] Information and Control, 1986, v:70, n:2/3, pp:97-155 [Journal]
- Sergiu Hart, Micha Sharir
Concurrent Probabilistic Programs, Or: How to Schedule if You Must. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1985, v:14, n:4, pp:991-1012 [Journal]
- Micha Sharir, Amir Pnueli, Sergiu Hart
Verification of Probabilistic Programs. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1984, v:13, n:2, pp:292-314 [Journal]
- Sergiu Hart, Micha Sharir, Amir Pnueli
Termination of Probabilistic Concurrent Program. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:356-380 [Journal]
- Sergiu Hart, Yishay Mansour
The communication complexity of uncoupled nash equilibrium procedures. [Citation Graph (0, 0)][DBLP] STOC, 2007, pp:345-353 [Conf]
Search in 0.002secs, Finished in 0.002secs
|