pldb wrapped

MEKM. Erkan Keremoglu

2 papers

cited 192×

cites 26

Reply guy/gal

HWHeike Wehrheim

cited you 11×

Mutuals

1. TAHThomas A. Henzinger3 ⇄ 3
2. DKDaniel Kroening3 ⇄ 2
3. AVNAditya V. Nori1 ⇄ 1
4. ACAlessandro Cimatti1 ⇄ 3
5. ARAndrey Rybalchenko1 ⇄ 4

you ⇄ them

Parasocial crush

Rupak Majumdar

you: 5 · them: 0

Secret admirer

BWBow-Yaw Wang

them: 8 · you: 0

Main character

CPAchecker: A Tool for Configurable Software Verification

CAV 2011 · cited 166×

Ratio'd

Configurable Software Verification: Concretizing the Convergence of Model…

CAV 2007 · cited 52× · by your 166×

Vintage

You cite like it's 2005

Deepest dig

Incremental Model Checking in the Modal Mu-Calculus

CAV 1994

Lamport number4

1. MEKyou
2. TAHThomas A. Henzinger
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Thomas A. Henzinger. 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.