The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Amy E. Zwarico: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
    Application of OOP Type Theory: State, Decidability, Integragtion. [Citation Graph (1, 0)][DBLP]
    OOPSLA, 1994, pp:16-30 [Conf]
  2. Elizabeth I. Leonard, Amy E. Zwarico
    An Algebraic Framework for Developing and Maintaining Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:338-352 [Conf]
  3. Scott F. Smith, Amy E. Zwarico
    Correct Compilation of Specifications to Deterministic Asynchronous Circuits. [Citation Graph (0, 0)][DBLP]
    CHARME, 1993, pp:179-190 [Conf]
  4. Insup Lee, Amy E. Zwarico
    Timed Acceptances: A Model of Time Dependent Processes. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:128-130 [Conf]
  5. Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico
    Testing Preorders for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:708-719 [Conf]
  6. Scott F. Smith, Amy E. Zwarico
    Provably Correct Synthesis of Asynchronous Circuits. [Citation Graph (0, 0)][DBLP]
    Designing Correct Circuits, 1992, pp:237-260 [Conf]
  7. Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico
    LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:919-921 [Conf]
  8. Rance Cleaveland, Amy E. Zwarico
    A Theory of Testing for Real-Time [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:110-119 [Conf]
  9. Amy E. Zwarico, Insup Lee
    Proving a Network of Real-Time Processes Correct. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1985, pp:169-177 [Conf]
  10. Scott F. Smith, Amy E. Zwarico
    Correct Compilation of Specifications to Deterministic Asynchronous Circuits. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:7, n:3, pp:155-226 [Journal]
  11. Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
    An Interpretation of Typed OOP in a Language with State. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:4, pp:357-397 [Journal]
  12. William H. Hsu, Amy E. Zwarico
    Automatic Synthesis of Compression Techniques for Heterogeneous [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:10, pp:1097-1116 [Journal]

Search in 0.191secs, Finished in 0.191secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002