Paul Callaghan
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 |
|---|---|---|
| Coercive subtyping via mappings of reduction behaviour | 2014-01-10 | Paper |
| Reversible and irreversible dispersion in a porous medium Physics of Fluids | 2010-04-22 | Paper |
| Flow coherence in a bead pack observed using frequency domain modulated gradient nuclear magnetic resonance Physics of Fluids | 2010-04-22 | Paper |
| Nuclear magnetic resonance measurement and lattice-Boltzmann simulation of the nonlocal dispersion tensor Physics of Fluids | 2010-03-18 | Paper |
| Pulsed gradient spin echo nuclear magnetic resonance measurements of hydrodynamic instabilities with coherent structure: Taylor vortices Physics of Fluids | 2008-11-17 | Paper |
| An implementation of LF with coercive subtyping and universes Journal of Automated Reasoning | 2003-11-05 | Paper |
| Implementation techniques for inductive types in Plastic Lecture Notes in Computer Science | 2002-07-08 | Paper |
| Mathematical vernacular and conceptual well-formedness in mathematical language Lecture Notes in Computer Science | 2000-04-25 | Paper |
Research outcomes over time
This page was built for person: Paul Callaghan
