# Shaofa Yang

According to our database

Collaborative distances:

^{1}, Shaofa Yang authored at least 13 papers between 2005 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

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

Theor. Comput. Sci., 2014

Compensation by design.

Formal Asp. Comput., 2014

2012

Modular discrete time approximations of distributed hybrid automata.

Theor. Comput. Sci., 2012

Regular set of representatives for time-constrained MSC graphs.

Inf. Process. Lett., 2012

Symbolically Bounding the Drift in Time-Constrained MSC Graphs.

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

The Discrete Time Behaviour of Restricted Linear Hybrid Automata.

Modern Applications of Automata Theory, 2012

2010

Succinct discrete time approximations of distributed hybrid automata.

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

2008

Quasi-Static Scheduling of Communicating Tasks.

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Causal Message Sequence Charts.

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Anchored Concatenation of MSCs.

Proceedings of the Formal Models, 2007

2006

Behavioural Approximations for Restricted Linear Differential Hybrid Automata.

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

2005

Improved Algorithms for Low Power Multiplexor Decomposition.

Journal of Circuits, Systems, and Computers, 2005

The MSO Theory of Connectedly Communicating Processes.

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