pldb wrapped

SSStephan Spengler

2 papers

cited 3×

cites 26

Reply guy/gal

ABAhmed Bouajjani

cited you 2×

Mutuals

1. ABAhmed Bouajjani7 ⇄ 2
2. KNKK. Narayan Kumar2 ⇄ 2
3. PSPrakash Saivasan2 ⇄ 2

you ⇄ them

Parasocial crush

OLOri Lahav

you: 5 · them: 0

Main character

Parameterized Verification under TSO with Data Types

TACAS 2023 · cited 3×

Vintage

You cite like it's 2016

Deepest dig

Symbolic Model Checking with Rich ssertional Languages

CAV 1997

Lamport number4

1. SSyou
2. PAAParosh Aziz Abdulla
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Parosh Aziz Abdulla. 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.