Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Stephen R. Arnold
Claudia Calabrese
David Blondeau-Patissier
Hao Mao
Peter Malec
Quan Le Trung
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
WENJING XU
Author Info
Open Visualization
Name
Affiliation
Papers
WENJING XU
Beihang Univ, Sch Comp Sci & Engn, Beijing, Peoples R China
1
Collaborators
Citations
PageRank
6
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (6 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Apply Formal Methods in Certifying the SyberX High-Assurance Kernel
0
0.34
2021
1