pldb wrapped

Swen Jacobs

@swenjacobs.bsky.social

23 papers

cited 67×

cites 161

Reply guy/gal

TWThomas Wies

cited you 7×

Mutuals

1. SSSharon Shoham9 ⇄ 3
2. STStavros Tripakis3 ⇄ 3
3. OPOded Padon7 ⇄ 2
4. PMP. Madhusudan2 ⇄ 2
5. TWThomas Wies2 ⇄ 7

you ⇄ them

Parasocial crush

APAmir Pnueli

you: 12 · them: 0

Secret admirer

LTLeander Tentrup

them: 4 · you: 0

Main character

On Local Reasoning in Verification

TACAS 2008 · cited 17×

Ratio'd

Model-Checking and Abstraction to the Aid of Parameterized Systems

VMCAI 2003 · cited 5× · by your 11×

Vintage

You cite like it's 2010

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. you
2. BFBernd Finkbeiner
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

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.