Realizability and Synthesis of Reactive Modules. - Anuchit Anuchitanukul; Zohar Manna (CAV, 1994)

Differential BDDs. - Anuchit Anuchitanukul; Zohar Manna; Tomás E. Uribe (Computer Science Today, 1995)

Synthesis of reactive programs. - Anuchit Anuchitanukul (1995)