Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
Cruz-Roldan, F.
María Elena Domínguez Jiménez
Simon Jonas Alfano
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
XINGANG SHI
Author Info
Open Visualization
Name
Affiliation
Papers
XINGANG SHI
Network Research Center, Tsinghua University, China
10
Collaborators
Citations
PageRank
15
11
3.82
Referers
Referees
References
37
141
43
Search Limit
100
141
Publications (10 rows)
Collaborators (15 rows)
Referers (37 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Efficient Network Configuration Verification Using Optimized Datalog
0
0.34
2018
Testing Black-Box SDN Applications with Formal Behavior Models
0
0.34
2017
Test oriented formal model of SDN applications
0
0.34
2014
Let more nodes have a second choice
0
0.34
2014
Model Based Black-Box Testing of SDN Applications.
0
0.34
2014
A hybrid link protection scheme for link-state routing networks
1
0.35
2014
From ISP address announcement patterns to routing scalability
0
0.34
2012
The technology realizes the way in the construction energy conservation supervision system's function research
0
0.34
2011
Residential building in hot summer and cold winter zone energy conservation transformation engineering research.
0
0.34
2011
PBS: Periodic Behavioral Spectrum of P2P Applications
10
0.77
2009
1