Amy E. Zwarico Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1995
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElizabeth I. Leonard, Amy E. Zwarico: An Algebraic Framework for Developing and Maintaining Real-Time Systems. AMAST 1995: 338-352
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott F. Smith, Amy E. Zwarico: Correct Compilation of Specifications to Deterministic Asynchronous Circuits. Formal Methods in System Design 7(3): 155-226 (1995)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: An Interpretation of Typed OOP in a Language with State. Lisp and Symbolic Computation 8(4): 357-397 (1995)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam H. Hsu, Amy E. Zwarico: Automatic Synthesis of Compression Techniques for Heterogeneous Softw., Pract. Exper. 25(10): 1097-1116 (1995)
1994
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: Application of OOP Type Theory: State, Decidability, Integragtion. OOPSLA 1994: 16-30
1993
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Purushothaman, Amy E. Zwarico: NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 Springer 1993
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott F. Smith, Amy E. Zwarico: Correct Compilation of Specifications to Deterministic Asynchronous Circuits. CHARME 1993: 179-190
1992
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott F. Smith, Amy E. Zwarico: Provably Correct Synthesis of Asynchronous Circuits. Designing Correct Circuits 1992: 237-260
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Scott A. Smolka, Amy E. Zwarico: Testing Preorders for Probabilistic Processes. ICALP 1992: 708-719
1991
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Amy E. Zwarico: A Theory of Testing for Real-Time LICS 1991: 110-119
1988
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInsup Lee, Amy E. Zwarico: Timed Acceptances: A Model of Time Dependent Processes. FTRTFT 1988: 128-130
1985
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmy E. Zwarico, Insup Lee: Proving a Network of Real-Time Processes Correct. IEEE Real-Time Systems Symposium 1985: 169-177
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico: LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. IJCAI 1985: 919-921

Coauthor Index

1Ruzena Bajcsy [1]
2Rance Cleaveland [4] [5]
3Jonathan Eifrig [9] [11]
4William H. Hsu [10]
5S. Purushothaman Iyer (S. Purushothaman) [8]
6Aravind K. Joshi [1]
7Eric Krotkov [1]
8Insup Lee [2] [3]
9Elizabeth I. Leonard [13]
10Scott F. Smith [6] [7] [9] [11] [12]
11Scott A. Smolka [5]
12Valery Trifonov [9] [11]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)