Interactive type debugging in Haskell. - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (Haskell, 2003)

Finding all minimal unsatisfiable subsets. - Maria J. García de la Banda; Peter J. Stuckey; Jeremy Wazny (PPDP, 2003)

The Chameleon Type Debugger (Tool Demonstration) - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (CoRR, 2003)

Improving type error diagnosis. - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (Haskell, 2004)

Improved Inference for Checking Annotations - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (CoRR, 2005)

Type Processing by Constraint Reasoning. - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (APLAS, 2006)

A Framework for Extended Algebraic Data Types. - Martin Sulzmann; Jeremy Wazny; Peter J. Stuckey (FLOPS, 2006)

Experience report: Functional programming in C-Rules. - Jeremy Wazny (J. Funct. Program., 2010)

Xenome - a tool for classifying reads from xenograft samples. - Thomas C. Conway; Jeremy Wazny; Andrew J. Bromage; Martin Tymms; Dhanya Sooraj; Elizabeth D. Williams; Bryan Beresford-Smith (Bioinform., 2012)

Gossamer - a resource-efficient de novo assembler. - Thomas C. Conway; Jeremy Wazny; Andrew J. Bromage; Justin Zobel; Bryan Beresford-Smith (Bioinform., 2012)

Information theoretic alignment free variant calling. - Justin Bedo; Benjamin Goudey; Jeremy Wazny; Ze-yu Zhou (PeerJ Prepr., 2016)