Shaofa Yang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A theory of distributed Markov chains Fundamenta Informaticae	2021-05-20	Paper
Succinct discrete time approximations of distributed hybrid automata Proceedings of the 13th ACM international conference on Hybrid systems: computation and control	2017-05-10	Paper
Rabin's theorem in the concurrency setting: a conjecture Theoretical Computer Science	2014-07-25	Paper
The Discrete Time Behaviour of Restricted Linear Hybrid Automata Modern Applications of Automata Theory	2013-02-26	Paper
Symbolically Bounding the Drift in Time-Constrained MSC Graphs Theoretical Aspects of Computing – ICTAC 2012	2012-09-21	Paper
Regular set of representatives for time-constrained MSC graphs Information Processing Letters	2012-07-25	Paper
Modular discrete time approximations of distributed hybrid automata Theoretical Computer Science	2012-05-30	Paper
Quasi-static scheduling of communicating tasks Information and Computation	2010-10-07	Paper
Causal message sequence charts Theoretical Computer Science	2009-09-29	Paper
Logic-based diagnosis for distributed systems	2009-07-27	Paper
Quasi-Static Scheduling of Communicating Tasks CONCUR 2008 - Concurrency Theory	2008-11-25	Paper
Causal Message Sequence Charts CONCUR 2007 – Concurrency Theory	2008-09-18	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-05-02	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2006-11-14	Paper

Research outcomes over time

This page was built for person: Shaofa Yang