We stand with Ukraine  

David Hopkins

Affiliations:
  • University of Oxford, Department of Computer Science, UK


According to our database1, David Hopkins authored at least 4 papers between 2009 and 2015.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Fragments of ML Decidable by Nested Data Class Memory Automata.
[BibTeX]
[DOI]
Conrad Cotton-Barratt
,
David Hopkins
,
Andrzej S. Murawski
,
C.-H. Luke Ong
Proceedings of the Foundations of Software Science and Computation Structures, 2015

2012
Hector: An Equivalence Checker for a Higher-Order Fragment of ML.
[BibTeX]
[DOI]
David Hopkins
,
Andrzej S. Murawski
,
C.-H. Luke Ong
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
A Fragment of ML Decidable by Visibly Pushdown Automata.
[BibTeX]
[DOI]
David Hopkins
,
Andrzej S. Murawski
,
C.-H. Luke Ong
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2009
Homer: A Higher-Order Observational Equivalence Model checkER.
[BibTeX]
[DOI]
David Hopkins
,
C.-H. Luke Ong
Proceedings of the Computer Aided Verification, 21st International Conference, 2009


  Loading...