Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2001 | 1999 | 1998 | 1995
Number of items: 6.

2001

Spelt, D. and Even, S.J. (2001) 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). pp. 1013-1032. ISSN 1532-0626

1999

Even, S.J. and Spelt, D. (1999) Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model. In: Proceedings of the 1st ECOOP Workshop on Object-Oriented Databases, 15 Jun 1999, Lisbon, Portugal (pp. pp. 109-120).

Spelt, D. and Even, S.J. (1999) A theorem prover-based analysis tool for object-oriented databases. In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1999), 22-28 March 1999, Amsterdam, The Netherlands (pp. pp. 375-389).

1998

Faase, F.J. and Even, S.J. and By, R.A. de and Apers, P.M.G. (1998) Integrating organisational and transactional aspects of cooperative activities. In: Proceedings 6th Workshop on Database Programming Languages (DBPL 1997), 18-20 Aug 1997, Estes Park, Colorado, USA (pp. pp. 336-354).

Spelt, David and Even, Susan (1998) engineering approach to atomic transaction verification: use of a simple object model to achieve semantics-based reasoning at compile-time. [Report]

1995

By, Rolf A. de and Even, Susan J. and Verkoulen, Peter A.C. (1995) Functionally Specified Distributed Transactions in Co-operative Scenarios. In: Fifth International Workshop on Research Issues in Data Engineering, Distributed Object Management,RIDE-DOM, 6-7 March 1995, Taipei, Taiwan (pp. pp. 116-121).

This list was generated on Mon Jul 28 05:22:58 2014 CEST.