The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sergiu Hart: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Sergiu Hart, Micha Sharir, Amir Pnueli
    Termination of Probabilistic Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:1-6 [Conf]
  4. Sergiu Hart, Micha Sharir
    Probabilistic Temporal Logics for Finite and Bounded Models [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:1-13 [Conf]
  5. Robert J. Aumann, Sergiu Hart, Motty Perry
    The Absent-Minded Driver. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:97-116 [Conf]
  6. Sergiu Hart, Andreu Mas-Colell
    Stochastic uncoupled dynamics and nash equilibrium: extended abstract. [Citation Graph (0, 0)][DBLP]
    TARK, 2005, pp:52-61 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002