Published Papers
- Cris Pedregal Martin and Krithi Ramamritham:
Support for Recovery in Mobile Systems
(PDF),
IEEE Transactions on Computers,
51(10), pp. 1219-1224, Oct. 2002.
- Cris Pedregal Martin and Krithi Ramamritham:
Guaranteeing Recoverability in Electronic Commerce
(PDF),
in Proc.
Third International Workshop on Advanced issues of
E-Commerce and Web-Based Information Systems, pp. 144-155, San Jose, Calif., 21-22
June 2001.
- Agustin Schapira, Kim De Vries, and Cris Pedregal Martin:
MANIC: An Open-Source System to Create and Deliver Courses over the
Internet (HTML,
PS,
PDF), in Proc. 2001 Symposium On Applications and the Internet (IEEE
Computer Society Press), pp. 21-26, San Diego, Calif., 11-12 Jan. 2001
- Cris Pedregal Martin and Krithi Ramamritham:
Recovery Guarantees in Mobile Systems,
(PS,
PDF), in International Workshop on Data
Engineering for Wireless and Mobile Access, Seattle, Wash., 20
August 1999.
- Cris Pedregal Martin and Krithi Ramamritham:
Toward Formalizing Recovery of (Advanced) Transactions
(PS,
PDF),
in Advanced
Transaction Models and Architectures, S.
Jajodia and L. Kerschberg,
editors, Kluwer, Boston, 1997,
pp. 213-234.
- Cris Pedregal Martin and Krithi Ramamritham:
Delegation: Efficiently Rewriting History
(PS, PDF),
In Proceedings of the Thirteenth International Conf. on Data
Engineering, pp. 266-275, Birmingham, UK, April 1997.
Technical Reports
- Cris Pedregal Martin and Krithi Ramamritham:
Analyzing, Specifying, and Reasoning to Guarantee Recoverability,
University of Massachusetts Computer Science Technical Report 01-03,
April 2001.
- Cris Pedregal Martin and Krithi Ramamritham:
Recovery Guarantees: The Basis for Electronic Commerce (abstract,
PDF), University of
Massachusetts Computer Science Technical Report 00-61, December 2000.
- Cris Pedregal Martin and Krithi Ramamritham:
Recovery Guarantees: Essentials and Incidentals
(abstract,
PDF),
University of Massachusetts Computer Science Technical Report 98-12,
August 1998.
- Cris Pedregal Martin, Arvind Nithrakashyap, Krithi Ramamritham,
and Jayavel
Shanmugasundaram:
Understanding and Formalizing Recovery through Histories (abstract,
PS), University of Massachusetts Computer Science Technical Report
96-34, October 1996.
- Cris Pedregal Martin and Krithi Ramamritham: Delegation:
Efficiently Rewriting History (abstract,
PS, PDF), University
of Massachusetts Computer Science Technical Report 95-90, October
1995.
- Cris Pedregal Martin and Krithi Ramamritham:
ARIES/RH: Robust Support for Delegation by Rewriting History (abstract, PS,
PDF), University of
Massachusetts Computer Science Technical Report 95-51, June 1995.
Last Update: 2002.11.11