Skip to content
cs-conference-ranking.org

Makoto Fujiwara

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

5

Active years

2007–2026

Best venue rank

C

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2026CiEOn the $\varSigma $-Hierarchy of the Logical Principles Over Intuitionistic Predicate Logic.Makoto Fujiwara
2025INLGNatural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure.Seiji Hattori, Takuya Matsuzaki, Makoto Fujiwara
2022CiEAn Extension of the Equivalence Between Brouwer's Fan Theorem and Weak Knig's Lemma with a Uniqueness Hypothesis.Makoto Fujiwara
2020CiEParallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics.Makoto Fujiwara
2019WoLLICBar Induction and Restricted Classical Logic.Makoto Fujiwara
2016COMPSACA Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements.Toshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe
2015CiEIntuitionistic Provability versus Uniform Provability in \mathsfRCA RCA.Makoto Fujiwara
2013CiEA Note on the Sequential Version of Statements.Makoto Fujiwara, Keita Yokoyama
2007SMCConsideration on addressing in ubiquitous space using fuzzy measure.Tomoyuki Araki, Makoto Fujiwara, Yuichi Kohira