pldb wrapped

VGVijay Ganesh

14 papers

cited 282×

cites 106

Reply guy/gal

LHLukás Holík

cited you 24×

Mutuals

1. CWBClark W. Barrett12 ⇄ 11
2. PRPhilipp Rümmer11 ⇄ 21
3. AWLAnthony W. Lin10 ⇄ 15
4. LHLukás Holík9 ⇄ 24
5. CTCesare Tinelli8 ⇄ 7

you ⇄ them

Parasocial crush

NSBNikolaj S. Bjørner

you: 11 · them: 0

Secret admirer

VHVojtech Havlena

them: 15 · you: 0

Main character

A Decision Procedure for Bit-Vectors and Arrays

CAV 2007 · cited 89×

Ratio'd

DPLL( T): Fast Decision Procedures

CAV 2004 · cited 46× · by your 89×

Vintage

You cite like it's 2012

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. VGyou
2. MPMathias Preiner
3. PFPascal Fontaine
4. SMStephan Merz
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.