 | 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 |
| 5 |  | Rance 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 |
