pldb wrapped

WSWendelin Serwe

5 papers

cited 29×

cites 24

Reply guy/gal

AWAnton Wijs

cited you 7×

Mutuals

1. HHHolger Hermanns2 ⇄ 2
2. AWAnton Wijs1 ⇄ 7
3. ABAxel Belinfante1 ⇄ 1

you ⇄ them

Parasocial crush

CJChristophe Joubert

you: 6 · them: 0

Secret admirer

GSGwen Salaün

them: 4 · you: 0

Main character

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

TACAS 2011 · cited 17×

Ratio'd

Practical Model-Checking Using Games

TACAS 1998 · cited 13× · by your 17×

Vintage

You cite like it's 2000

Deepest dig

"On the Fly" Verification of Behavioural Equivalences and Preorders

CAV 1991

Lamport number5

1. WSyou
2. HHHolger Hermanns
3. Rupak Majumdar
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.