Author: Ricky W. Butler

Ricky W. Butler

Ricky W. Butler

Publications

Publication period start: 1990
Publication period end: 1996
Number of co-authors: 16

Co-authors

Number of publications with favourite co-authors
Pamela Zave
1
Parameswaran Ramanathan
1
Kang G. Shin
1

Productive Colleagues

Most productive colleagues in number of publications
David Lorge Parnas
29
David Gries
31
Robert L. Glass
48

Publications

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.

Ramanathan, Parameswaran, Shin, Kang G., Butler, Ricky W. (1990): Fault-Tolerant Clock Synchronization in Distributed Systems. In IEEE Computer, 23 (10) pp. 33-42.