Authors: Bultan, T Gerber, R League, C

Citation: T. Bultan et al., Composite model-checking: Verification with type-specific symbolic representations, ACM T SOFTW, 9(1), 2000, pp. 3-50

Authors: Bultan, T Gerber, R Pugh, W

Citation: T. Bultan et al., Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results, ACM T PROGR, 21(4), 1999, pp. 747-789

Authors: Aykanat, C Bultan, T Haritaoglu, I

Citation: C. Aykanat et al., A fast neural-network algorithm for VLSI cell placement, NEURAL NETW, 11(9), 1998, pp. 1671-1684