pldb wrapped

FSFabio Somenzi

23 papers

cited 163×

cites 114

Reply guy/gal

MYVMoshe Y. Vardi

cited you 18×

Mutuals

1. JKJan Kretínský10 ⇄ 6
2. EMCEdmund M. Clarke17 ⇄ 5
3. ACAlessandro Cimatti8 ⇄ 4
4. JEJavier Esparza4 ⇄ 4
5. MYVMoshe Y. Vardi4 ⇄ 18

you ⇄ them

Parasocial crush

YZYunshan Zhu

you: 7 · them: 0

Secret admirer

STStefano Tonetta

them: 6 · you: 0

Main character

VIS: A System for Verification and Synthesis

CAV 1996 · cited 53×

Ratio'd

Improved Automata Generation for Linear Temporal Logic

CAV 1999 · cited 19× · by your 43×

Vintage

You cite like it's 2004

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number2

1. FSyou
2. RPKRobert P. Kurshan
3. LLLeslie Lamport

Load-bearing co-author: Robert P. Kurshan. 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.