kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Abraham Silberschatz
5 papers
cited 20×
cites 4
Reply guy/gal
Nissim Francez
cited you 4×
Mutuals
  1. Arthur J. Bernstein1 ⇄ 1
  2. Krzysztof R. Apt1 ⇄ 2
  3. Nissim Francez1 ⇄ 4
you ⇄ them
Secret admirer
Doron A. Peled
them: 2 · you: 0
Main character
An Effective Implementation for the Generalized Input-Output Construct of CSP
TOPLAS 1983 · cited 12×
Ratio'd
Output Guards and Nondeterminism in "Communicating Sequential Processes"
TOPLAS 1980 · cited 7× · by your 12×
Deepest dig
A Proof System for Communicating Sequential Processes
TOPLAS 1980
Lamport number6
  1. you
  2. Richard B. Kieburtz
  3. Tim Sheard
  4. Stephanie Weirich
  5. J. Gregory Morrisett
  6. Fred B. Schneider
  7. Leslie Lamport

Load-bearing co-author: Richard B. Kieburtz. Without them: ∞.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.