pldb wrapped

HQHongyang Qu

4 papers

cited 41×

cites 14

Reply guy/gal

JKJoost-Pieter Katoen

cited you 8×

Mutuals

1. TAHThomas A. Henzinger2 ⇄ 2
2. KCKrishnendu Chatterjee1 ⇄ 4
3. RMRon van der Meyden1 ⇄ 1

you ⇄ them

Parasocial crush

KEKousha Etessami

you: 4 · them: 0

Secret admirer

SJSebastian Junges

them: 8 · you: 0

Main character

Quantitative Multi-objective Verification for Probabilistic Systems

TACAS 2011 · cited 19×

Ratio'd

MCK: Model Checking the Logic of Knowledge

CAV 2004 · cited 11× · by your 13×

Vintage

You cite like it's 2006

Deepest dig

MOCHA: Modularity in Model Checking

CAV 1998

Lamport number4

1. HQyou
2. MZKMarta Z. Kwiatkowska
3. MYMihalis Yannakakis
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Marta Z. Kwiatkowska. 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.