David B. Carrington
From MaRDI portal
Person:1622200
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 |
|---|---|---|
| Modelling fluid flow in domains containing moving interfaces Progress in Computational Fluid Dynamics | 2018-11-12 | Paper |
| An h-adaptive finite element method for turbulent heat transfer | 2012-02-06 | Paper |
| Predicting winds and air quality within the Las Vegas Valley Communications in Numerical Methods in Engineering | 2002-07-01 | Paper |
| Specifying interactive systems in Object-Z and CSP | 2001-03-04 | Paper |
| Application ofh-adaptation for environmental fluid flow and species transport | 2001-02-20 | Paper |
| Extending the test template framework for specification-based testing of interactive systems | 2000-08-10 | Paper |
| Supporting data refinement in a program refinement tool | 1998-05-03 | Paper |
Research outcomes over time
This page was built for person: David B. Carrington
