pldb wrapped

LALuca de Alfaro

14 papers

cited 105×

cites 38

Reply guy/gal

JKJoost-Pieter Katoen

cited you 6×

Mutuals

1. FSFabio Somenzi2 ⇄ 3
2. HHHolger Hermanns2 ⇄ 4
3. RARajeev Alur2 ⇄ 6
4. ACAlessandro Cimatti1 ⇄ 3
5. ASMAndrzej S. Murawski1 ⇄ 1

you ⇄ them

Parasocial crush

SQShaz Qadeer

you: 9 · them: 0

Secret admirer

PMP. Madhusudan

them: 5 · you: 0

Main character

Interface automata

FSE 2001 · cited 54×

Ratio'd

Protocol Specifications and Component Adaptors

TOPLAS 1997 · cited 19× · by your 54×

Vintage

You cite like it's 1998

Deepest dig

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983

Lamport number3

1. LAyou
2. RARajeev Alur
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Rajeev Alur. Without them: 4.

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.