LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. - Ruzena Bajcsy; Aravind K. Joshi; Eric Krotkov; Amy E. Zwarico (IJCAI, 1985)

Proving a Network of Real-Time Processes Correct. - Amy E. Zwarico; Insup Lee 001 (RTSS, 1985)

Timed Acceptances: A Model of Time Dependent Processes. - Insup Lee 001; Amy E. Zwarico (FTRTFT, 1988)

A Theory of Testing for Real-Time - Rance Cleaveland; Amy E. Zwarico (LICS, 1991)

Testing Preorders for Probabilistic Processes. - Rance Cleaveland; Scott A. Smolka; Amy E. Zwarico (ICALP, 1992)

Provably Correct Synthesis of Asynchronous Circuits. - Scott F. Smith 001; Amy E. Zwarico (Designing Correct Circuits, 1992)

Book Review: Action Refinement in Process Algebras. By Luca Aceto. (Cambridge University Press, 1992. ix+273pp. ISBN 0-521-43111-5. $49.95). - Amy E. Zwarico (SIGACT News, 1993)

Application of OOP Type Theory: State, Decidability, Integragtion. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov; Amy E. Zwarico (OOPSLA, 1994)

An Algebraic Framework for Developing and Maintaining Real-Time Systems. - Elizabeth I. Leonard; Amy E. Zwarico (AMAST, 1995)

Correct Compilation of Specifications to Deterministic Asynchronous Circuits. - Scott F. Smith 001; Amy E. Zwarico (Formal Methods Syst. Des., 1995)

An Interpretation of Typed OOP in a Language with State. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov; Amy E. Zwarico (LISP Symb. Comput., 1995)

Automatic Synthesis of Compression Techniques for Heterogeneous - William H. Hsu; Amy E. Zwarico (Softw. Pract. Exp., 1995)

Compiling object-oriented programs for distributed execution. - Prakash K. Muthukrishnan; Barrett R. Bryant; Amy E. Zwarico (HiPC, 1996)