A formal framework for the design of development environments. - M. M. Pett; Michael D. Rice; Stephen B. Seidman (IWSSD, 1989)

Semantics for data parallel computation. - Michael D. Rice (Int. J. Parallel Program., 1990)

The Specification of Data Parallel Algorithms. - Michael D. Rice; Stephen B. Seidman; Pearl Y. Wang (J. Parallel Distributed Comput., 1990)

Complexity Measures on Trees. - Michael D. Rice (Formal Aspects of Measurement, 1991)

Modeling the Serial and Parallel Fractions of a Parallel Algorithm. - Edward A. Carmona; Michael D. Rice (J. Parallel Distributed Comput., 1991)

Modified majority logic decoding of cyclic codes in hybrid-ARQ systems. - Michael D. Rice; Stephen B. Wicker (IEEE Trans. Commun., 1992)

Adaptive error control for slowly varying channels. - Michael D. Rice; Stephen B. Wicker (IEEE Trans. Commun., 1994)

A sequential scheme for adaptive error control over slowly varying channels. - Michael D. Rice; Stephen B. Wicker (IEEE Trans. Commun., 1994)

A Formal Model for Module Interconnection Languages. - Michael D. Rice; Stephen B. Seidman (IEEE Trans. Software Eng., 1994)

Reflexive Objects in Topological Categories. - Michael D. Rice (Math. Struct. Comput. Sci., 1996)

An approach to architectural analysis and testing. - Michael D. Rice; Stephen B. Seidman (ISAW@FSE, 1998)

Clusters, Concepts, and Pseudometrics. - Michael D. Rice; Michael Siff (MFCSIT, 2000)

The mRNA landscape at yeast translation initiation sites. - A. Robbins-Pianka; Michael D. Rice; Michael P. Weir (Bioinform., 2010)

TRII: A Probabilistic Scoring of Drosophila melanogaster Translation Initiation Sites. - Michael P. Weir; Michael D. Rice (EURASIP J. Bioinform. Syst. Biol., 2010)