pldb wrapped

THThomas Hune

4 papers

cited 26×

cites 12

Reply guy/gal

JPJaco van de Pol

cited you 5×

Mutuals

1. OMOded Maler3 ⇄ 4
2. MBMarius Bozga3 ⇄ 2
3. AOAlfredo Olivero3 ⇄ 1
4. EAEugene Asarin1 ⇄ 1

you ⇄ them

Parasocial crush

CDConrado Daws

you: 3 · them: 0

Secret admirer

LPLaure Petrucci

them: 4 · you: 0

Main character

Efficient Guiding Towards Cost-Optimality in UPPAAL

TACAS 2001 · cited 8×

Vintage

You cite like it's 1997

Deepest dig

The Murphi Verification System

CAV 1996

Lamport number5

1. THyou
2. MSMariëlle Stoelinga
3. TAHThomas A. Henzinger
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.