Amy E. Zwarico
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1985–1996
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | HiPC | Compiling object-oriented programs for distributed execution. | Prakash K. Muthukrishnan, Barrett R. Bryant, Amy E. Zwarico |
| 1994 | OOPSLA | Application of OOP Type Theory: State, Decidability, Integragtion. | Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico |
| 1992 | ICALP | Testing Preorders for Probabilistic Processes. | Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico |
| 1991 | LICS | A Theory of Testing for Real-Time | Rance Cleaveland, Amy E. Zwarico |
| 1985 | IJCAI | LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. | Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico |
| 1985 | RTSS | Proving a Network of Real-Time Processes Correct. | Amy E. Zwarico, Insup Lee |