Formulation of Cell Petri Nets
Jitsukawa, Mitsuru, Kawamoto, Pauline N., Shidama, Yasunari
Complex Function Differentiability
Pacharapokin, Chanapat, Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka
Riemann Integral of Functions R into C
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
Integrability of Multivariable Continuous Functions
Endou, Noboru, Shidama, Yasunari
Model Checking. Part III
Ishida, Kazuhisa, Shidama, Yasunari
The Measurability of Complex-Valued Functional Sequences
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Differential Equations on Functions from R into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
More on Continuous Functions on Normed Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Banach’s Continuous Inverse Theorem and Closed Graph Theorem
Sakurai, Hideki, Okazaki, Hiroyuki, Shidama, Yasunari
Torsion Z-module and Torsion-free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Nakasho, Kazuhisa, Shidama, Yasunari
Lattice of ℤ-module
Futa, Yuichi, Shidama, Yasunari