Koichi Takahashi

Available identifiers

Publication	Date of Publication	Type
Exact coordinate-dependent Beltrami coefficient for unsteady axially symmetric viscous vortices	2024-07-16	Paper
Mean-field theory of turbulence from the variational principle and its application to the rotation of a thin fluid disk	2021-09-27	Paper
Incorporating a tensor in the effective viscosity model of turbulence and the Reynolds stress	2019-11-14	Paper
A decision procedure for alternation-free modal \(\mu\)-calculi	2011-03-30	Paper
MLAT: a tool for heap analysis based on predicate abstraction by modal logic	2009-04-03	Paper
Functional and Logic Programming	2007-09-25	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
A Ferromagnetic Model of Neutron Stars and the Spin Evolution of Anomalous X-Ray Pulsars	2005-01-04	Paper
Mathematical Modeling of Metal Leaves	2004-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q3044481	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4418585	2003-08-11	Paper
A Model for Period Clustering of Long-Period Pulsars	2003-01-01	Paper
Solution of the Dirac equation with an axial vector current in the chiral \(\text{SU}(2)\otimes \text{SU}\) model	2002-10-20	Paper
Pion Condensation and Magnetism in Neutron Stars	2002-01-01	Paper
New representation of gauge operator and off-mass-shell dual amplitude.	2001-10-18	Paper
On the stability of a classical field in the SU(2) Yang-Mills theory.	2001-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4761820	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4518808	2000-12-03	Paper

This page was built for person: Koichi Takahashi