Authors: Hsieh, H Balarin, F Lavagno, L Sangiovanni-Vincentelli, A

Citation: H. Hsieh et al., Synchronous approach to the functional equivalence of embedded system implementations, IEEE COMP A, 20(8), 2001, pp. 1016-1033

Authors: Samuel, D Kumar, TKS Srimathi, T Hsieh, H Yu, C

Citation: D. Samuel et al., Identification and characterization of an equilibrium intermediate in the unfolding pathway of an all beta-barrel protein, J BIOL CHEM, 275(45), 2000, pp. 34968-34975

Authors: Balarin, F Chiodo, M Giusto, P Hsieh, H Jurecska, A Lavagno, L Sangiovanni-Vincentelli, A Sentovich, EM Suzuki, K

Citation: F. Balarin et al., Synthesis of software programs for embedded control applications, IEEE COMP A, 18(6), 1999, pp. 834-849