Shaofa Yang

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