A Kochen-Specker system has at least 22 vectors (extended abstract). - Sander Uijlen; Bas Westerbaan (QPL, 2014)

Picturing Indefinite Causal Structure. - Aleks Kissinger; Sander Uijlen (QPL, 2016)

A Kochen-Specker System Has at Least 22 Vectors. - Sander Uijlen; Bas Westerbaan (New Gener. Comput., 2016)

Effect algebras, presheaves, non-locality and contextuality. - Sam Staton; Sander Uijlen (Inf. Comput., 2018)

A categorical semantics for causal structure. - Aleks Kissinger; Sander Uijlen (Log. Methods Comput. Sci., 2019)