Rowan Davies
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A temporal logic approach to binding-time analysis Journal of the ACM | 2018-08-02 | Paper |
| Refinement quantified logics of knowledge Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
| Practical Optional Types for Clojure Programming Languages and Systems | 2016-04-26 | Paper |
| A modal analysis of staged computation Journal of the ACM | 2015-10-30 | Paper |
| Intersection types and computational effects Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | 2015-09-11 | Paper |
| Refinement quantified logics of knowledge and belief for multiple agents | 2014-06-11 | Paper |
| A judgmental reconstruction of modal logic MSCS. Mathematical Structures in Computer Science | 2002-11-11 | Paper |
| Graph domination, tabu search and the football pool problem Discrete Applied Mathematics | 1998-04-05 | Paper |
Research outcomes over time
This page was built for person: Rowan Davies
