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 |