pldb wrapped

DPDidier Pirottin

2 papers

cited 34×

cites 10

Reply guy/gal

BJBengt Jonsson

cited you 4×

Mutuals

1. PWPierre Wolper3 ⇄ 2
2. AVAntti Valmari1 ⇄ 2
3. DAPDoron A. Peled1 ⇄ 3

you ⇄ them

Secret admirer

APAndreas Pavlogiannis

them: 3 · you: 0

Main character

Refining Dependencies Improves Partial-Order Verification Methods (Extended…

CAV 1993 · cited 23×

Ratio'd

Bounded-memory Algorithms for Verification On-the-fly

CAV 1991 · cited 10× · by your 12×

Vintage

You cite like it's 1991

Deepest dig

Memory Efficient Algorithms for the Verification of Temporal Properties

CAV 1990

Lamport number4

1. DPyou
2. GJHGerard J. Holzmann
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. 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.