Xiuting Tao

According to our database, Xiuting Tao authored at least 6 papers between 2011 and 2023.

Collaborative distances:

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

2023

How to use extra training data for better edge detection?

Wenya Yang, Wen Wu, Xiao-Diao Chen, Xiuting Tao, Xiaoyang Mao

Appl. Intell., September, 2023

2017

A game-theoretic model and analysis of data exchange protocols for Internet of Things in clouds.

Xiuting Tao, Guoqiang Li, Daniel Sun, Hongming Cai

Future Gener. Comput. Syst., 2017

The Complexity of Linear-Time Temporal Logic Model Repair.

Xiuting Tao, Guoqiang Li

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

2016

On Termination and Boundedness of Nested Updatable Timed Automata.

Yuwei Wang, Xiuting Tao, Guoqiang Li

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

2014

Branching Bisimilarity Checking for PRS.

Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2011

A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols.

Guoqiang Li, Yonggen Gu, Xiuting Tao, Jie Tao

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011