output
20022026
most citedTheory of Core-Collapse Supernovae

900 citations

Showing 2022Show all

73 papers · 1 filter

physics.flu-dyn20229 cited

Turbulent flame-wall interaction of premixed flames using Quadrature-based Moment Methods (QbMM) and tabulated chemistry: An a priori analysis

M. Steinhausen, T. Zirwes, F. Ferraro +4

Presumed probability density function (PDF) and transported PDF methods are commonly applied to model the turbulence chemistry interaction in turbulent reacting flows. However, lit…

physics.flu-dyn202216 cited

Effect of flame retardants on side-wall quenching of partially premixed laminar flames

Matthias Steinhausen, Federica Ferraro, Max Schneider +5

A combined experimental and numerical investigation of partially premixed laminar methane-air flames undergoing side-wall quenching (SWQ) is performed. A well-established SWQ burne…

physics.flu-dyn202232 cited

Flame-vortex interaction during turbulent side-wall quenching and its implications for flamelet manifolds

Matthias Steinhausen, Thorsten Zirwes, Federica Ferraro +3

In this study, the thermochemical state during turbulent flame-wall interaction of a stoichiometric methane-air flame is investigated using a fully resolved simulation with detaile…

physics.acc-ph2022

Influence of mechanical deformations on the performance of a coaxial shield for a cryogenic current comparator

Nicolas Marsic, Wolfgang F. O. Müller, Volker Tympel +10

This paper studies the impact of mechanical deformations on the performance of a coaxial-type cryogenic current comparator (CCC). Such deformations may become a concern as the size…

physics.acc-ph20223 cited

Numerical analysis of a folded superconducting coaxial shield for cryogenic current comparators

Nicolas Marsic, Wolfgang F. O. Müller, Herbert De Gersem +6

This paper presents a new shield configuration for cryogenic current comparators (CCCs), namely the folded coaxial geometry. An analytical model describing its shielding performanc…

cs.SE2022

Towards Trace-based Deductive Verification (Tech Report)

Richard Bubel, Dilian Gurov, Reiner Hähnle +1

Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events o…