The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mihaela Gheorghiu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik
    Thorough Checking Revisited. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:106-116 [Conf]
  2. Janusz A. Brzozowski, Mihaela Gheorghiu
    Simulation of Gate Circuits in the Algebra of Transients. [Citation Graph (0, 0)][DBLP]
    CIAA, 2002, pp:57-66 [Conf]
  3. Mihaela Gheorghiu, Janusz A. Brzozowski
    Feedback-Free Circuits in the Algebra of Transients. [Citation Graph (0, 0)][DBLP]
    CIAA, 2002, pp:106-116 [Conf]
  4. Mihaela Gheorghiu, Janusz A. Brzozowski
    Simulation Of Feedback-Free Circuits In The Algebra Of Transients. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:6, pp:1033-1054 [Journal]
  5. Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
    Finding Environment Guarantees. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:352-367 [Conf]
  6. Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
    Finding State Solutions to Temporal Logic Queries. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:273-292 [Conf]
  7. Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu
    Refining Interface Alphabets for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:292-307 [Conf]

Search in 0.002secs, Finished in 0.003secs
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