Wei Wang

Affiliations:
  • New York University, Courant Institute of Mathematical Sciences, New York, NY, USA


According to our database1, Wei Wang authored at least 5 papers between 2008 and 2017.

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

Timeline

2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
0
1
2
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Partitioned Memory Models for Program Analysis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016
Partition Memory Models for Program Analysis.
PhD thesis, 2016

2015
Cascade - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014
Cascade 2.0.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2008
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008


  Loading...