pldb wrapped

AVAntti Valmari

7 papers

cited 70×

cites 14

Reply guy/gal

BSBernhard Steffen

cited you 6×

Mutuals

1. PGPatrice Godefroid5 ⇄ 4
2. PWPierre Wolper3 ⇄ 4
3. MYVMoshe Y. Vardi3 ⇄ 2
4. DPDidier Pirottin2 ⇄ 1
5. DAPDoron A. Peled1 ⇄ 5

you ⇄ them

Parasocial crush

CCCostas Courcoubetis

you: 2 · them: 0

Secret admirer

AVAndrea Vandin

them: 3 · you: 0

Main character

A Stubborn Attack On State Explosion

CAV 1990 · cited 34×

Vintage

You cite like it's 1992

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number3

1. AVyou
2. DAPDoron A. Peled
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Doron A. Peled. Without them: 5.

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.