pldb wrapped

ALAvner Landver

3 papers

cited 37×

cites 21

Reply guy/gal

OGOrna Grumberg

cited you 5×

Mutuals

1. OGOrna Grumberg2 ⇄ 5
2. APAmir Pnueli4 ⇄ 1
3. AGAnna Gringauze1 ⇄ 2
4. ATArmando Tacchella1 ⇄ 1
5. CECindy Eisner1 ⇄ 3

you ⇄ them

Parasocial crush

KLMKenneth L. McMillan

you: 5 · them: 0

Secret admirer

DBDoron Bustan

them: 3 · you: 0

Main character

The ForSpec Temporal Logic: A New Temporal Property-Specification Language

TACAS 2002 · cited 18×

Ratio'd

A Temporal Fixpoint Calculus

POPL 1988 · cited 17× · by your 18×

Vintage

You cite like it's 1994

Deepest dig

On the Temporal Analysis of Fairness

POPL 1980

Lamport number3

1. ALyou
2. MYVMoshe Y. Vardi
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Moshe Y. Vardi. Without them: 4.

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.