pldb wrapped

ATNAtaru T. Nakagawa

3 papers

cited 0×

cites 6

Vintage

You cite like it's 1986

Deepest dig

On Proving Inductive Properties of Abstract Data Types

POPL 1980

Lamport number7

1. ATNyou
2. KFKokichi Futatsugi
3. JMJosé Meseguer
4. AFAzadeh Farzan
5. BWBow-Yaw Wang
6. RARajeev Alur
7. RPKRobert P. Kurshan
8. LLLeslie Lamport

Load-bearing co-author: Kokichi Futatsugi. Without them: ∞.

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.