Three-dimensional reconstruction of echocardiograms based on orthogonal sections. - Shinichi Tamura; Shigenori Nakano; Masayuki Matsumoto; Takashi Shimazu; Makoto Fujiwara; Taizo Matsuyama; Peter Hanrath (Pattern Recognit., 1985)

Consideration on addressing in ubiquitous space using fuzzy measure. - Tomoyuki Araki; Makoto Fujiwara; Yuichi Kohira (SMC, 2007)

A Note on the Sequential Version of Statements. - Makoto Fujiwara; Keita Yokoyama (CiE, 2013)

On the strength of marriage theorems and uniformity. - Makoto Fujiwara; Kojiro Higuchi; Takayuki Kihara (Math. Log. Q., 2014)

Intuitionistic Provability versus Uniform Provability in mathsfRCA RCA. - Makoto Fujiwara (CiE, 2015)

Some principles weaker than Markov's principle. - Makoto Fujiwara; Hajime Ishihara; Takako Nemoto (Arch. Math. Log., 2015)

Classical provability of uniform versions and intuitionistic provability. - Makoto Fujiwara; Ulrich Kohlenbach (Math. Log. Q., 2015)

A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements. - Toshifusa Sekizawa; Makoto Fujiwara; Koichiro Watanabe (COMPSAC Workshops, 2016)

Interrelation between Weak Fragments of double Negation Shift and Related Principles. - Makoto Fujiwara; Ulrich Kohlenbach (J. Symb. Log., 2018)

Bar Induction and Restricted Classical Logic. - Makoto Fujiwara (WoLLIC, 2019)

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. - Makoto Fujiwara; Tatsuji Kawai (Ann. Pure Appl. Log., 2019)

Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics. - Makoto Fujiwara (CiE, 2020)

Characterising Brouwer's continuity by bar recursion on moduli of continuity. - Makoto Fujiwara; Tatsuji Kawai (Arch. Math. Log., 2021)

Weihrauch and constructive reducibility between existence statements. - Makoto Fujiwara (Comput., 2021)

Prenex Normal Form theorems in Semi-Classical Arithmetic. - Makoto Fujiwara; Taishi Kurahashi (J. Symb. Log., 2021)

König's lemma, weak König's lemma, and the decidable fan theorem. - Makoto Fujiwara (Math. Log. Q., 2021)

Decidable fan theorem and uniform continuity theorem with continuous moduli. - Makoto Fujiwara; Tatsuji Kawai (Math. Log. Q., 2021)

An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak König's Lemma with a Uniqueness Hypothesis. - Makoto Fujiwara (CiE, 2022)

Δ 01 variants of the law of excluded middle and related principles. - Makoto Fujiwara (Arch. Math. Log., 2022)

Refining the arithmetical hierarchy of classical principles. - Makoto Fujiwara; Taishi Kurahashi (Math. Log. Q., 2022)

Highly Scalable Metal Induced Lateral Crystallization (MILC) Techniques for Vertical Si Channel in Ultra-High (> 300 Layers) 3D Flash Memory. - Noritaka Ishihara; Yusuke Shimada; Takamitsu Ochi; Satoshi Seto; Haruki Matsuo; Hiroki Yamashita; Sho Morita; Masafumi Ukishima; K. Uejima; Yusuke Arayashiki; Suzuka Kajiwara; Akiyuki Murayama; et al. (VLSI Technology and Circuits, 2023)

Conservation theorems on Semi-Classical Arithmetic. - Makoto Fujiwara; Taishi Kurahashi (J. Symb. Log., 2023)

Extended Frames and Separations of Logical Principles. - Makoto Fujiwara; Hajime Ishihara; Takako Nemoto; Nobu-Yuki Suzuki; Keita Yokoyama (Bull. Symb. Log., 2023)

Prenex normalization and the hierarchical classification of formulas. - Makoto Fujiwara; Taishi Kurahashi (Arch. Math. Log., 2024)