The MSO Theory of Connectedly Communicating Processes. - P. Madhusudan; P. S. Thiagarajan; Shaofa Yang (FSTTCS, 2005)

Improved Algorithms for Low Power Multiplexor Decomposition. - Shaofa Yang; Hon Wai Leong (J. Circuits Syst. Comput., 2005)

Behavioural Approximations for Restricted Linear Differential Hybrid Automata. - Manindra Agrawal; Frank Stephan 001; P. S. Thiagarajan; Shaofa Yang (HSCC, 2006)

Anchored Concatenation of MSCs. - Madhavan Mukund; K. Narayan Kumar; P. S. Thiagarajan; Shaofa Yang (Formal Models, Languages and Applications, 2007)

Causal Message Sequence Charts. - Thomas Gazagnaire; Blaise Genest; Loïc Hélouët; P. S. Thiagarajan; Shaofa Yang (Theor. Comput. Sci., 2009)

Succinct discrete time approximations of distributed hybrid automata. - P. S. Thiagarajan; Shaofa Yang (HSCC, 2010)

Quasi-static scheduling of communicating tasks. - Philippe Darondeau; Blaise Genest; P. S. Thiagarajan; Shaofa Yang (Inf. Comput., 2010)

The Discrete Time Behaviour of Restricted Linear Hybrid Automata. - Manindra Agrawal; Frank Stephan 001; P. S. Thiagarajan; Shaofa Yang (Modern Applications of Automata Theory, 2012)

Symbolically Bounding the Drift in Time-Constrained MSC Graphs. - S. Akshay 001; Blaise Genest; Loïc Hélouët; Shaofa Yang (ICTAC, 2012)

Regular set of representatives for time-constrained MSC graphs. - S. Akshay 001; Blaise Genest; Loïc Hélouët; Shaofa Yang (Inf. Process. Lett., 2012)

Modular discrete time approximations of distributed hybrid automata. - P. S. Thiagarajan; Shaofa Yang (Theor. Comput. Sci., 2012)

Compensation by design. - Xi Liu; Shaofa Yang; Jeff W. Sanders (Formal Aspects Comput., 2014)

Rabin's theorem in the concurrency setting: A conjecture. - P. S. Thiagarajan; Shaofa Yang (Theor. Comput. Sci., 2014)

A Theory of Distributed Markov Chains. - P. S. Thiagarajan; Shaofa Yang (Fundam. Informaticae, 2020)

Climate change may improve the habitat suitability and connectivity of sika deer (Cervus nippon) in the Shennongjia area of China. - Zhenhua Luo; Huiliang Yu; Shaofa Yang; Yanlan Long; Panpan Liu; Tao Wang; Chongnan Zhao; Qiang Liu; Aichun Xu (Ecol. Informatics, 2024)