M. Beaven

Building Envelope

D. Shiers, M. Keeping, R. Pugh, 2017, Handbook of Energy Efficiency in Buildings.

A Functional Language with Classes

Ryan Stansifer, Mike Beaven, Dan Wetklow, 1989, Great Lakes Computer Science Conference.

A parallel algorithm for computing invariants of Petri net models

Dan C. Marinescu, Ryan Stansifer, Mike Beaven, 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

Modeling concurrent programs with colored Petri nets

Dan C. Marinescu, Ryan Stansifer, Mike Beaven, 1994, J. Syst. Softw..

VERT-verification of real-time programs

Dan C. Marinescu, Ryan Stansifer, Mike Beaven, 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.