pldb wrapped

MFMasahiro Fujita

3 papers

cited 4×

cites 6

Reply guy/gal

AJHAlan J. Hu

cited you 2×

Mutuals

1. TRSThomas R. Shiple1 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 2 · them: 0

Main character

Model Checking Based on Sequential ATPG

CAV 1999 · cited 3×

Vintage

You cite like it's 1996

Deepest dig

Synthesis of Communicating Processes from Temporal Logic Specifications

TOPLAS 1984

Lamport number4

1. MFyou
2. YKYuji Kukimoto
3. RKBRobert K. Brayton
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Yuji Kukimoto. 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.