Shaofa Yang

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 2

Top Topics

Transition Matrix

Markov Processes

Top Venues

Fundam. Informaticae

Formal Aspects Comput.

Theor. Comput. Sci.

Ecol. Informatics

Publications

Zhenhua Luo, Huiliang Yu, Shaofa Yang, Yanlan Long, Panpan Liu, Tao Wang, Chongnan Zhao, Qiang Liu, Aichun Xu
Climate change may improve the habitat suitability and connectivity of sika deer (Cervus nippon) in the Shennongjia area of China. Ecol. Informatics 81 (2024)
P. S. Thiagarajan, Shaofa Yang
A Theory of Distributed Markov Chains. Fundam. Informaticae 175 (1-4) (2020)
P. S. Thiagarajan, Shaofa Yang
Rabin's theorem in the concurrency setting: A conjecture. Theor. Comput. Sci. 546 (2014)
Xi Liu, Shaofa Yang, J. W. Sanders
Compensation by design. Formal Aspects Comput. 26 (4) (2014)
S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
Regular set of representatives for time-constrained MSC graphs. Inf. Process. Lett. 112 (14-15) (2012)
S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
Symbolically Bounding the Drift in Time-Constrained MSC Graphs. ICTAC (2012)
P. S. Thiagarajan, Shaofa Yang
Modular discrete time approximations of distributed hybrid automata. Theor. Comput. Sci. 429 (2012)
P. S. Thiagarajan, Shaofa Yang
Succinct discrete time approximations of distributed hybrid automata. HSCC (2010)
Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
Quasi-static scheduling of communicating tasks. Inf. Comput. 208 (10) (2010)
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
Causal Message Sequence Charts. Theor. Comput. Sci. 410 (41) (2009)
Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
Quasi-Static Scheduling of Communicating Tasks. CONCUR (2008)
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang
Anchored Concatenation of MSCs. Formal Models, Languages and Applications (2007)
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
Causal Message Sequence Charts. CONCUR (2007)
Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang
Behavioural Approximations for Restricted Linear Differential Hybrid Automata. HSCC (2006)
Shaofa Yang, Hon Wai Leong
Improved Algorithms for Low Power Multiplexor Decomposition. J. Circuits Syst. Comput. 14 (6) (2005)
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
The MSO Theory of Connectedly Communicating Processes. FSTTCS (2005)