pldb wrapped

ESElad Shahar

3 papers

cited 85×

cites 22

Reply guy/gal

ABAhmed Bouajjani

cited you 10×

Mutuals

1. BJBengt Jonsson4 ⇄ 8
2. PAAParosh Aziz Abdulla3 ⇄ 8
3. ABAhmed Bouajjani2 ⇄ 10
4. KSNKedar S. Namjoshi2 ⇄ 6
5. KLMKenneth L. McMillan2 ⇄ 2

you ⇄ them

Parasocial crush

EAEE. Allen Emerson

you: 3 · them: 0

Secret admirer

LDZLenore D. Zuck

them: 10 · you: 0

Main character

Symbolic Model Checking with Rich ssertional Languages

CAV 1997 · cited 45×

Ratio'd

Automatic Verification of Parameterized Synchronous Systems (Extended Abstract)

CAV 1996 · cited 25× · by your 45×

Vintage

You cite like it's 1996

Deepest dig

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic…

TOPLAS 1986

Lamport number4

1. ESyou
2. APAmir Pnueli
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Amir Pnueli. 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.