pldb wrapped

DHDennis Hendriks

3 papers

cited 8×

cites 8

Reply guy/gal

AHArnd Hartmanns

cited you 2×

Mutuals

1. AYAkihisa Yamada1 ⇄ 1
2. AHArnd Hartmanns1 ⇄ 2
3. DBDirk Beyer3 ⇄ 1
4. Ezio Bartocci1 ⇄ 1
5. FKFabrice Kordon1 ⇄ 1

you ⇄ them

Secret admirer

SJSebastian Junges

them: 2 · you: 0

Main character

RERS 2019: Combining Synthesis with Real-World Models

TACAS 2019 · cited 6×

Vintage

You cite like it's 2013

Deepest dig

Symbolic Model Checking

CAV 1996

Lamport number5

1. DHyou
2. FHFalk Howar
3. BJBengt Jonsson
4. DAPDoron A. Peled
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.