Author Info
Name
Affiliation
Papers
FUYUAN ZHANG
Shanghai Jiao Tong Univ, Sch Software, Shanghai 200030, Peoples R China
5
Collaborators
Citations 
PageRank 
12
8
1.88
Referers 
Referees 
References 
18
79
50
Title
Citations
PageRank
Year
Multi-valued Logic for Static Analysis and Model Checking.00.342018
Model checking as static analysis: revisited10.362012
A Mathematical Model of Magnetic Bearing Control Based on Fuzzy Logic and Single Neuron00.342010
FLTL-MC: Online High Level Program Analysis for Web Services20.382009
FiLM: A Runtime Monitoring Tool for Distributed Systems50.462009