Mihaela Gheorghiu

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 2

Top Topics

Cellular Systems

Top Venues

Publications

Mihnea Rosu-Hamzescu, Sergiu Oprea, Cristina Polonschii, Eugen Gheorghiu, Mihaela Gheorghiu
High Performance Low Cost Impedance Spectrometer for Biosensing. CSCS (2017)
Luciana Stanica, Mihnea Rosu-Hamzescu, Mihaela Gheorghiu, Miruna Stan, Loredana Antonescu, Cristina Polonschii, Eugen Gheorghiu
Electric Cell-Substrate Impedance Sensing of Cellular Effects under Hypoxic Conditions and Carbonic Anhydrase Inhibition. J. Sensors 2017 (2017)
Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
Finding Environment Guarantees. FASE (2007)
Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
Finding State Solutions to Temporal Logic Queries. IFM (2007)
Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu
Refining Interface Alphabets for Compositional Verification. TACAS (2007)
Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik
Thorough Checking Revisited. FMCAD (2006)
Janusz A. Brzozowski, Mihaela Gheorghiu
Gate circuits in the algebra of transients. RAIRO Theor. Informatics Appl. 39 (1) (2005)
Mihaela Gheorghiu, Janusz A. Brzozowski
Simulation Of Feedback-Free Circuits In The Algebra Of Transients. Int. J. Found. Comput. Sci. 14 (6) (2003)
Mihaela Gheorghiu, Janusz A. Brzozowski
Feedback-Free Circuits in the Algebra of Transients. CIAA (2002)
Janusz A. Brzozowski, Mihaela Gheorghiu
Simulation of Gate Circuits in the Algebra of Transients. CIAA (2002)