Skip to content

Manabu Hagiwara

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

33

Venues

4

Active years

2007–2025

Best venue rank

B

Where they publish

Papers

33 indexed papers, newest first.

YearVenueTitleAuthors
2025ISITQuantum Multi Deletion Codes Derived from Quantum Reed-Solomon Codes.Manabu Hagiwara
2024ISITAPure States in Quantum Deletion Error-Correction.Manabu Hagiwara
2024ISITAThe Tight Upper Bound for the Size of Single Deletion Error Correcting Codes of Length 11.Kazuhisa Nakasho, Manabu Hagiwara, Austin Anderson, James B. Nation
2022ISITEquivalence of Quantum Single Insertion and Single Deletion Error-Correctabilities, and Construction of Codes and Decoders.Taro Shibayama, Manabu Hagiwara
2021ISITTwo Dimensional Deletion Correcting Codes and their Applications.Yeow Meng Chee, Manabu Hagiwara, Van Khu Vu
2021ISITPermutation-Invariant Quantum Codes for Deletion Errors.Taro Shibayama, Manabu Hagiwara
2020ISITA Four-Qubits Code that is a Quantum Deletion Error-Correcting Code with the Optimal Length.Manabu Hagiwara, Ayumu Nakayama
2020ISITAConversion Method from Erasure Codes to Multi-Deletion Error-Correcting Codes for Information in Array Design.Manabu Hagiwara
2020ISITAFormalization of VT Codes and Their Single-Deletion Correcting Property in Lean.Yuki Kondo, Manabu Hagiwara, Midori Kudo
2020ISITASingle Quantum Deletion Error-Correcting Codes.Ayumu Nakayama, Manabu Hagiwara
2020ISITADecoding Algorithms of Monotone Codes and Azinv Codes and Their Unified View.Hokuto Takahashi, Manabu Hagiwara
2018ISITDescent Moment Distributions for Permutation Deletion Codes via Levenshtein Codes.Manabu Hagiwara, Justin Kong
2018ISITAFormalization of Insertion/Deletion Codes and the Levenshtein Metric in Lean.Justin Kong, David J. Webb, Manabu Hagiwara
2018ISITACardinalities of BAD Correcting Codes.Takehiko Mori, Manabu Hagiwara
2017ISITPerfect codes for single balanced adjacent deletions.Manabu Hagiwara
2017ISITMultipermutation Ulam sphere analysis toward characterizing maximal code size.Justin Kong, Manabu Hagiwara
2016ICONIPA Deep Neural Network Architecture Using Dimensionality Reduction with Sparse Matrices.Wataru Matsumoto, Manabu Hagiwara, Petros T. Boufounos, Kunihiko Fukushima, Toshisada Mariyama, Xiongxin Zhao
2016ISITOn ordered syndromes for multi insertion/deletion error-correcting codes.Manabu Hagiwara
2016ISITAFormalization of coding theory using lean.Manabu Hagiwara, Kyosuke Nakano, Justin Kong
2016ISITANonexistence of perfect permutation codes in the Ulam metric.Justin Kong, Manabu Hagiwara
2016ISITAFormalization of binary symmetric erasure channel based on infotheo.Kyosuke Nakano, Manabu Hagiwara
2014ISITAOn the primitive polynomial as the characteristic polynomial of a symmetric companion matrix.Manabu Hagiwara, Takaaki Sasaki
2014ISITAFormalization of the variable-length source coding theorem: Direct part.Ryosuke Obi, Manabu Hagiwara, Reynald Affeldt
2012ISITOn ML-certificate linear constraints for rank modulation with linear programming decoding and its application to compact graphs.Manabu Hagiwara
2012ISITLinear programming upper bounds on permutation code sizes from coherent configurations related to the Kendall-tau distance metric.Fabian Lim, Manabu Hagiwara
2012ISITAWeight enumerator analysis for (2, P)- and (3, P)-SFA LDPC codes.Manabu Hagiwara, James B. Nation
2012ISITAComparing Euclidean, Kendall tau metrics toward extending LP decoding.Justin Kong, Manabu Hagiwara
2012ITPFormalization of Shannon's Theorems in SSReflect-Coq.Reynald Affeldt, Manabu Hagiwara
2011ISITSpatially coupled quasi-cyclic quantum LDPC codes.Manabu Hagiwara, Kenta Kasai, Hideki Imai, Kohichi Sakaniwa
2011ISITNon-binary quasi-cyclic quantum LDPC codes.Kenta Kasai, Manabu Hagiwara, Hideki Imai, Kohichi Sakaniwa
2011ISITLP decodable permutation codes based on linearly constrained permutation matrices.Tadashi Wadayama, Manabu Hagiwara
2010ISITLDPC codes with fixed initialization decoding over binary symmetric channel.Manabu Hagiwara, Marc P. C. Fossorier, Hideki Imai
2007ISITQuantum Quasi-Cyclic LDPC Codes.Manabu Hagiwara, Hideki Imai