Molecular Model Checking. - E. Allen Emerson; Kristina D. Hager; Jay H. Konieczka (Int. J. Found. Comput. Sci., 2006)

Elucidation of the Cardiac Myogenesis Regulatory Network. - Jay H. Konieczka (2008)

ArrayIDer: automated structural re-annotation pipeline for DNA microarrays. - Bart H. J. van den Berg; Jay H. Konieczka; Fiona M. McCarthy; Shane C. Burgess (BMC Bioinform., 2009)