Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Amy E.
Last name:	Zwarico
DBLP:	84/4057
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 12  

Select a publication
Show	Title	Venue	Rating	Date
	Elizabeth I. Leonard, Amy E. Zwarico. An Algebraic Framework for Developing and Maintaining Real-Time Systems.	Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings 1995	(0)	1995
	Scott F. Smith, Amy E. Zwarico. Correct Compilation of Specifications to Deterministic Asynchronous Circuits.	Formal Methods in System Design 1995, Volume 7	(0)	1995
	Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico. An Interpretation of Typed OOP in a Language with State.	Lisp and Symbolic Computation 1995, Volume 8	(0)	1995
	William H. Hsu, Amy E. Zwarico. Automatic Synthesis of Compression Techniques for Heterogeneous	Softw., Pract. Exper. 1995, Volume 25	(0)	1995
	Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico. Application of OOP Type Theory: State, Decidability, Integragtion.	OOPSLA 1994	(0)	1994
	Scott F. Smith, Amy E. Zwarico. Correct Compilation of Specifications to Deterministic Asynchronous Circuits.	Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings 1993	(0)	1993
	Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico. Testing Preorders for Probabilistic Processes.	Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings 1992	(0)	1992
	Scott F. Smith, Amy E. Zwarico. Provably Correct Synthesis of Asynchronous Circuits.	Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 1992	(0)	1992
	Rance Cleaveland, Amy E. Zwarico. A Theory of Testing for Real-Time	Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands 1991	(0)	1991
	Insup Lee, Amy E. Zwarico. Timed Acceptances: A Model of Time Dependent Processes.	Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 1988	(0)	1988

Your query returned 12 matches in the database.