Amy E. Zwarico

Publication Activity (10 Years)

Years Active: 1985-1996
Publications (10 Years): 0

Publications

Prakash K. Muthukrishnan, Barrett R. Bryant, Amy E. Zwarico
Compiling object-oriented programs for distributed execution. HiPC (1996)
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
An Interpretation of Typed OOP in a Language with State. LISP Symb. Comput. 8 (4) (1995)
William H. Hsu, Amy E. Zwarico
Automatic Synthesis of Compression Techniques for Heterogeneous Softw. Pract. Exp. 25 (10) (1995)
Elizabeth I. Leonard, Amy E. Zwarico
An Algebraic Framework for Developing and Maintaining Real-Time Systems. AMAST (1995)
Scott F. Smith, Amy E. Zwarico
Correct Compilation of Specifications to Deterministic Asynchronous Circuits. Formal Methods Syst. Des. 7 (3) (1995)
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
Application of OOP Type Theory: State, Decidability, Integragtion. OOPSLA (1994)
Amy E. Zwarico
Book Review: Action Refinement in Process Algebras. By Luca Aceto. (Cambridge University Press, 1992. ix+273pp. ISBN 0-521-43111-5. $49.95). SIGACT News 24 (2) (1993)
Scott F. Smith, Amy E. Zwarico
Correct Compilation of Specifications to Deterministic Asynchronous Circuits. CHARME (1993)
Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico
Testing Preorders for Probabilistic Processes. ICALP (1992)
Scott F. Smith, Amy E. Zwarico
Provably Correct Synthesis of Asynchronous Circuits. Designing Correct Circuits (1992)
Rance Cleaveland, Amy E. Zwarico
A Theory of Testing for Real-Time LICS (1991)
Insup Lee, Amy E. Zwarico
Timed Acceptances: A Model of Time Dependent Processes. FTRTFT (1988)
Amy E. Zwarico, Insup Lee
Proving a Network of Real-Time Processes Correct. RTSS (1985)
Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico
LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. IJCAI (1985)