| Publication | Date of Publication | Type |
|---|
A Decision Theoretic Foundation for Noise Traders and Correlated Speculation
Decision Analysis | 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
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 2024-03-11 | Paper |
Wavefronts and shocks in the vicinity of sonic lines
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 2023-12-12 | Paper |
Generation of shocks by the Biermann battery
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 2023-12-11 | Paper |
Axisymmetric slender magnetic cavities
Communications in Nonlinear Science and Numerical Simulation | 2023-08-31 | Paper |
Stability of an hypersonic magnetohydrodynamic shock wave
Physics Letters. A | 2023-07-03 | Paper |
Mechanisms of conversion of kinetic into magnetic energy in partially ionized plasmas
Geophysical & Astrophysical Fluid Dynamics | 2023-01-13 | Paper |
Managing risk-adjusted resource allocation for project time-cost tradeoffs
Annals of Operations Research | 2022-11-09 | Paper |
On the shape of the cavity created by a thin magnetized airfoil
Physics Letters. A | 2022-09-15 | Paper |
On the boundary layer generated by a variable magnetic field in a conducting flow
European Journal of Mechanics. B. Fluids | 2021-09-20 | Paper |
On the second order geometric optics approximation to fast magnetosonic waves
Communications in Nonlinear Science and Numerical Simulation | 2020-10-23 | Paper |
Geometry and dynamics of fast magnetosonic wavefronts near magnetic null points
Communications in Nonlinear Science and Numerical Simulation | 2020-10-07 | Paper |
Transmission of magnetosonic waves through current-vortex sheets
European Journal of Mechanics. B. Fluids | 2020-01-07 | Paper |
Mean-dispersion preferences with a specific dispersion function
Journal of Mathematical Economics | 2019-11-21 | Paper |
On the relation between atmospheric and internal motions in an astrophysical object
Physics Letters. A | 2018-09-24 | Paper |
Current sheets as waveguides for the fast magnetosonic wave
European Journal of Mechanics. B. Fluids | 2018-09-10 | Paper |
Some conditions for blow-up in the time-dependent Bödewadt problem
European Journal of Mechanics. B. Fluids | 2018-09-04 | Paper |
Passive testing with asynchronous communications and timestamps
Distributed Computing | 2018-08-10 | Paper |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs
IEEE Transactions on Computers | 2017-11-10 | Paper |
Geometry of fast magnetosonic rays, wavefronts and shock waves
Physics Letters. A | 2017-07-11 | Paper |
Some properties of the formation of fast magnetosonic shocks
Physics Letters. A | 2017-06-13 | Paper |
Generation of sheet currents by high frequency fast MHD waves
Physics Letters. A | 2017-05-10 | Paper |
An extended framework for passive asynchronous testing
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
A new look at pattern matching in abstract data types
Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
On the prevention of fraud and privacy exposure in process information flow
INFORMS Journal on Computing | 2016-06-29 | Paper |
A simple mean-dispersion model of ambiguity attitudes
Journal of Mathematical Economics | 2015-06-10 | Paper |
On the one-dimensional relativistic induction equation
Mathematical Methods in the Applied Sciences | 2014-11-21 | Paper |
On the final configuration of a plane magnetic field dragged by a highly conducting fluid and anchored at the boundary
Physics Letters. A | 2014-11-11 | Paper |
Timed implementation relations for the distributed test architecture
Distributed Computing | 2014-07-11 | Paper |
On the gravitational potential of modified Newtonian dynamics
Journal of Mathematical Physics | 2014-04-07 | Paper |
MHD shear flows with non-constant transverse magnetic field
Physics Letters. A | 2013-04-23 | Paper |
Using schedulers to test probabilistic distributed systems
Formal Aspects of Computing | 2013-03-22 | Paper |
Magnetohydrodynamic Ekman layers with field-aligned flow
Physica Scripta | 2013-03-20 | Paper |
Implementation relations and test generation for systems with distributed interfaces
Distributed Computing | 2013-02-04 | Paper |
Using Time to Add Order to Distributed Testing
FM 2012: Formal Methods | 2012-11-08 | Paper |
An analytic study of the reversal of Hartmann flows by rotating magnetic fields
International Journal of Mathematics and Mathematical Sciences | 2012-10-16 | Paper |
Boundary layer separation of hydromagnetic flows
ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik | 2012-07-09 | Paper |
On the stability of certain collisional configurations of hydromagnetic flows
Physics Letters. A | 2012-05-29 | Paper |
The Biermann battery effect at the interfaces in stratified plasmas
Physics Letters. A | 2012-03-28 | Paper |
On the scarcity of solutions of the equations of magnetohydrodynamic equilibria with flow
Physics Letters. A | 2011-09-27 | Paper |
Factors contributing to the conservation of magnetic helicity
Geophysical & Astrophysical Fluid Dynamics | 2011-03-05 | Paper |
Dissipation of kinetic energy in a magnetic dynamo
Geophysical & Astrophysical Fluid Dynamics | 2011-03-05 | Paper |
Self-similar magnetohydrodynamic boundary layers
Physica Scripta | 2010-12-29 | Paper |
Boundary layers of an anchored magnetic field in a highly conductive flow
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2010-10-26 | Paper |
Spectral gaps, inertial manifolds and kinematic dynamos
Physics Letters. A | 2010-09-27 | Paper |
Some applications of generalized moments of the density in an inviscid compressible flow
European Journal of Mechanics. B. Fluids | 2010-09-02 | Paper |
Basic results on the equations of magnetohydrodynamics of partially ionized inviscid plasmas
Journal of Mathematical Physics | 2010-08-17 | Paper |
Two-dimensional MHD equilibria in cold gravitating plasmas
IMA Journal of Applied Mathematics | 2010-07-30 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2003
Lecture Notes in Computer Science | 2010-05-26 | Paper |
Formation of singularities in Hall magnetohydrodynamics
Journal of Fluid Mechanics | 2010-03-31 | Paper |
Existence of solutions of the equations of electron magnetohydrodynamics in a bounded domain
Discrete and Continuous Dynamical Systems | 2010-03-22 | Paper |
Ion-neutral friction as a model for magnetic relaxation
Geophysical & Astrophysical Fluid Dynamics | 2010-03-01 | Paper |
Regularity criteria for the Navier-Stokes equations involving the ratio pressure-gradient of velocity
Mathematical Methods in the Applied Sciences | 2010-02-02 | Paper |
On the equations of \(2\frac 1 2\)D electron magnetohydrodynamics
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2010-01-15 | Paper |
Uniformization of the density in reacting magnetohydrodynamic flows
European Journal of Mechanics. B. Fluids | 2009-08-21 | Paper |
Stochastic Protection of Confidential Information in Databases: A Hybrid of Data Perturbation and Query Restriction
Operations Research | 2009-08-13 | Paper |
Validation of Stochastic Systems
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Testing Semantics for RTPA
Fundamenta Informaticae | 2009-05-22 | Paper |
Assessing the Expressivity of Formal Specification Languages
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Implementation Relations for Stochastic Finite State Machines
Formal Methods and Stochastic Models for Performance Evaluation | 2009-03-12 | Paper |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Testing from a stochastic timed system with a fault model
The Journal of Logic and Algebraic Programming | 2009-02-19 | Paper |
A Comparative Study of STOPA and RTPA
Lecture Notes in Computer Science | 2009-01-27 | Paper |
Passive Testing of Timed Systems
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Controllable Test Cases for the Distributed Test Architecture
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
SPAMR: Extending PAMR with Stochastic Time
Formal Methods and Stochastic Models for Performance Evaluation | 2008-08-28 | Paper |
Testing Finite State Machines Presenting Stochastic Time and Timeouts
Formal Methods and Stochastic Models for Performance Evaluation | 2008-08-28 | Paper |
A direct method to calculate the energy evolution of a turbulent flow
Applied Mathematical Modelling | 2008-08-18 | Paper |
A Brief Introduction to $\mathcal{THOTL}$
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
A Formal Methodology to Test Complex Heterogeneous Systems
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Formal Specification of Multi-agent Systems by Using EUSMs
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Formal Testing of Systems Presenting Soft and Hard Deadlines
Lecture Notes in Computer Science | 2008-07-01 | Paper |
A theorem of existence for the equations of magnetohydrodynamics of partially ionized plasmas
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2008-05-23 | Paper |
Boundary conditions and plane magnetic reconnection
Fluid Dynamics Research | 2008-05-16 | Paper |
\(\mathcal {HOTL}\): Hypotheses and observations testing logic
The Journal of Logic and Algebraic Programming | 2008-02-04 | Paper |
Formal testing from timed finite state machines
Computer Networks | 2008-02-04 | Paper |
Minimum correlation time in turbulent magnetohydrodynamic flows
Physics Letters. A | 2007-10-08 | Paper |
| Testing semantics for urgent timed process algebras | 2007-08-22 | Paper |
The limit states of magnetic relaxation
Journal of Fluid Mechanics | 2007-06-27 | Paper |
Extreme points of well-posed polytopes
Optimization | 2007-06-19 | Paper |
Existence theorems for two-fluid magnetohydrodynamics
Journal of Mathematical Physics | 2007-05-16 | Paper |
Conformance Testing Relations for Timed Systems
Formal Approaches to Software Testing | 2007-05-02 | Paper |
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Customized Testing for Probabilistic Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Lecture Notes in Computer Science | 2006-10-24 | Paper |
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Lecture Notes in Computer Science | 2006-10-24 | Paper |
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Lecture Notes in Computer Science | 2006-10-24 | Paper |
Temporal intermittency caused by ion-neutral drift
Journal of Physics A: Mathematical and General | 2006-07-13 | Paper |
Specification, testing and implementation relations for symbolic-probabilistic systems
Theoretical Computer Science | 2006-04-28 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Length of magnetic field lines in turbulent plasmas
Chaos: An Interdisciplinary Journal of Nonlinear Science | 2005-11-07 | Paper |
Bounds on the growth of the magnetic energy for the Hall kinematic dynamo equation
Journal of Physics A: Mathematical and General | 2005-10-06 | Paper |
A passive testing approach based on invariants: application to the WAP
Computer Networks | 2005-08-03 | Paper |
Formal specification of multi-agent e-barter systems
Science of Computer Programming | 2005-08-03 | Paper |
Uniform estimates on the velocity in Rayleigh–Bénard convection
Journal of Mathematical Physics | 2005-06-30 | Paper |
Concentration of magnetic energy in magnetohydrodynamic flows
Physica D | 2005-05-12 | Paper |
Growth of the magnetic field in Hall magnetohydrodynamics
Journal of Physics A: Mathematical and General | 2005-03-30 | Paper |
Plasma velocity in hydromagnetic dynamos
Journal of Mathematical Physics | 2004-12-14 | Paper |
Transport of energy in dissipative advection phenomena
Journal of Mathematical Physics | 2004-12-14 | Paper |
An integrated framework for the performance analysis of asynchronous communicating stochastic processes
Formal Aspects of Computing | 2004-10-01 | Paper |
Long-time asymptotics of the mean-field magnetohydrodynamics equation
Journal of Physics A: Mathematical and General | 2004-09-10 | Paper |
| scientific article; zbMATH DE number 2088983 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2088914 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086944 (Why is no real title available?) | 2004-08-11 | Paper |
The effect of the change of direction of the flow velocity in the viscous dissipation of active regions
Journal of Physics A: Mathematical and General | 2004-06-10 | Paper |
The long-time evolution of mean field magnetohydrodynamics
Discrete and Continuous Dynamical Systems. Series B | 2004-06-09 | Paper |
| scientific article; zbMATH DE number 2013789 (Why is no real title available?) | 2003-12-07 | Paper |
| scientific article; zbMATH DE number 2013792 (Why is no real title available?) | 2003-12-07 | Paper |
| scientific article; zbMATH DE number 1973972 (Why is no real title available?) | 2003-09-03 | Paper |
Estimates on hyperdiffusive magnetohydrodynamics
Physica D | 2003-08-24 | Paper |
Algebraic theory of probabilistic processes.
The Journal of Logic and Algebraic Programming | 2003-08-13 | Paper |
| scientific article; zbMATH DE number 1943830 (Why is no real title available?) | 2003-07-01 | Paper |
Uniform boundedness of the magnetic field in a resistive plasma
Mathematical Methods in the Applied Sciences | 2003-04-03 | Paper |
Rigorous bounds on intermittent bursts for turbulent flows
Physica D | 2003-02-11 | Paper |
| scientific article; zbMATH DE number 1863172 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1760049 (Why is no real title available?) | 2002-11-06 | Paper |
Current sheets in two-dimensional turbulent plasmas
Letters in Mathematical Physics | 2002-04-11 | Paper |
On the regularity of the magnetic field in a diffusive plasma
Journal of Physics A: Mathematical and General | 2002-01-27 | Paper |
A characterization of ill-posed data instances for convex programming.
Mathematical Programming. Series A. Series B | 2002-01-01 | Paper |
Spectral analysis of viscous static compressible fluid equilibria
Journal of Physics A: Mathematical and General | 2001-10-21 | Paper |
Invariant subspaces of the periodic Navier-Stokes and magnetohydrodynamics equations: Symmetries and inverse cascades
Journal of Mathematical Physics | 2001-08-30 | Paper |
Condition-measure bounds on the behavior of the central trajectory of a semidefinite program
SIAM Journal on Optimization | 2001-03-19 | Paper |
Uniform growth rates for the magnetic field in a kinematic dynamo
Journal of Physics A: Mathematical and General | 2000-10-08 | Paper |
Attractors of magnetohydrodynamic flows in an Alfvénic state
Journal of Physics A: Mathematical and General | 2000-04-25 | Paper |
| scientific article; zbMATH DE number 1418466 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1418454 (Why is no real title available?) | 2000-03-19 | Paper |
Spectral analysis in magnetohydrodynamic equilibria
Journal of Physics A: Mathematical and General | 1999-08-30 | Paper |
| scientific article; zbMATH DE number 1324657 (Why is no real title available?) | 1999-08-17 | Paper |
Condition measures and properties of the central trajectory of a linear program
Mathematical Programming. Series A. Series B | 1999-06-03 | Paper |
An invitation to friendly testing
Journal of Computer Science and Technology | 1999-05-18 | Paper |
Asymptotic behaviour of the magnetic field in a perfectly conducting chaotic flow
Journal of Physics A: Mathematical and General | 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
Journal of Mathematical Physics | 1997-10-01 | Paper |
| scientific article; zbMATH DE number 970128 (Why is no real title available?) | 1997-03-11 | Paper |
The Decay of Axisymmetric Magnetic Fields: A Review of Cowling’s Theorem
SIAM Review | 1997-01-22 | Paper |
Localized Eigenmodes of the Induction Equation
SIAM Journal on Applied Mathematics | 1994-12-14 | Paper |
A WKB analysis of the Alfvén spectrum of the linearized magnetohydrodynamics equations
Applications of Mathematics | 1993-10-17 | Paper |
Solvability of a class of singular partial differential equations with applications to magnetohydrodynamics
Communications in Partial Differential Equations | 1989-01-01 | Paper |
On a class of partial differential equations with singular coefficients
Applicable Analysis | 1988-01-01 | Paper |
