pldb wrapped

SBStefan Blom

6 papers

cited 46×

cites 31

Reply guy/gal

AWAnton Wijs

cited you 4×

Mutuals

1. RMRadu Mateescu4 ⇄ 2
2. ACAlessandro Cimatti1 ⇄ 2
3. AEDAndreas Engelbredt Dalsgaard1 ⇄ 1
4. EPVErik P. de Vink1 ⇄ 3
5. FPMFrank P. M. Stappers1 ⇄ 2

you ⇄ them

Parasocial crush

MJPMatthew J. Parkinson

you: 5 · them: 0

Secret admirer

FKFabrice Kordon

them: 4 · you: 0

Main character

LTSmin: High-Performance Language-Independent Model Checking

TACAS 2015 · cited 25×

Ratio'd

Model Checking of Real-Time Reachability Properties Using Abstractions

TACAS 1998 · cited 18× · by your 25×

Vintage

You cite like it's 2008

Deepest dig

The Murphi Verification System

CAV 1996

Lamport number4

1. SByou
2. MTDMuhammad Torabi Dashti
3. MMMarius Minea
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Muhammad Torabi Dashti. Without them: 5.

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.