pldb wrapped

CJChristophe Joubert

3 papers

cited 8×

cites 5

Reply guy/gal

FLFrédéric Lang

cited you 7×

Mutuals

1. HGHubert Garavel1 ⇄ 4

you ⇄ them

Secret admirer

WSWendelin Serwe

them: 6 · you: 0

Main character

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation

TACAS 2006 · cited 4×

Deepest dig

OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and…

TACAS 1998

Lamport number5

1. CJyou
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.