pldb wrapped

BHCBetty H. C. Cheng

13 papers

cited 39×

cites 14

Reply guy/gal

JLJian Lu

cited you 4×

Mutuals

1. DFRDavid F. Redmiles1 ⇄ 1
2. JERJason E. Robbins2 ⇄ 1
3. MBDMatthew B. Dwyer1 ⇄ 1
4. NMNenad Medvidovic2 ⇄ 1
5. RNTRichard N. Taylor1 ⇄ 1

you ⇄ them

Parasocial crush

ALAxel van Lamsweerde

you: 2 · them: 0

Secret admirer

XMXiaoxing Ma

them: 4 · you: 0

Main character

Model-based development of dynamically adaptive software

ICSE 2006 · cited 12×

Ratio'd

Filter-Based Model Checking of Partial Systems

FSE 1998 · cited 11× · by your 12×

Vintage

You cite like it's 1996

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number5

1. BHCyou
2. DGDavid Garlan
3. Somesh Jha
4. DAPDoron A. Peled
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: David Garlan. Without them: 6.

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.