Dennis Griffith
According to our database1,
Dennis Griffith
authored at least 7 papers
between 2011 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
0
1
2
3
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Sci. Comput. Program., 2016
2015
Proceedings of the Foundations of Software Science and Computation Structures, 2015
2014
Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014
2013
Proceedings of the NASA Formal Methods, 2013
2012
Int. J. Softw. Tools Technol. Transf., 2012
2011
Toward a multi-method approach to formalizing human-automation interaction and human-human communications.
Proceedings of the IEEE International Conference on Systems, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011