pldb wrapped

OLOrna Lichtenstein

1 papers

cited 85×

cites 5

Reply guy/gal

MYVMoshe Y. Vardi

cited you 18×

Mutuals

1. EAEE. Allen Emerson2 ⇄ 5
2. ZMZohar Manna2 ⇄ 3
3. APSA. Prasad Sistla1 ⇄ 6
4. EMCEdmund M. Clarke1 ⇄ 6

you ⇄ them

Secret admirer

OGOrna Grumberg

them: 11 · you: 0

Main character

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985 · cited 85×

Ratio'd

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983 · cited 43× · by your 85×

Vintage

You cite like it's 1983

Deepest dig

"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs

POPL 1980

Lamport number4

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

Load-bearing co-author: Amir Pnueli. Without them: ∞.

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.