Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent, pages 1-50

Authors: J.A. Bergstra

Abstract | References | BibTeX | Full Text (PDF)

A Note on Congruences of Infinite Bounded Involution Lattices, pages 51-78

Authors: C. Mureșan

Abstract | References | BibTeX | Full Text (PDF)

Small Longest Tandem Scattered Subsequences, pages 79–110

Authors: L.M.S. Russo, A.P. Francisco

Abstract | References | BibTeX | Full Text (PDF)

Applying MDE to ROS Systems: A Comparative Analysis, pages 111-144

Authors: M.Trezzy, I. Ober, I. Ober, R. Oliveira

Abstract | References | BibTeX | Full Text (PDF)