pldb wrapped

KPKlaus Pohl

7 papers

cited 33×

cites 14

Reply guy/gal

SASven Apel

cited you 10×

Mutuals

1. DSBDon S. Batory2 ⇄ 2
2. ASSAbdel Salam Sayyad1 ⇄ 1
3. CKChristian Kästner1 ⇄ 5
4. HHAHany H. Ammar1 ⇄ 1
5. SASven Apel1 ⇄ 10

you ⇄ them

Parasocial crush

KCKrzysztof Czarnecki

you: 4 · them: 0

Secret admirer

ARAlexander von Rhein

them: 6 · you: 0

Main character

Model Checking of Domain Artifacts in Product Line Engineering

ASE 2009 · cited 22×

Ratio'd

Fitting the pieces together: a machine-checked model of safe composition

FSE 2009 · cited 12× · by your 22×

Vintage

You cite like it's 2006

Deepest dig

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic…

TOPLAS 1986

Lamport number7

1. KPyou
2. CLHConstance L. Heitmeyer
3. SRFStuart R. Faulk
4. LGVLawrence G. Votta
5. LJJLalita Jategaonkar Jagadeesan
6. RARajeev Alur
7. RPKRobert P. Kurshan
8. LLLeslie Lamport

Load-bearing co-author: Constance L. Heitmeyer. Without them: ∞.

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.