pldb wrapped

HCHana Chockler

7 papers

cited 38×

cites 33

Reply guy/gal

BFBernd Finkbeiner

cited you 2×

Mutuals

1. FSFabio Somenzi2 ⇄ 2
2. AGAlex Groce1 ⇄ 1
3. AFAlon Flaisher1 ⇄ 1
4. ATAndreas Tiemeyer1 ⇄ 1
5. AKAyrat Khalimov1 ⇄ 1

you ⇄ them

Parasocial crush

APAmir Pnueli

you: 4 · them: 0

Secret admirer

HFHadar Frenkel

them: 2 · you: 0

Main character

Explaining Counterexamples Using Causality

CAV 2009 · cited 13×

Ratio'd

Reasoning with Temporal Logic on Truncated Paths

CAV 2003 · cited 7× · by your 13×

Vintage

You cite like it's 2003

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number2

1. HCyou
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.