David Kitchin
According to our database1,
David Kitchin
authored at least 9 papers
between 2006 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
Proceedings of the FM 2008: Formal Methods, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007
Proceedings of the Generative Programming and Component Engineering, 2007
2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006