According to our database1, Shaofa Yang authored at least 13 papers between 2005 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Rabin's theorem in the concurrency setting: A conjecture.
Theor. Comput. Sci., 2014
Compensation by design.
Formal Asp. Comput., 2014
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
Succinct discrete time approximations of distributed hybrid automata.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010
Quasi-Static Scheduling of Communicating Tasks.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
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
Behavioural Approximations for Restricted Linear Differential Hybrid Automata.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
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