Simulation of Gate Circuits in the Algebra of Transients. - Janusz A. Brzozowski; Mihaela Gheorghiu (CIAA, 2002)

Feedback-Free Circuits in the Algebra of Transients. - Mihaela Gheorghiu; Janusz A. Brzozowski (CIAA, 2002)

Simulation Of Feedback-Free Circuits In The Algebra Of Transients. - Mihaela Gheorghiu; Janusz A. Brzozowski (Int. J. Found. Comput. Sci., 2003)

Gate circuits in the algebra of transients. - Janusz A. Brzozowski; Mihaela Gheorghiu (RAIRO Theor. Informatics Appl., 2005)

Thorough Checking Revisited. - Shiva Nejati 001; Mihaela Gheorghiu; Marsha Chechik (FMCAD, 2006)

Finding Environment Guarantees. - Marsha Chechik; Mihaela Gheorghiu; Arie Gurfinkel (FASE, 2007)

Finding State Solutions to Temporal Logic Queries. - Mihaela Gheorghiu; Arie Gurfinkel; Marsha Chechik (IFM, 2007)

Refining Interface Alphabets for Compositional Verification. - Mihaela Gheorghiu; Dimitra Giannakopoulou; Corina S. Pasareanu (TACAS, 2007)

Automated Assume-Guarantee Reasoning by Abstraction Refinement. - Mihaela Gheorghiu Bobaru; Corina S. Pasareanu; Dimitra Giannakopoulou (CAV, 2008)

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. - Corina S. Pasareanu; Dimitra Giannakopoulou; Mihaela Gheorghiu Bobaru; Jamieson M. Cobleigh; Howard Barringer (Formal Methods Syst. Des., 2008)

Learning Techniques for Software Verification and Validation. - Corina S. Pasareanu; Mihaela Gheorghiu Bobaru (ISoLA (1), 2012)

High Performance Low Cost Impedance Spectrometer for Biosensing. - Mihnea Rosu-Hamzescu; Sergiu Oprea; Cristina Polonschii; Eugen Gheorghiu; Mihaela Gheorghiu (CSCS, 2017)

Electric Cell-Substrate Impedance Sensing of Cellular Effects under Hypoxic Conditions and Carbonic Anhydrase Inhibition. - Luciana Stanica; Mihnea Rosu-Hamzescu; Mihaela Gheorghiu; Miruna Stan; Loredana Antonescu; Cristina Polonschii; Eugen Gheorghiu (J. Sensors, 2017)