Tetsuya Sato

Available identifiers

zbMath Open sato.tetsuyaMaRDI QIDQ231248

List of research outcomes

Publication	Date of Publication	Type
Divergences on monads for relational program logics	2024-03-05	Paper
Program logic for higher-order probabilistic programs in Isabelle/HOL	2022-08-10	Paper
Graded Hoare logic and its categorical semantics	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5111434	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5207055	2020-01-03	Paper
Codensity Lifting of Monads and its Dual	2018-11-02	Paper
The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}	2018-05-11	Paper
Approximate relational Hoare logic for continuous random samplings	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5275349	2017-07-11	Paper
Identifying all preorders on the subdistribution monad	2016-05-13	Paper
A New Type of Nonlinear Plasma Equation I. Formulation	2016-04-19	Paper
A New Type of Nonlinear Plasma Equation. II. Annihilative and Transparent Interaction of Pulses	2016-04-19	Paper
Preorders on Monads and Coalgebraic Simulations	2013-03-18	Paper
Inference of Protein-Protein Interactions by Using Co-evolutionary Information	2007-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q5705174	2005-11-08	Paper
Multigrid iterative algorithm using pseudo-compressibility for three-dimensional mantle convection with strongly variable viscosity	2005-06-13	Paper
Molecular dynamics simulation of a single polymer chain in vacuum and in solution	2002-09-12	Paper
Dynamics of orientationally ordered domains in a short chain-molecule system: Size dependence of domain oscillation	2002-09-12	Paper
Molecular dynamics study of structure formation of a single polymer chain by cooling	2002-08-25	Paper
Dynamical process of coalescence of domains in a short chain-molecule system	2002-08-25	Paper
Virtual reality system to visualize and auralize numerical simulation data	2002-07-24	Paper
Computational study of three-dimensional magnetohydrodynamic equilibria in toroidal helical systems	1989-01-01	Paper
Development of stochastic webs in a wave-driven linear oscillator	1988-01-01	Paper
Self-organization in three-dimensional compressible magnetohydrodynamic flow	1988-01-01	Paper
Self-organization and energy relaxation in a three-dimensional magnetohydrodynamic plasma	1986-01-01	Paper
Reply to comments of Montgomery and Matthaeus	1986-01-01	Paper
Spheromak global instabilities and stabilization by nearby conductors	1985-01-01	Paper
Simulation studies on line-tying stabilization of spheromak tilting instability	1984-01-01	Paper
Numerical simulation of slow spheromak formation: Flux control by formation speed	1983-01-01	Paper
Existence of a negative potential solitary-wave structure and formation of a double layer	1982-01-01	Paper
Theory of vortex nutation and amplitude oscillation in an inviscid shear instability	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tetsuya Sato