Shaofa Yang

According to our database1, Shaofa Yang authored at least 13 papers between 2005 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...