Long Zhang

According to our database1, Long Zhang authored at least 4 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks.
Wireless Communications and Mobile Computing, 2018

Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method.
IEEE Access, 2018

2017
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.
Mobile Information Systems, 2017

2012
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.
The Journal of Supercomputing, 2012


  Loading...