Test Suite Minimization for Embedded Nondeterministic Finite State Machines
Guaranteeing Full Fault Coverage for UIO-Based Methods
Protocols for Maintaining Consistency of Replicated Data
Using Extended Hierarchical Quorum Consensus to Control Replicated Data: From Traditional Voting to Logical Structures
The Hierarchical Ring Protocol: An Efficient Scheme for Reading Replicated Data
Browsing and Querying in Object-Oriented Databases
IC Technical Reports 1993
IC Technical Reports 1995
IC Technical Reports 1999
IC Technical Reports 1992
Nabor C. Mendonça
Ana Cavalli
Nina Yevtushenko
Juliano Lopes de Oliveira