Invariant Discovery via Failed Proof Attempts. - Jamie Stark; Andrew Ireland (LOPSTR, 1998)

Towards Automatic Imperative Program Synthesis Through Proof Planning. - Jamie Stark; Andrew Ireland (ASE, 1999)

Proof planning for strategy development. - Andrew Ireland; Jamie Stark (Ann. Math. Artif. Intell., 2000)

Proof planning for imperative program development. - Jamie Stark (2000)

Agent Oriented Analysis Using Message/UML. - Giovanni Caire; Wim Coulier; Francisco J. Garijo; Jorge J. Gómez-Sanz; Juan Pavón; Francisco Leal; Paulo Chainho; Paul E. Kearney; Jamie Stark; Richard Evans; Philippe Massonet (AOSE, 2001)

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. - Andrew Ireland; Jamie Stark (Autom. Softw. Eng., 2006)

Identifying Corporate Credit Risk Sentiments from Financial News. - Noujoud Ahbali; Xinyuan Liu; Albert Nanda; Jamie Stark; Ashit Talukder; Rupinder Paul Khandpur (NAACL-HLT (Industry Papers), 2022)

Understanding activity and physiology at scale: The Apple Heart & Movement Study. - James Truslow; Angela Spillane; Huiming Lin; Katherine Cyr; Adeeti Ullal; Edith Arnold; Ron Huang; Laura Rhodes; Jennifer Block; Jamie Stark; James Kretlow; Alexis L. Beatty; et al. (npj Digit. Medicine, 2024)