A Compact Petri Net Representation for Concurrent Programs. - Matthew B. Dwyer; Lori A. Clarke; Kari A. Nies (ICSE, 1995)

Chiron-1: A Software Architecture for User Interface Development, Maintenance, and Run-Time Support. - Richard N. Taylor; Kari A. Nies; Gregory Alan Bolcer; Craig A. MacFarlane; Kenneth M. Anderson; Gregory F. Johnson (ACM Trans. Comput. Hum. Interact., 1995)

A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. - Michal Young; Richard N. Taylor; David L. Levine; Kari A. Nies; Debra Brodbeck (ACM Trans. Softw. Eng. Methodol., 1995)

A Component- and Message-Based Architectural Style for GUI Software. - Richard N. Taylor; Nenad Medvidovic; Kenneth M. Anderson; E. James Whitehead Jr.; Jason E. Robbins; Kari A. Nies; Peyman Oreizy; Deborah L. Dubrow (IEEE Trans. Software Eng., 1996)