Zechen Hou

According to our database, Zechen Hou authored at least 2 papers in 2020.

Collaborative distances:

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

2020

SMT-based generation of symbolic automata.

Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang

Acta Informatica, 2020

Symbolic bisimulation for open and parameterized systems.

Zechen Hou, Eric Madelaine

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2020