pldb wrapped

RERüdiger Ehlers

7 papers

cited 51×

cites 31

Reply guy/gal

SMShahar Maoz

cited you 10×

Mutuals

1. EFEmmanuel Filiot4 ⇄ 3
2. JRJean-François Raskin4 ⇄ 3
3. RBRoderick Bloem3 ⇄ 3
4. YSYaniv Sa'ar3 ⇄ 4
5. NPNir Piterman5 ⇄ 2

you ⇄ them

Parasocial crush

APAmir Pnueli

you: 4 · them: 0

Secret admirer

KSNKedar S. Namjoshi

them: 7 · you: 0

Main character

Unbeast: Symbolic Bounded Synthesis

TACAS 2011 · cited 19×

Ratio'd

An Antichain Algorithm for LTL Realizability

CAV 2009 · cited 16× · by your 19×

Vintage

You cite like it's 2006

Deepest dig

Expressing Interesting Properties of Programs in Propositional Temporal Logic

POPL 1986

Lamport number4

1. REyou
2. SASSanjit A. Seshia
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Sanjit A. Seshia. 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.