pldb wrapped

OMOliver Markgraf

5 papers

cited 12×

cites 87

Reply guy/gal

DCDavid Chocholatý

cited you 2×

Mutuals

1. DCDavid Chocholatý3 ⇄ 2
2. JSJuraj Síc3 ⇄ 2
3. LHLukás Holík11 ⇄ 2
4. VHVojtech Havlena3 ⇄ 2
5. DHDenghang Hu4 ⇄ 1

you ⇄ them

Parasocial crush

YCYu-Fang Chen

you: 11 · them: 0

Secret admirer

MSMichal Sedý

them: 2 · you: 0

Main character

Parameterized Synthesis with Safety Properties

APLAS 2020 · cited 6×

Ratio'd

LEVER: A Tool for Learning Based Verification

CAV 2006 · cited 5× · by your 6×

Vintage

You cite like it's 2016

Deepest dig

Symbolic Model Checking with Rich ssertional Languages

CAV 1997

Lamport number5

1. OMyou
2. CHChih-Duo Hong
3. BWBow-Yaw Wang
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. 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.