pldb wrapped

RRRoni Rosner

3 papers

cited 153×

cites 8

Reply guy/gal

OKOrna Kupferman

cited you 14×

Mutuals

1. EAEE. Allen Emerson2 ⇄ 4
2. APSA. Prasad Sistla1 ⇄ 1
3. ZMZohar Manna2 ⇄ 1

you ⇄ them

Secret admirer

NPNir Piterman

them: 12 · you: 0

Main character

On the Synthesis of a Reactive Module

POPL 1989 · cited 150×

Ratio'd

A Deductive Approach to Program Synthesis

TOPLAS 1980 · cited 68× · by your 150×

Vintage

You cite like it's 1986

Deepest dig

On the Temporal Analysis of Fairness

POPL 1980

Lamport number4

1. RRyou
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.