dblp.uni-trier.dewww.uni-trier.de

Amy E. Zwarico Vis

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

*1995
13 Elizabeth I. Leonard, Amy E. Zwarico: An Algebraic Framework for Developing and Maintaining Real-Time Systems. AMAST 1995: 338-352
12 Scott F. Smith, Amy E. Zwarico: Correct Compilation of Specifications to Deterministic Asynchronous Circuits. Formal Methods in System Design 7(3): 155-226 (1995)
11 Jonathan 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)
10 William H. Hsu, Amy E. Zwarico: Automatic Synthesis of Compression Techniques for Heterogeneous Softw., Pract. Exper. 25(10): 1097-1116 (1995)
1994
9 Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: Application of OOP Type Theory: State, Decidability, Integragtion. OOPSLA 1994: 16-30
1993
8 S. 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
7 Scott F. Smith, Amy E. Zwarico: Correct Compilation of Specifications to Deterministic Asynchronous Circuits. CHARME 1993: 179-190
1992
6 Scott F. Smith, Amy E. Zwarico: Provably Correct Synthesis of Asynchronous Circuits. Designing Correct Circuits 1992: 237-260
5EERance Cleaveland, Scott A. Smolka, Amy E. Zwarico: Testing Preorders for Probabilistic Processes. ICALP 1992: 708-719
1991
4 Rance Cleaveland, Amy E. Zwarico: A Theory of Testing for Real-Time LICS 1991: 110-119
1988
3 Insup Lee, Amy E. Zwarico: Timed Acceptances: A Model of Time Dependent Processes. FTRTFT 1988: 128-130
1985
2 Amy E. Zwarico, Insup Lee: Proving a Network of Real-Time Processes Correct. IEEE Real-Time Systems Symposium 1985: 169-177
1 Ruzena 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)