Susan Even

Publication Activity (10 Years)

Years Active: 1990-2018
Publications (10 Years): 1

Top Topics

Support Systems

Top Venues

Publications

Steve Cassidy, Onno Crasborn, Henri Nieminen, Wessel Stoop, Micha Hulsbosch, Susan Even, Erwin Komen, Trevor Johnson
Signbank: Software to Support Web Based Dictionaries of Sign Language. LREC (2018)
David Spelt, Susan Even
Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. Concurr. Comput. Pract. Exp. 13 (11) (2001)
Susan Even, David Spelt
Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model. ECOOP Workshops (1999)
David Spelt, Susan Even
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. TACAS (1999)
Susan Even, David A. Schmidt
Type Inference for Action Semantics. ESOP (1990)
Susan Even, David A. Schmidt
Category-Sorted Algebra-Based Action Semantics. Theor. Comput. Sci. 77 (1&2) (1990)