1. Modeling Regular and Safe Concurrent Processes (Technical Summary) Hseush, Wenwey; Balraj, Timothy S.; Kaiser, Gail E. 1990 Reports Computer science
2. Psi: A Silicon Compiler for Very Fast Protocol Processing Abu-Amara, H.; Balraj, Timothy S.; Barzilai, T.; Yemini, Yechiam 1989 Reports Computer science
4. Miss Manners: A Specialized Silicon Compiler for Synchronizers Balraj, Timothy S.; Foster, Michael J. 1985 Reports Computer science