pldb wrapped

ARBA. R. Balasubramanian

4 papers

cited 1×

cites 37

Reply guy/gal

CWChana Weil-Kennedy

cited you 1×

Parasocial crush

MFAMohamed Faouzi Atig

you: 5 · them: 0

Main character

Parameterized Verification of Synchronization in Constrained Reconfigurable…

TACAS 2018 · cited 1×

Vintage

You cite like it's 2015

Deepest dig

Symmetry and Model Checking

CAV 1993

Lamport number4

1. ARByou
2. Rupak Majumdar
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Rupak Majumdar. 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.