Amy E. Zwarico
发表
Scott F. Smith,
Amy E. Zwarico,
A. Zwarico,
1993,
Formal Methods Syst. Des..
Rance Cleaveland,
Amy E. Zwarico,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Amy E. Zwarico,
1996
.
Scott F. Smith,
Amy E. Zwarico,
Valery Trifonov,
1994,
OOPSLA.
Ruzena Bajcsy,
Eric Krotkov,
Aravind K. Joshi,
1985,
IJCAI.
Insup Lee,
Amy E. Zwarico,
I. Lee,
1985,
RTSS.
Amy E. Zwarico,
Elizabeth I. Leonard,
A. Zwarico,
1995,
AMAST.
Amy E. Zwarico,
1988
.
Insup Lee,
Amy E. Zwarico,
1988,
FTRTFT.
Rance Cleaveland,
Scott A. Smolka,
Amy E. Zwarico,
1992,
ICALP.
Amy E. Zwarico,
S. Purushothaman,
1992
.
Scott F. Smith,
Amy E. Zwarico,
A. Zwarico,
1992,
Designing Correct Circuits.
Scott F. Smith,
Amy E. Zwarico,
Valery Trifonov,
1994,
OOPSLA.
Insup Lee,
Richard Gerber,
Amy E. Zwarico,
1988
.
Scott F. Smith,
Amy E. Zwarico,
Valery Trifonov,
1995,
LISP Symb. Comput..
Amy E. Zwarico,
Barrett R. Bryant,
Prakash K. Muthukrishnan,
1996,
Proceedings of 3rd International Conference on High Performance Computing (HiPC).
Scott F. Smith,
Amy E. Zwarico,
1993,
CHARME.