pldb wrapped

QYQiusong Yang

3 papers

cited 5×

cites 26

Reply guy/gal

GHGuangyu Hu

cited you 2×

Mutuals

1. HZHongce Zhang2 ⇄ 2
2. GPGeguang Pu3 ⇄ 1
3. JLJianwen Li3 ⇄ 1

you ⇄ them

Parasocial crush

ACAlessandro Cimatti

you: 6 · them: 0

Secret admirer

WZWei Zhang

them: 2 · you: 0

Main character

A cut-off approach for bounded verification of parameterized systems

ICSE 2010 · cited 2×

Vintage

You cite like it's 2014

Deepest dig

Automatic Verification of Parameterized Synchronous Systems (Extended Abstract)

CAV 1996

Lamport number7

1. QYyou
2. MLMingshu Li
3. QWQing Wang
4. TXTao Xie
5. PMP. Madhusudan
6. RARajeev Alur
7. RPKRobert P. Kurshan
8. LLLeslie Lamport

Load-bearing co-author: Mingshu Li. 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.