pldb wrapped

SSSteve Sims

6 papers

cited 28×

cites 28

Reply guy/gal

LTLi Tan

cited you 3×

Mutuals

1. BSBernhard Steffen5 ⇄ 1
2. CLHConstance L. Heitmeyer2 ⇄ 1
3. GBGirish Bhat2 ⇄ 1
4. RDJRalph D. Jeffords1 ⇄ 1
5. SASScott A. Smolka1 ⇄ 1

you ⇄ them

Parasocial crush

JPJoachim Parrow

you: 4 · them: 0

Secret admirer

CCChristoph Csallner

them: 2 · you: 0

Main character

The NCSU Concurrency Workbench

CAV 1996 · cited 13×

Ratio'd

Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus

TACAS 1996 · cited 9× · by your 13×

Vintage

You cite like it's 1996

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number5

1. SSyou
2. RCRance Cleaveland
3. AGAlex Groce
4. MYMihalis Yannakakis
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Rance Cleaveland. Without them: 6.

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.