×
Edit Profile (opens in new tab)

Yang, Shaofa

Co-Author Distance
Author ID: yang.shaofa Recent zbMATH articles by "Yang, Shaofa"
Published as: Yang, Shaofa
Documents Indexed: 16 Publications since 2005
Co-Authors: 10 Co-Authors with 15 Joint Publications
504 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
11 Thiagarajan, Pazhamaneri Subramaniam
6 Genest, Blaise
5 Hélouët, Loïc
3 Gazagnaire, Thomas
2 Agrawal, Manindra
2 Akshay, S.
2 Darondeau, Philippe
2 Stephan, Frank
1 Liu, Xi
1 Madhusudan, Parthasarathy
all top 5

Serials

3 Theoretical Computer Science
1 Information Processing Letters
1 Information and Computation
1 Formal Aspects of Computing
1 Journal of Statistical Computation and Simulation
1 Fundamenta Informaticae

Fields

15 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
2 Probability theory and stochastic processes (60-XX)
2 Systems theory; control (93-XX)
1 Statistics (62-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

12 Publications have been cited 42 times in 37 Documents Cited by ▼ Year ▼
The MSO theory of connectedly communicating processes. Zbl 1172.68556
Madhusudan, P.; Thiagarajan, P. S.; Yang, Shaofa
22
2005
Causal message sequence charts. Zbl 1187.68081
Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa
4
2009
Multivariate extension to the economical design of \(\overline{X}\) control chart under Weibull shock model. Zbl 1144.62367
Yang, S. F.; Rahim, M. A.
4
2006
Causal message sequence charts. Zbl 1151.68528
Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa
3
2007
Rabin’s theorem in the concurrency setting: a conjecture. Zbl 1308.68085
Thiagarajan, P. S.; Yang, Shaofa
3
2014
Quasi-static scheduling of communicating tasks. Zbl 1160.68463
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa
2
2008
Regular set of representatives for time-constrained MSC graphs. Zbl 1243.68218
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa
2
2012
Symbolically bounding the drift in time-constrained MSC graphs. Zbl 1362.68163
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa
2
2012
Succinct discrete time approximations of distributed hybrid automata. Zbl 1361.68125
Thiagarajan, P. S.; Yang, Shaofa
1
2010
Modular discrete time approximations of distributed hybrid automata. Zbl 1242.93061
Thiagarajan, P. S.; Yang, Shaofa
1
2012
Logic-based diagnosis for distributed systems. Zbl 1193.68049
Yang, Shaofa; Hélouët, Loïc; Gazagnaire, Thomas
1
2009
Quasi-static scheduling of communicating tasks. Zbl 1209.68060
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa
1
2010
Rabin’s theorem in the concurrency setting: a conjecture. Zbl 1308.68085
Thiagarajan, P. S.; Yang, Shaofa
3
2014
Regular set of representatives for time-constrained MSC graphs. Zbl 1243.68218
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa
2
2012
Symbolically bounding the drift in time-constrained MSC graphs. Zbl 1362.68163
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa
2
2012
Modular discrete time approximations of distributed hybrid automata. Zbl 1242.93061
Thiagarajan, P. S.; Yang, Shaofa
1
2012
Succinct discrete time approximations of distributed hybrid automata. Zbl 1361.68125
Thiagarajan, P. S.; Yang, Shaofa
1
2010
Quasi-static scheduling of communicating tasks. Zbl 1209.68060
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa
1
2010
Causal message sequence charts. Zbl 1187.68081
Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa
4
2009
Logic-based diagnosis for distributed systems. Zbl 1193.68049
Yang, Shaofa; Hélouët, Loïc; Gazagnaire, Thomas
1
2009
Quasi-static scheduling of communicating tasks. Zbl 1160.68463
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa
2
2008
Causal message sequence charts. Zbl 1151.68528
Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa
3
2007
Multivariate extension to the economical design of \(\overline{X}\) control chart under Weibull shock model. Zbl 1144.62367
Yang, S. F.; Rahim, M. A.
4
2006
The MSO theory of connectedly communicating processes. Zbl 1172.68556
Madhusudan, P.; Thiagarajan, P. S.; Yang, Shaofa
22
2005
all cited Publications top 5 cited Publications
all top 5

Cited by 55 Authors

5 Yang, Shaofa
4 Genest, Blaise
4 Hélouët, Loïc
4 Muscholl, Anca
4 Olderog, Ernst-Rüdiger
4 Sznajder, Nathalie
4 Thiagarajan, Pazhamaneri Subramaniam
3 Bérard, Béatrice
3 Finkbeiner, Bernd
3 Gastin, Paul
3 Gieseking, Manuel
2 Akshay, S.
2 Bollig, Benedikt
2 Bouyer, Patricia
2 Darondeau, Philippe
2 Függer, Matthias
2 Gazagnaire, Thomas
2 Gimbert, Hugo
2 Hecking-Harbusch, Jesko
2 Würdemann, Nick
1 Akroun, Lakhdar
1 Andreĭchenko, Dmitriĭ Konstantinovich
1 Andreĭchenko, Konstantin Petrovich
1 Baier, Christel
1 Batraeva, Inna Aleksandrovna
1 Bauer, Sebastian S.
1 Bénéteau, Laurine
1 Beutner, Raven
1 Chalopin, Jérémie
1 Chatain, Thomas
1 Chepoi, Victor D.
1 Corradini, Andrea
1 Dubslaff, Clemens
1 Foss, Luciana
1 Haar, Stefan
1 Hannibal, Paul
1 Hennicker, Rolf
1 Kleijn, Jetty
1 Koutny, Maciej
1 Kumar, K. Narayan
1 Lodaya, Kamal
1 Marchand, Hervé
1 Metzger, Niklas O.
1 Mukund, Madhavan
1 Phawade, Ramchandra
1 Ribeiro, Leila
1 Ricker, Laurie
1 Salaün, Gwen
1 Santocanale, Luigi
1 Schewe, Sven
1 Stutz, Felix
1 Vaxès, Yann
1 Wirsing, Martin
1 Zeitoun, Marc
1 Zufferey, Damien
all top 5

Cited in 10 Serials

6 Theoretical Computer Science
4 Information and Computation
2 Formal Methods in System Design
1 Acta Informatica
1 Information Processing Letters
1 Journal of Computer and System Sciences
1 Science of Computer Programming
1 Discrete Event Dynamic Systems
1 Logical Methods in Computer Science
1 Izvestiya Saratovskogo Universiteta. Novaya Seriya. Seriya Matematika, Mekhanika, Informatika
all top 5

Cited in 8 Fields

36 Computer science (68-XX)
7 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
5 Systems theory; control (93-XX)
4 Mathematical logic and foundations (03-XX)
1 Combinatorics (05-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Probability theory and stochastic processes (60-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year