State Transition Graphs
A State Transition Graph is a directed graph that represents the dynamical behavior of a Boolean network by encoding each possible network state as a node and each feasible state transition under the network’s update rules as a directed edge.
177
Publications
13.8K
Citations
429
Authors
234
Institutions
Publications per year
2017–2026
47
Variants
State Transition Graph
Parents
177
SIS : A System for Sequential Circuit Synthesis
Ellen Sentovich · 1992 · 1.9K citations
Model-checking for real-time systems
Rajeev Alur, Costas Courcoubetis, David L. Dill · 2002 · 894 citations
Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle
Adrien Fauré, Aurélien Naldi, Claudine Chaouiya et al. · Bioinformatics · 2006 · 663 citations · Full text
Life Sciences, Biology, Cell Biology +16
Rajeev Alur · Computer Aided Verification · 1999 · 454 citations
1–5 of 177
429
5
h-index
5
h-index
4
h-index
3
h-index
3
h-index
1–5 of 429
234

Centre National de la Recherche Scientifique
Paris, France
8 h-index
22 publications
4.4K citations

Zhejiang Normal University
Jinhua, China
8 h-index
12 publications
469 citations

Southeast University
Nanjing, China
8 h-index
16 publications
619 citations
Massachusetts Institute of Technology
Cambridge, United States
5 h-index
6 publications
303 citations

King Abdulaziz University
Jeddah, Saudi Arabia
4 h-index
6 publications
163 citations

University of Waterloo
Waterloo, Canada
4 h-index
6 publications
453 citations
University of Luxembourg
Luxembourg, Luxembourg
4 h-index
8 publications
290 citations
University of California, Berkeley
Berkeley, United States
4 h-index
12 publications
487 citations
1–8 of 234
5 publications · 334 citations
5
h-index
4 publications · 106 citations
4
h-index
4 publications · 140 citations
4
h-index
4 publications · 325 citations
4
h-index
3 publications · 104 citations
3
h-index
1–5