pldb wrapped

MDMorgan Deters

3 papers

cited 298×

cites 32

Reply guy/gal

ANAina Niemetz

cited you 19×

Mutuals

1. NSBNikolaj S. Bjørner2 ⇄ 2
2. RARajeev Alur2 ⇄ 3
3. AUAbhishek Udupa1 ⇄ 1
4. AGAlberto Griggio1 ⇄ 2
5. ACAlessandro Cimatti1 ⇄ 1

you ⇄ them

Parasocial crush

KEKousha Etessami

you: 3 · them: 0

Secret admirer

MPMathias Preiner

them: 19 · you: 0

Main character

CVC4

CAV 2011 · cited 204×

Ratio'd

Simplification by Cooperating Decision Procedures

TOPLAS 1979 · cited 119× · by your 204×

Vintage

You cite like it's 2009

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. MDyou
2. CLCChristopher L. Conway
3. KSNKedar S. Namjoshi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

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.