Type Inference for Action Semantics. - Susan Even; David A. Schmidt (ESOP, 1990)

Category-Sorted Algebra-Based Action Semantics. - Susan Even; David A. Schmidt (Theor. Comput. Sci., 1990)

Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model. - Susan Even; David Spelt (ECOOP Workshops, 1999)

A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. - David Spelt; Susan Even (TACAS, 1999)

Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. - David Spelt; Susan Even (Concurr. Comput. Pract. Exp., 2001)

Signbank: Software to Support Web Based Dictionaries of Sign Language. - Steve Cassidy; Onno Crasborn; Henri Nieminen; Wessel Stoop; Micha Hulsbosch; Susan Even; Erwin Komen; Trevor Johnson (LREC, 2018)