Anuchit Anuchitanukul

According to our database, Anuchit Anuchitanukul authored at least 3 papers between 1994 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Synthesis of reactive programs.

Anuchit Anuchitanukul

PhD thesis, 1995

Differential BDDs.

Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

Realizability and Synthesis of Reactive Modules.

Anuchit Anuchitanukul, Zohar Manna

Proceedings of the Computer Aided Verification, 6th International Conference, 1994