pldb wrapped

LTLeander Tentrup

11 papers

cited 66×

cites 54

Reply guy/gal

BBBorzoo Bonakdarpour

cited you 10×

Mutuals

1. CSCésar Sánchez4 ⇄ 7
2. BBBorzoo Bonakdarpour2 ⇄ 10
3. CHChristopher Hahn2 ⇄ 2
4. EFEmmanuel Filiot3 ⇄ 1
5. FKFelix Klein1 ⇄ 1

you ⇄ them

Parasocial crush

RBRoderick Bloem

you: 6 · them: 0

Secret admirer

THTzu-Han Hsu

them: 9 · you: 0

Main character

Verifying Hyperliveness

CAV 2019 · cited 23×

Ratio'd

On Automation of CTL* Verification for Infinite-State Systems

CAV 2015 · cited 16× · by your 23×

Vintage

You cite like it's 2012

Deepest dig

The Byzantine Generals Problem

TOPLAS 1982

Lamport number4

1. LTyou
2. PFPeter Faymonville
3. DAPDoron A. Peled
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.