pldb wrapped

FWVFrits W. Vaandrager

8 papers

cited 36×

cites 29

Reply guy/gal

FHFalk Howar

cited you 4×

Mutuals

1. AYAkihisa Yamada1 ⇄ 1
2. Alexandra Silva2 ⇄ 1
3. AOAlfredo Olivero1 ⇄ 1
4. AHArnd Hartmanns1 ⇄ 1
5. BJBengt Jonsson1 ⇄ 2

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 3 · them: 0

Secret admirer

LBLubos Brim

them: 4 · you: 0

Main character

Combining Model Learning and Model Checking to Analyze TCP Implementations

CAV 2016 · cited 15×

Vintage

You cite like it's 2008

Deepest dig

Model Checking and Abstraction

POPL 1992

Lamport number5

1. FWVyou
2. MSMariëlle Stoelinga
3. TAHThomas A. Henzinger
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.