Search the dblp DataBase
Mihaela Gheorghiu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik
Thorough Checking Revisited. [Citation Graph (0, 0)][DBLP]
FMCAD, 2006, pp:106-116 [Conf] - 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] - Mihaela Gheorghiu, Janusz A. Brzozowski
Feedback-Free Circuits in the Algebra of Transients. [Citation Graph (0, 0)][DBLP]
CIAA, 2002, pp:106-116 [Conf] - 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] - Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
Finding Environment Guarantees. [Citation Graph (0, 0)][DBLP]
FASE, 2007, pp:352-367 [Conf] - Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
Finding State Solutions to Temporal Logic Queries. [Citation Graph (0, 0)][DBLP]
IFM, 2007, pp:273-292 [Conf] - 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.001secs, Finished in 0.001secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002