Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Amine Abdaoui
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Kelly Payette
Luan Teylo
Chen Ma
Home
/
Author
/
JIAN GUO
Author Info
Open Visualization
Name
Affiliation
Papers
JIAN GUO
Shanghai Key Laboratory of Trustworthy Computing, School of Computer Science and Software Engineering, East China Normal University, Shanghai, China
6
Collaborators
Citations
PageRank
19
2
2.06
Referers
Referees
References
2
124
42
Search Limit
100
124
Publications (6 rows)
Collaborators (19 rows)
Referers (2 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
SAT-Based Automata Construction for LTL over Finite Traces
0
0.34
2020
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications
0
0.34
2019
End-to-End Automated Verification for OS Kernels
0
0.34
2018
Formal Analysis of the PKMv3 Protocol.
1
0.35
2018
Formalization and Verification of the PKMv3 Protocol Using CSP
1
0.35
2017
Modeling and Verifying HDFS Using Process Algebra.
0
0.34
2017
1