Christophe Brun

Available identifiers

Publication	Date of Publication	Type
Mean flow structure of katabatic winds and turbulent mixing properties	2022-04-27	Paper
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls	2013-09-20	Paper
Designing and proving correct a convex hull algorithm with hypermaps in Coq	2012-09-11	Paper
Modeling the test SGS tensor Tij: An issue in the dynamic approach	2010-04-22	Paper
Effects of molecular diffusion on the subgrid-scale modeling of passive scalars	2010-03-18	Paper
Large eddy simulation of compressible channel flow. Arguments in favour of universality of compressible turbulent wall-bounded flows	2009-05-29	Paper
Near-wall scaling for turbulent boundary layers with adverse pressure gradient. A priori tests on DNS of channel flow with periodic hill constrictions and DNS of separating boundary layer	2009-05-29	Paper
Near-wall scaling for incompressible and compressible flows	2007-11-20	Paper
A nonlinear SGS model based on the spatial velocity increment. Apllication to LES of fully developed pipe flow and round turbulent jet	2006-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5702397	2005-11-01	Paper

This page was built for person: Christophe Brun