Sharon Barner
According to our database1,
Sharon Barner
authored at least 11 papers
between 2000 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2000
2002
2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
1
1
1
1
1
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Int. J. Parallel Program., 2019
2018
Proceedings of the Information and Operational Technology Security Systems, 2018
2014
Proceedings of the IEEE Symposium on Computers and Communications, 2014
2006
Proceedings of the Hardware and Software, 2006
2005
Formal Methods Syst. Des., 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2003
Proceedings of the 6th International Workshop on Formal Methods, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
2002
Proceedings of the FME 2002: Formal Methods, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000