Zhisong Tang

According to our database, Zhisong Tang authored at least 4 papers between 2002 and 2026.

Collaborative distances:

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

2026

On-device large language model-powered intelligent copilot for on-site construction tutorials.

Xiangjun Yan, Xincong Yang, Zhisong Tang, Hongxu Pu, Sumei Zhang

Adv. Eng. Informatics, 2026

2005

Symbolic Model Checking of Finite Precision Timed Automata.

Rongjie Yan, Guangyuan Li, Zhisong Tang

Proceedings of the Theoretical Aspects of Computing, 2005

2003

Translating a Continuous-Time Temporal Logic into Timed Automata.

Guangyuan Li, Zhisong Tang

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Modelling Real-Time Systems with Continuous-Time Temporal Logic.

Guangyuan Li, Zhisong Tang

Proceedings of the Formal Methods and Software Engineering, 2002