pldb wrapped

FLFrançois Laroussinie

2 papers

cited 4×

cites 4

Reply guy/gal

WYWang Yi

cited you 3×

Mutuals

1. WYWang Yi2 ⇄ 3
2. PPPaul Pettersson1 ⇄ 2

you ⇄ them

Parasocial crush

KGLKim Guldstrand Larsen

you: 2 · them: 0

Secret admirer

EFElena Fersman

them: 2 · you: 0

Main character

Model-Checking for Hybrid Systems by Quotienting and Constraints Solving

CAV 2000 · cited 4×

Deepest dig

Verification of an Audio Protocol with Bus Collision Using UPPAAL

CAV 1996

Lamport number4

1. FLyou
2. MJMarcin Jurdzinski
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Marcin Jurdzinski. Without them: 7.

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.