pldb wrapped

YVYakir Vizel

12 papers

cited 73×

cites 118

Reply guy/gal

BFBernd Finkbeiner

cited you 9×

Mutuals

1. ACAlessandro Cimatti5 ⇄ 4
2. BFBernd Finkbeiner4 ⇄ 9
3. GWGeorg Weissenbacher3 ⇄ 3
4. AGAlberto Griggio2 ⇄ 4
5. AFAzadeh Farzan2 ⇄ 4

you ⇄ them

Parasocial crush

ARBAaron R. Bradley

you: 10 · them: 0

Secret admirer

JLJianwen Li

them: 5 · you: 0

Main character

Property Directed Self Composition

CAV 2019 · cited 22×

Ratio'd

Modular Product Programs

ESOP 2018 · cited 16× · by your 22×

Vintage

You cite like it's 2014

Deepest dig

Construction of Abstract State Graphs with PVS

CAV 1997

Lamport number4

1. YVyou
2. OGOrna Grumberg
3. HCHana Chockler
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.