pldb wrapped

RBRamesh Bharadwaj

2 papers

cited 12×

cites 14

Reply guy/gal

RDJRalph D. Jeffords

cited you 3×

Mutuals

1. CLHConstance L. Heitmeyer1 ⇄ 1
2. RDJRalph D. Jeffords1 ⇄ 3

you ⇄ them

Parasocial crush

DNDavid Notkin

you: 3 · them: 0

Main character

SCR*: A Toolset for Specifying and Analyzing Software Requirements

CAV 1998 · cited 7×

Vintage

You cite like it's 1996

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number6

1. RByou
2. SSSteve Sims
3. RCRance Cleaveland
4. AGAlex Groce
5. MYMihalis Yannakakis
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: Steve Sims. Without them: 7.

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.