M.J. Jipping, "Developing a Formal Model for Concurrency Control Design", Proceedings of the Second Great Lakes Computer Science Conference, April 1991.
R. Ford, M.J. Jipping, R. Schultz, and B. Wenhardt, ``On the Performance of Concurrent Tree Algorithms'', Journal of Parallel and Distributed Computing, 8, March 1990, pp. 253-266.
M.J. Jipping, J.R. Toppen, and S. Weeber, "Concurrent Distributed Pascal: A Hands-on Introduction to Concurrency", Proceedings of the 1990 SIGCSE Technical Symposium, SIGCSE Bulletin, Vol. 22, No. 1 (February, 1990), pp. 94-99.
H.D. Dershem and M.J. Jipping, Programming Languages: Structures and Models, Wadsworth Publishing Co., 1990.
M.J. Jipping, and R. Ford, ``Predicting Performance for Concurrency Control Design'', 1987 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, pp. 132- 142, Banff, Alberta, Canada (May 1987).
M.J. Jipping and R. Ford,``Performance Prediction in Distributed System Design'', Proceedings of the 1986 Rockwell International Software Engineering Symposium, pp. 3.2.1-3.2.8, Cedar Rapids, Iowa (October 1986).
M.J. Jipping, ``An Information-Based Methodology for the Design of Concurrent Systems'', Ph.D. Thesis, Technical Report 86-01, The University of Iowa, Iowa City, Iowa (May 1986).
R. Ford, M.J. Jipping, and R. Shultz, ``On the Performance of an Optimistic Concurrent Tree Algorithm'', Technical Report No. 85-07, Department of Computer Science, The University of Iowa, Iowa City, Iowa (August 1985).
R. Ford, R. Shultz, and M.J. Jipping, ``Performance Evaluation of Distributed Concurrency Control Mechanisms'', Proceedings of the Fourth Symposium on Reliability of Distributed Software and Database Systems, pp. 84-89, Silver Springs, Maryland (October 1984).