pldb wrapped

YLYangge Li

2 papers

cited 2×

cites 22

Reply guy/gal

CJChenxi Ji

cited you 1×

Parasocial crush

CFChuchu Fan

you: 8 · them: 0

Main character

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios

CAV 2023 · cited 2×

Vintage

You cite like it's 2017

Deepest dig

Symmetry and Model Checking

CAV 1993

Lamport number5

1. YLyou
2. SMSayan Mitra
3. PMP. Madhusudan
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Sayan Mitra. 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.