Digital Watermarking Enhancement Using Wavelet Filter Parametrization. - Piotr Lipinski; Jan Stolarek (ICANNGA (1), 2011)

Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation. - Jan Stolarek; Piotr Lipinski (SOFSEM, 2012)

Adaptive Wavelet Synthesis for Improving Digital Image Watermarking. - Jan Stolarek (Towards Modern Collaborative Knowledge Sharing Systems, 2012)

Promoting functions to type families in Haskell. - Richard A. Eisenberg; Jan Stolarek (Haskell, 2014)

Injective type families for Haskell. - Jan Stolarek; Simon L. Peyton Jones; Richard A. Eisenberg (Haskell, 2015)

Imperative functional programs that explain their work. - Wilmer Ricciotti; Jan Stolarek; Roly Perera; James Cheney (Proc. ACM Program. Lang., 2017)

Language-integrated provenance in Haskell. - Jan Stolarek; James Cheney (Art Sci. Eng. Program., 2018)

Verified Self-Explaining Computation. - Jan Stolarek; James Cheney (MPC, 2019)

FreezeML: complete and easy type inference for first-class polymorphism. - Frank Emrich; Sam Lindley; Jan Stolarek; James Cheney; Jonathan Coates (PLDI, 2020)

A Modular, Practical Test for a Programming Course. - Jan Stolarek; Przemyslaw Nowak (SIGCSE, 2020)

Constraint-based type inference for FreezeML. - Frank Emrich; Jan Stolarek; James Cheney; Sam Lindley (Proc. ACM Program. Lang., 2022)