Amy E. Zwarico

15 papers A* 3A 2Misc 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
1996 Misc conf
Compiling object-oriented programs for distributed execution.
HiPC
Prakash K. Muthukrishnan, Barrett R. Bryant, Amy E. Zwarico
1995 — conf
An Algebraic Framework for Developing and Maintaining Real-Time Systems.
AMAST
Elizabeth I. Leonard, Amy E. Zwarico
1995 J jnl
An Interpretation of Typed OOP in a Language with State.
LISP Symb. Comput.
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
1995 J jnl
Automatic Synthesis of Compression Techniques for Heterogeneous
Softw. Pract. Exp.
William H. Hsu, Amy E. Zwarico
1995 J jnl
Correct Compilation of Specifications to Deterministic Asynchronous Circuits.
Formal Methods Syst. Des.
Scott F. Smith, Amy E. Zwarico
1994 A conf
Application of OOP Type Theory: State, Decidability, Integragtion.
OOPSLA
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
1993 J jnl
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
Amy E. Zwarico
1993 — conf
Correct Compilation of Specifications to Deterministic Asynchronous Circuits.
CHARME
Scott F. Smith, Amy E. Zwarico
1993 — ed.
NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992
NAPAW
S. Purushothaman, Amy E. Zwarico
1992 — conf
Provably Correct Synthesis of Asynchronous Circuits.
Designing Correct Circuits
Scott F. Smith, Amy E. Zwarico
1992 A* conf
Testing Preorders for Probabilistic Processes.
ICALP
Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico
1991 A* conf
A Theory of Testing for Real-Time
LICS
Rance Cleaveland, Amy E. Zwarico
1988 — conf
Timed Acceptances: A Model of Time Dependent Processes.
FTRTFT
Insup Lee, Amy E. Zwarico
1985 A* conf
LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images.
IJCAI
Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico
1985 A conf
Proving a Network of Real-Time Processes Correct.
RTSS
Amy E. Zwarico, Insup Lee