pldb wrapped

SMESteve M. Easterbrook

18 papers

cited 39×

cites 15

Reply guy/gal

SNShiva Nejati

cited you 4×

Mutuals

1. AEAlexander Egyed1 ⇄ 3
2. AFAnthony Finkelstein1 ⇄ 2
3. BNBashar Nuseibeh1 ⇄ 1
4. SUSebastián Uchitel2 ⇄ 1

you ⇄ them

Secret admirer

ELEmmanuel Letier

them: 3 · you: 0

Main character

Matching and Merging of Statecharts Specifications

ICSE 2007 · cited 12×

Vintage

You cite like it's 2002

Deepest dig

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic…

TOPLAS 1986

Lamport number5

1. SMEyou
2. AGArie Gurfinkel
3. RJTRichard J. Trefler
4. KSNKedar S. Namjoshi
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.