Robert E. Shostak

22 papers A* 4A 4C 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2019 ch.
Concurrency: the Works of Leslie Lamport
Leslie Lamport, Robert E. Shostak, Marshall C. Pease
2012 C conf
ICFEM
Robert E. Shostak
1992 conf
IFIP Congress (3)
Robert E. Shostak
1985 J jnl
Artif. Intell.
W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak
1984 A ed.
CADE
Robert E. Shostak
1984 J jnl
J. ACM
Robert E. Shostak
1982 A conf
CADE
Robert E. Shostak
1982 A conf
CADE
Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith
1982 J jnl
ACM Trans. Program. Lang. Syst.
Leslie Lamport, Robert E. Shostak, Marshall C. Pease
1981 J jnl
J. ACM
Robert E. Shostak
1980 J jnl
J. ACM
Marshall C. Pease, Robert E. Shostak, Leslie Lamport
1980 A conf
CADE
Donald W. Loveland, Robert E. Shostak
1979 J jnl
J. ACM
Robert E. Shostak
1979 A* conf
IJCAI
W. W. Bledsoe, Peter Bruell, Robert E. Shostak
1978 J jnl
Commun. ACM
Robert E. Shostak
1977 A* conf
IJCAI
Robert E. Shostak
1977 J jnl
Acta Informatica
Robert E. Shostak
1977 J jnl
J. ACM
Robert E. Shostak
1976 A* conf
POPL
Robert S. Boyer, J Strother Moore, Robert E. Shostak
1976 J jnl
Artif. Intell.
Robert E. Shostak
1976 A* conf
ICSE
John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak
1972 J jnl
Discret. Math.
Brenda S. Baker, Robert E. Shostak