pldb wrapped

ALAlfons Laarman

11 papers

cited 48×

cites 77

Reply guy/gal

MHMarieke Huisman

cited you 4×

Mutuals

1. ACAlessandro Cimatti3 ⇄ 3
2. AGAlberto Griggio2 ⇄ 3
3. DBDirk Beyer2 ⇄ 3
4. BCBin Cheng1 ⇄ 1
5. DKDaniel Kroening1 ⇄ 1

you ⇄ them

Parasocial crush

WTWei-Lun Tsai

you: 9 · them: 0

Secret admirer

ABJAnna Blume Jakobsen

them: 3 · 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 2011

Deepest dig

Parallel Program Correctness Through Refinement

POPL 1977

Lamport number5

1. ALyou
2. ASAna Sokolova
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.