pldb wrapped

JBJiri Barnat

9 papers

cited 29×

cites 19

Reply guy/gal

DBDirk Beyer

cited you 5×

Mutuals

1. SEStefan Edelkamp2 ⇄ 3
2. DBDirk Beyer1 ⇄ 5
3. MWMichael Weber2 ⇄ 1
4. SCSagar Chaki1 ⇄ 1

you ⇄ them

Parasocial crush

GBGerd Behrmann

you: 4 · them: 0

Secret admirer

PSPeter Sanders

them: 3 · you: 0

Main character

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs

CAV 2013 · cited 15×

Vintage

You cite like it's 2003

Deepest dig

Memory Efficient Algorithms for the Verification of Temporal Properties

CAV 1990

Lamport number5

1. JByou
2. LBLubos Brim
3. MZKMarta Z. Kwiatkowska
4. MYMihalis Yannakakis
5. RPKRobert P. Kurshan
6. 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.