Towards fingerprints as strings: Secure indexing for fingerprint matching. - Jesse Hartloff; Jimmy Dobler; Sergey Tulyakov; Atri Rudra; Venu Govindaraju (ICB, 2013)

Implementation of Tetris as a Model Counter. - Jimmy Dobler; Atri Rudra (CoRR, 2017)

Implementation of Tetris as a Model Counter. - Jimmy Dobler (2018)