pldb wrapped

CTCesare Tinelli

28 papers

cited 702×

cites 196

Reply guy/gal

LHLukás Holík

cited you 27×

Mutuals

1. ABArmin Biere11 ⇄ 7
2. PRPhilipp Rümmer7 ⇄ 18
3. VGVijay Ganesh7 ⇄ 8
4. AVAndrei Voronkov5 ⇄ 5
5. RJRanjit Jhala5 ⇄ 5

you ⇄ them

Parasocial crush

BJSBastiaan Joost Schaafsma

you: 7 · them: 0

Secret admirer

VHVojtech Havlena

them: 22 · 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 2013

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number3

1. CTyou
2. MYVMoshe Y. Vardi
3. RPKRobert P. Kurshan
4. 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.