Shaofa Yang

Available identifiers

zbMath Open yang.shaofaMaRDI QIDQ418806

List of research outcomes

Publication	Date of Publication	Type
A Theory of Distributed Markov Chains	2021-05-20	Paper
Succinct discrete time approximations of distributed hybrid automata	2017-05-10	Paper
Rabin's theorem in the concurrency setting: a conjecture	2014-07-25	Paper
The Discrete Time Behaviour of Restricted Linear Hybrid Automata	2013-02-26	Paper
Symbolically Bounding the Drift in Time-Constrained MSC Graphs	2012-09-21	Paper
Regular set of representatives for time-constrained MSC graphs	2012-07-25	Paper
Modular discrete time approximations of distributed hybrid automata	2012-05-30	Paper
Quasi-static scheduling of communicating tasks	2010-10-07	Paper
Causal message sequence charts	2009-09-29	Paper
Logic-based diagnosis for distributed systems	2009-07-27	Paper
Quasi-Static Scheduling of Communicating Tasks	2008-11-25	Paper
Causal Message Sequence Charts	2008-09-18	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper

Research outcomes over time

This page was built for person: Shaofa Yang