E-LIB Suche - Ergebnisse für: Yang, Shaofa

1

Climate change may improve the habitat suitability and conn..:

Luo, Zhenhua ; Yu, Huiliang ; Yang, Shaofa...
Ecological Informatics. 81 (2024) - p. 102558 , 2024

Link: https://doi.org/10.1016/..

2

Combining the responses of habitat suitability and connecti..:

Luo, Zhenhua ; Wang, Xiaoyi ; Yang, Shaofa...
Frontiers in Zoology. 18 (2021) 1 - p. , 2021

Link: https://doi.org/10.1186/..

3

Rabin's theorem in the concurrency setting: A conjecture:

Thiagarajan, P.S. ; Yang, Shaofa
Theoretical Computer Science. 546 (2014) - p. 225-236 , 2014

Link: https://doi.org/10.1016/..

4

Compensation by design:

Liu, Xi ; Yang, Shaofa ; Sanders, J. W.
Formal Aspects of Computing. 26 (2014) 4 - p. 623-676 , 2014

Link: https://doi.org/10.1007/..

5

Modular discrete time approximations of distributed hybrid ..:

Thiagarajan, P.S. ; Yang, Shaofa
Theoretical Computer Science. 429 (2012) - p. 292-304 , 2012

Link: https://doi.org/10.1016/..

6

Regular set of representatives for time-constrained MSC gra..:

Akshay, S. ; Genest, Blaise ; Hélouët, Loïc.
Information Processing Letters. 112 (2012) 14-15 - p. 592-598 , 2012

Link: https://doi.org/10.1016/..

7

Succinct discrete time approximations of distributed hybrid..:

, In: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control,

Thiagarajan, P. S. ; Yang, Shaofa - p. 1-10 , 2010

Link: https://dl.acm.org/doi/1..

8

Quasi-static scheduling of communicating tasks:

Darondeau, Philippe ; Genest, Blaise ; Thiagarajan, P.S..
Information and Computation. 208 (2010) 10 - p. 1154-1168 , 2010

Link: https://doi.org/10.1016/..

9

Causal Message Sequence Charts:

Gazagnaire, Thomas ; Genest, Blaise ; Hélouët, Loïc..
Theoretical Computer Science. 410 (2009) 41 - p. 4094-4110 , 2009

Link: https://doi.org/10.1016/..

10

Combining the responses of habitat suitability and connecti..:

Luo, Zhenhua ; Wang, Xiaoyi ; Yang, Shaofa...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7995727/. , 2021

Link: http://www.ncbi.nlm.nih...

11

Symbolically Bounding the Drift in Time-Constrained MSC-Gra..:

Akshay, Sundararaman ; Genest, Blaise ; Helouet, Loic.
hal-00879831. , 2012

Link: https://inria.hal.scienc..

12

Symbolically Bounding the Drift in Time-Constrained MSC-Gra..:

Akshay, Sundararaman ; Genest, Blaise ; Helouet, Loic.
hal-00879831. , 2012

Link: https://inria.hal.scienc..

13

Regular Set of Representatives for Time-Constrained MSC Gra..:

Akshay, Sundararaman ; Genest, Blaise ; Hélouët, Loïc.
hal-00879825. , 2012

Link: https://hal.inria.fr/hal..

14

Symbolically Bounding the Drift in Time-Constrained MSC-Gra..:

Akshay, Sundararaman ; Genest, Blaise ; Helouet, Loic.
hal-00879831. , 2012

Link: https://inria.hal.scienc..

15

Symbolically Bounding the Drift in Time-Constrained MSC-Gra..:

Akshay, Sundararaman ; Genest, Blaise ; Helouet, Loic.
hal-00879831. , 2012

Link: https://hal.inria.fr/hal..