pldb wrapped

YSYaniv Sa'ar

8 papers

cited 114×

cites 72

Reply guy/gal

SMShahar Maoz

cited you 16×

Mutuals

1. MRMarco Roveri4 ⇄ 3
2. RERüdiger Ehlers4 ⇄ 3
3. SUSebastián Uchitel3 ⇄ 7
4. ACAlessandro Cimatti4 ⇄ 2
5. ARAndrey Rybalchenko4 ⇄ 2

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 6 · them: 0

Secret admirer

JORJan Oliver Ringert

them: 15 · you: 0

Main character

Synthesis of Reactive(1) Designs

VMCAI 2006 · cited 94×

Ratio'd

Synthesis of Communicating Processes from Temporal Logic Specifications

TOPLAS 1984 · cited 45× · by your 94×

Vintage

You cite like it's 2005

Deepest dig

Specification and Synthesis of Communicating Processes using an Extended…

POPL 1982

Lamport number3

1. YSyou
2. KSNKedar S. Namjoshi
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Kedar S. Namjoshi. 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.