Susan Even

	2001
6		David Spelt, Susan Even: Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. Concurrency and Computation: Practice and Experience 13(11): 1013-1032 (2001)
	1999
5		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 Workshop on Object-Oriented Databases 1999: 109-120
4		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: 216-217
3		David Spelt, Susan Even: A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. TACAS 1999: 375-389
	1990
2		Susan Even, David A. Schmidt: Type Inference for Action Semantics. ESOP 1990: 118-133
1		Susan Even, David A. Schmidt: Category-Sorted Algebra-Based Action Semantics. Theor. Comput. Sci. 77(1&2): 73-95 (1990)

Coauthor Index

1	David A. Schmidt	[1] [2]
2	David Spelt	[3] [4] [5] [6]

Colors in the list of coauthors