Shaofa Yang

According to our database, Shaofa Yang authored at least 14 papers between 2005 and 2020.

Collaborative distances:

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

2020

A Theory of Distributed Markov Chains.

P. S. Thiagarajan, Shaofa Yang

Fundam. Informaticae, 2020

2014

Rabin's theorem in the concurrency setting: A conjecture.

P. S. Thiagarajan, Shaofa Yang

Theor. Comput. Sci., 2014

Compensation by design.

Xi Liu, Shaofa Yang, Jeff W. Sanders

Formal Aspects Comput., 2014

2012

Modular discrete time approximations of distributed hybrid automata.

P. S. Thiagarajan, Shaofa Yang

Theor. Comput. Sci., 2012

Regular set of representatives for time-constrained MSC graphs.

S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang

Inf. Process. Lett., 2012

Symbolically Bounding the Drift in Time-Constrained MSC Graphs.

S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

The Discrete Time Behaviour of Restricted Linear Hybrid Automata.

Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang

Proceedings of the Modern Applications of Automata Theory., 2012

2010

Quasi-static scheduling of communicating tasks.

Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang

Inf. Comput., 2010

Succinct discrete time approximations of distributed hybrid automata.

P. S. Thiagarajan, Shaofa Yang

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

2009

Causal Message Sequence Charts.

Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang

Theor. Comput. Sci., 2009

2007

Anchored Concatenation of MSCs.

Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang

Proceedings of the Formal Models, 2007

2006

Behavioural Approximations for Restricted Linear Differential Hybrid Automata.

Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2005

Improved Algorithms for Low Power Multiplexor Decomposition.

Shaofa Yang, Hon Wai Leong

J. Circuits Syst. Comput., 2005

The MSO Theory of Connectedly Communicating Processes.

P. Madhusudan, P. S. Thiagarajan, Shaofa Yang

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005