pldb wrapped

RDRobert van Doesburg

1 papers

cited 5×

cites 2

Reply guy/gal

BCBenoît Combemale

cited you 2×

Mutuals

1. BCBenoît Combemale1 ⇄ 2
2. MVMMauricio Verano Merino1 ⇄ 2
3. OBOlivier Barais1 ⇄ 2
4. PJPierre Jeanjean1 ⇄ 2
5. TSTijs van der Storm1 ⇄ 2

you ⇄ them

Secret admirer

CAEChristopher A. Esterhuyse

them: 2 · you: 0

Main character

eFLINT: a domain-specific language for executable norm specifications

GPCE 2020 · cited 5×

Deepest dig

Verification and change-impact analysis of access-control policies

ICSE 2005

Lamport number6

1. RDyou
2. LTBL. Thomas van Binsbergen
3. KCKoen Claessen
4. NPNir Piterman
5. OKOrna Kupferman
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: L. Thomas van Binsbergen. 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.