pldb wrapped

BQBolun Qi

2 papers

cited 18×

cites 26

Reply guy/gal

HSHussein Sibai

cited you 4×

Mutuals

1. ADAlexandre Donzé4 ⇄ 1
2. TDThao Dang5 ⇄ 1

you ⇄ them

Parasocial crush

OMOded Maler

you: 4 · them: 0

Secret admirer

YLYangge Li

them: 4 · you: 0

Main character

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

CAV 2016 · cited 11×

Ratio'd

The d/dt Tool for Verification of Hybrid Systems

CAV 2002 · cited 9× · by your 11×

Vintage

You cite like it's 2011

Deepest dig

Decidability of Bisimulation Equivalences for Parallel Timer Processes

CAV 1992

Lamport number5

1. BQyou
2. MVMahesh Viswanathan
3. PMP. Madhusudan
4. RARajeev Alur
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.