| 2007 |
|---|
| 12 | EE | Sergiu Hart,
Yishay Mansour:
The communication complexity of uncoupled nash equilibrium procedures.
STOC 2007: 345-353 |
| 2005 |
|---|
| 11 | EE | Sergiu Hart,
Andreu Mas-Colell:
Stochastic uncoupled dynamics and nash equilibrium: extended abstract.
TARK 2005: 52-61 |
| 1996 |
|---|
| 10 | | Robert J. Aumann,
Sergiu Hart,
Motty Perry:
The Absent-Minded Driver.
TARK 1996: 97-116 |
| 1986 |
|---|
| 9 | | Sergiu Hart,
Micha Sharir:
Nonlinearity of Davenport - Schinzel sequences and of generalized path compression schemes.
Combinatorica 6(2): 151-178 (1986) |
| 8 | | Sergiu Hart,
Micha Sharir:
Probabilistic Propositional Temporal Logics
Information and Control 70(2/3): 97-155 (1986) |
| 1985 |
|---|
| 7 | | Sergiu Hart,
Micha Sharir:
Concurrent Probabilistic Programs, Or: How to Schedule if You Must.
SIAM J. Comput. 14(4): 991-1012 (1985) |
| 1984 |
|---|
| 6 | | Sergiu Hart,
Micha Sharir:
Nonlinearity of Davenport-Schinzel Sequences and of a Generalized Path Compression Scheme
FOCS 1984: 313-319 |
| 5 | | Sergiu Hart,
Micha Sharir:
Probabilistic Temporal Logics for Finite and Bounded Models
STOC 1984: 1-13 |
| 4 | | Micha Sharir,
Amir Pnueli,
Sergiu Hart:
Verification of Probabilistic Programs.
SIAM J. Comput. 13(2): 292-314 (1984) |
| 1983 |
|---|
| 3 | | Sergiu Hart,
Micha Sharir:
Concurrent Probabilistic Program, or: How to Schedule if You Must.
ICALP 1983: 304-318 |
| 2 | EE | Sergiu Hart,
Micha Sharir,
Amir Pnueli:
Termination of Probabilistic Concurrent Program.
ACM Trans. Program. Lang. Syst. 5(3): 356-380 (1983) |
| 1982 |
|---|
| 1 | | Sergiu Hart,
Micha Sharir,
Amir Pnueli:
Termination of Probabilistic Concurrent Programs.
POPL 1982: 1-6 |
