| Publication | Date of Publication | Type |
|---|
| A Decision Theoretic Foundation for Noise Traders and Correlated Speculation | 2024-03-26 | Paper |
| An Implementation Relation for Cyclic Systems with Refusals and Discrete Time | 2024-03-14 | Paper |
| Lift on a magnetized airfoil in a weakly resistive inviscid plasma | 2024-03-11 | Paper |
| Wavefronts and shocks in the vicinity of sonic lines | 2023-12-12 | Paper |
| Generation of shocks by the Biermann battery | 2023-12-11 | Paper |
| Axisymmetric slender magnetic cavities | 2023-08-31 | Paper |
| Stability of an hypersonic magnetohydrodynamic shock wave | 2023-07-03 | Paper |
| Mechanisms of conversion of kinetic into magnetic energy in partially ionized plasmas | 2023-01-13 | Paper |
| Managing risk-adjusted resource allocation for project time-cost tradeoffs | 2022-11-09 | Paper |
| On the shape of the cavity created by a thin magnetized airfoil | 2022-09-15 | Paper |
| On the boundary layer generated by a variable magnetic field in a conducting flow | 2021-09-20 | Paper |
| On the second order geometric optics approximation to fast magnetosonic waves | 2020-10-23 | Paper |
| Geometry and dynamics of fast magnetosonic wavefronts near magnetic null points | 2020-10-07 | Paper |
| Transmission of magnetosonic waves through current-vortex sheets | 2020-01-07 | Paper |
| Mean-dispersion preferences with a specific dispersion function | 2019-11-21 | Paper |
| On the relation between atmospheric and internal motions in an astrophysical object | 2018-09-24 | Paper |
| Current sheets as waveguides for the fast magnetosonic wave | 2018-09-10 | Paper |
| Some conditions for blow-up in the time-dependent Bödewadt problem | 2018-09-04 | Paper |
| Passive testing with asynchronous communications and timestamps | 2018-08-10 | Paper |
| Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs | 2017-11-10 | Paper |
| Geometry of fast magnetosonic rays, wavefronts and shock waves | 2017-07-11 | Paper |
| Some properties of the formation of fast magnetosonic shocks | 2017-06-13 | Paper |
| Generation of sheet currents by high frequency fast MHD waves | 2017-05-10 | Paper |
| An extended framework for passive asynchronous testing | 2016-11-30 | Paper |
| A new look at pattern matching in abstract data types | 2016-09-01 | Paper |
| On the prevention of fraud and privacy exposure in process information flow | 2016-06-29 | Paper |
| A simple mean-dispersion model of ambiguity attitudes | 2015-06-10 | Paper |
| On the one-dimensional relativistic induction equation | 2014-11-21 | Paper |
| On the final configuration of a plane magnetic field dragged by a highly conducting fluid and anchored at the boundary | 2014-11-11 | Paper |
| Timed implementation relations for the distributed test architecture | 2014-07-11 | Paper |
| On the gravitational potential of modified Newtonian dynamics | 2014-04-07 | Paper |
| MHD shear flows with non-constant transverse magnetic field | 2013-04-23 | Paper |
| Using schedulers to test probabilistic distributed systems | 2013-03-22 | Paper |
| Magnetohydrodynamic Ekman layers with field-aligned flow | 2013-03-20 | Paper |
| Implementation relations and test generation for systems with distributed interfaces | 2013-02-04 | Paper |
| Using Time to Add Order to Distributed Testing | 2012-11-08 | Paper |
| An analytic study of the reversal of Hartmann flows by rotating magnetic fields | 2012-10-16 | Paper |
| Boundary layer separation of hydromagnetic flows | 2012-07-09 | Paper |
| On the stability of certain collisional configurations of hydromagnetic flows | 2012-05-29 | Paper |
| The Biermann battery effect at the interfaces in stratified plasmas | 2012-03-28 | Paper |
| On the scarcity of solutions of the equations of magnetohydrodynamic equilibria with flow | 2011-09-27 | Paper |
| Factors contributing to the conservation of magnetic helicity | 2011-03-05 | Paper |
| Dissipation of Kinetic Energy in a Magnetic Dynamo | 2011-03-05 | Paper |
| Self-similar magnetohydrodynamic boundary layers | 2010-12-29 | Paper |
| Boundary layers of an anchored magnetic field in a highly conductive flow | 2010-10-26 | Paper |
| Spectral gaps, inertial manifolds and kinematic dynamos | 2010-09-27 | Paper |
| Some applications of generalized moments of the density in an inviscid compressible flow | 2010-09-02 | Paper |
| Basic results on the equations of magnetohydrodynamics of partially ionized inviscid plasmas | 2010-08-17 | Paper |
| Two-dimensional MHD equilibria in cold gravitating plasmas | 2010-07-30 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2003 | 2010-05-26 | Paper |
| Formation of singularities in Hall magnetohydrodynamics | 2010-03-31 | Paper |
| Existence of solutions of the equations of electron magnetohydrodynamics in a bounded domain | 2010-03-22 | Paper |
| Ion--neutral friction as a model for magnetic relaxation | 2010-03-01 | Paper |
| Regularity criteria for the Navier-Stokes equations involving the ratio pressure-gradient of velocity | 2010-02-02 | Paper |
| On the equations of \(2\frac 1 2\)D electron magnetohydrodynamics | 2010-01-15 | Paper |
| Uniformization of the density in reacting magnetohydrodynamic flows | 2009-08-21 | Paper |
| Stochastic Protection of Confidential Information in Databases: A Hybrid of Data Perturbation and Query Restriction | 2009-08-13 | Paper |
| Validation of Stochastic Systems | 2009-07-24 | Paper |
| Testing Semantics for RTPA | 2009-05-22 | Paper |
| Assessing the Expressivity of Formal Specification Languages | 2009-04-28 | Paper |
| Implementation Relations for Stochastic Finite State Machines | 2009-03-12 | Paper |
| Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts | 2009-03-11 | Paper |
| Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems | 2009-03-11 | Paper |
| Testing from a stochastic timed system with a fault model | 2009-02-19 | Paper |
| A Comparative Study of STOPA and RTPA | 2009-01-27 | Paper |
| Passive Testing of Timed Systems | 2008-11-20 | Paper |
| Controllable Test Cases for the Distributed Test Architecture | 2008-11-20 | Paper |
| SPAMR: Extending PAMR with Stochastic Time | 2008-08-28 | Paper |
| Testing Finite State Machines Presenting Stochastic Time and Timeouts | 2008-08-28 | Paper |
| A direct method to calculate the energy evolution of a turbulent flow | 2008-08-18 | Paper |
| A Brief Introduction to $\mathcal{THOTL}$ | 2008-07-03 | Paper |
| A Formal Methodology to Test Complex Heterogeneous Systems | 2008-07-03 | Paper |
| Formal Specification of Multi-agent Systems by Using EUSMs | 2008-07-01 | Paper |
| Formal Testing of Systems Presenting Soft and Hard Deadlines | 2008-07-01 | Paper |
| A theorem of existence for the equations of magnetohydrodynamics of partially ionized plasmas | 2008-05-23 | Paper |
| Boundary conditions and plane magnetic reconnection | 2008-05-16 | Paper |
| \(\mathcal {HOTL}\): Hypotheses and observations testing logic | 2008-02-04 | Paper |
| Formal testing from timed finite state machines | 2008-02-04 | Paper |
| Minimum correlation time in turbulent magnetohydrodynamic flows | 2007-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5754523 | 2007-08-22 | Paper |
| The limit states of magnetic relaxation | 2007-06-27 | Paper |
| Extreme points of well-posed polytopes | 2007-06-19 | Paper |
| Existence theorems for two-fluid magnetohydrodynamics | 2007-05-16 | Paper |
| Conformance Testing Relations for Timed Systems | 2007-05-02 | Paper |
| A Logic for Assessing Sets of Heterogeneous Testing Hypotheses | 2007-05-02 | Paper |
| Customized Testing for Probabilistic Systems | 2007-05-02 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce | 2006-10-24 | Paper |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce | 2006-10-24 | Paper |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce | 2006-10-24 | Paper |
| Temporal intermittency caused by ion-neutral drift | 2006-07-13 | Paper |
| Specification, testing and implementation relations for symbolic-probabilistic systems | 2006-04-28 | Paper |
| Formal Approaches to Software Testing | 2005-12-02 | Paper |
| Length of magnetic field lines in turbulent plasmas | 2005-11-07 | Paper |
| Bounds on the growth of the magnetic energy for the Hall kinematic dynamo equation | 2005-10-06 | Paper |
| A passive testing approach based on invariants: application to the WAP | 2005-08-03 | Paper |
| Formal specification of multi-agent e-barter systems | 2005-08-03 | Paper |
| Uniform estimates on the velocity in Rayleigh–Bénard convection | 2005-06-30 | Paper |
| Concentration of magnetic energy in magnetohydrodynamic flows | 2005-05-12 | Paper |
| Growth of the magnetic field in Hall magnetohydrodynamics | 2005-03-30 | Paper |
| Plasma velocity in hydromagnetic dynamos | 2004-12-14 | Paper |
| Transport of energy in dissipative advection phenomena | 2004-12-14 | Paper |
| An integrated framework for the performance analysis of asynchronous communicating stochastic processes | 2004-10-01 | Paper |
| Long-time asymptotics of the mean-field magnetohydrodynamics equation | 2004-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046000 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045843 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737551 | 2004-08-11 | Paper |
| The effect of the change of direction of the flow velocity in the viscous dissipation of active regions | 2004-06-10 | Paper |
| The long-time evolution of mean field magnetohydrodynamics | 2004-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437072 | 2003-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437078 | 2003-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422061 | 2003-09-03 | Paper |
| Estimates on hyperdiffusive magnetohydrodynamics | 2003-08-24 | Paper |
| Algebraic theory of probabilistic processes. | 2003-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409862 | 2003-07-01 | Paper |
| Uniform boundedness of the magnetic field in a resistive plasma | 2003-04-03 | Paper |
| Rigorous bounds on intermittent bursts for turbulent flows | 2003-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791843 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536988 | 2002-11-06 | Paper |
| Current sheets in two-dimensional turbulent plasmas | 2002-04-11 | Paper |
| On the regularity of the magnetic field in a diffusive plasma | 2002-01-27 | Paper |
| A characterization of ill-posed data instances for convex programming. | 2002-01-01 | Paper |
| Spectral analysis of viscous static compressible fluid equilibria | 2001-10-21 | Paper |
| Invariant subspaces of the periodic Navier-Stokes and magnetohydrodynamics equations: Symmetries and inverse cascades | 2001-08-30 | Paper |
| Condition-measure bounds on the behavior of the central trajectory of a semidefinite program | 2001-03-19 | Paper |
| Uniform growth rates for the magnetic field in a kinematic dynamo | 2000-10-08 | Paper |
| Attractors of magnetohydrodynamic flows in an Alfvénic state | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942026 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942011 | 2000-03-19 | Paper |
| Spectral analysis in magnetohydrodynamic equilibria | 1999-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255557 | 1999-08-17 | Paper |
| Condition measures and properties of the central trajectory of a linear program | 1999-06-03 | Paper |
| An invitation to friendly testing | 1999-05-18 | Paper |
| Asymptotic behaviour of the magnetic field in a perfectly conducting chaotic flow | 1999-03-02 | Paper |
| A Singular Transmission Problem: Alfvenic Resonance in Plasmas | 1998-02-19 | Paper |
| Some rigorous results for the kinematic dynamo problem with general boundary conditions | 1997-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688251 | 1997-03-11 | Paper |
| The Decay of Axisymmetric Magnetic Fields: A Review of Cowling’s Theorem | 1997-01-22 | Paper |
| Localized Eigenmodes of the Induction Equation | 1994-12-14 | Paper |
| A WKB analysis of the Alfvén spectrum of the linearized magnetohydrodynamics equations | 1993-10-17 | Paper |
| Solvability of a class of singular partial differential equations with applications to magnetohydrodynamics | 1989-01-01 | Paper |
| On a class of partial differential equations with singular coefficients | 1988-01-01 | Paper |
