顔写真

PHOTO

Izumi Taisuke
泉　泰介
Izumi Taisuke
泉　泰介
Institutional repository
Graduate School of Information Science and Technology　Department of Computer Science, Associate Professor

keyword fault-tolerance，algorithm，distributed system

Institutional repository

Committee Memberships 40

  1. 人事院　2025 年度国家公務員採用総合職試験 試験専門委員　Government

    2024/06 - 2025/05

  2. The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)　Program committee member

    2024/01 - 2024/10

  3. 人事院　2024 年度国家公務員採用総合職試験 試験専門委員

    2023/06 - 2024/05

  4. 電子情報通信学会　電子情報通信学会基礎・境界ソサイエティ 和文・英文論文誌 編集委員　Academic society

    2020/06 - 2024/05

  5. International Conference on Principles of Distributed Systems (OPODIS 2023)　Program committee member, International Conference on Principles of Distributed Systems (OPODIS 2020)　Other

    2023/06 - 2023/12

  6. International Symposium on Algorithm and Computation (ISAAC 2023)　Program committee member, International Symposium on Algorithm and Computation (ISAAC 2023)　Other

    2023/04 - 2023/12

  7. ACM Symposium on Principle of Distributed Computing (PODC 2023)　Program committee member, ACM Symposium on Principle of Distributed Computing (PODC 2020)

    2023/01 - 2023/07

  8. International Colloquium on Structural Information and Communication Complexity (SIROCCO 2023)　Program committee member, International Colloquium on Structural Information and Communication Complexity (SIROCCO 2021)

    2023/01 - 2023/06

  9. 人事院　2023 年度国家公務員採用総合職試験 試験専門委員

    2022/06 - 2023/05

  10. 情報処理学会 関西支部　運営委員会 幹事　Academic society

    2021/04 - 2023/03

  11. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS2022), Program committee member

    2022/06 - 2022/11

  12. Program committee member, International Conference on Fun with Algorithms (FUN2022)　Other

    2022/01 - 2022/06

  13. 人事院　2022 年度国家公務員採用総合職試験 試験専門委員　Government

    2021/06 - 2022/06

  14. Program committee member, International Conference on Distributed Computing and Networking (ICDCN 2022)　Other

    2021/04 - 2022/01

  15. Program committee member, International Symposium On Reliable Distributed Systems (SRDS2021)　Other

    2021/04 - 2021/11

  16. Program committee member, International Workshop on Combinatorial Algorithms (IWOCA 2021)　Other

    2021/03 - 2021/07

  17. International Colloquium on Structural Information and Communication Complexity (SIROCCO 2021)　Program committee member, International Colloquium on Structural Information and Communication Complexity (SIROCCO 2021)　Other

    2021/01 - 2021/07

  18. Program committee member, International Conference on Distributed Computing Systems (ICDCS 2021)　Other

    2020/12 - 2021/07

  19. Program committee member, International Conference on Distributed Computing and Networking (ICDCN 2021)　Other

    2020/07 - 2021/01

  20. I　Program committee member, International Conference on Principles of Distributed Systems (OPODIS 2020)　Other

    2020/06 - 2020/12

  21. Program committee member, 27th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2020)　Other

    2020/01 - 2020/07

  22. Program committee member, ACM Symposium on Principle of Distributed Computing (PODC 2020)　Other

    2020/01 - 2020/07

  23. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員長　Academic society

    2017/03 - 2019/03

  24. Program committee chair, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018)

    2018/04 - 2018/12

  25. Program committee member, International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018)

    2018/01 - 2018/07

  26. Program committee member, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017)

    2017/04 - 2017/11

  27. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員　Academic society

    2016/03 - 2017/03

  28. Program committee member, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016)

    2016/04 - 2016/11

  29. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員　Academic society

    2015/03 - 2016/03

  30. Program committee member, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2015)

    2015/04 - 2015/11

  31. Program committee member, International Colloquium on Structural Information and Communication Complexity (SIROCCO 2015)

    2015/01 - 2015/07

  32. Program committee member, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014)

    2014/04 - 2014/11

  33. Program committee member and Organization Chair, International Colloquium on Structural Information and Communication Complexity (SIROCCO 2014)

    2014/01 - 2014/07

  34. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員　Academic society

    2013/03 - 2014/03

  35. 電子情報通信学会　電子情報通信学会英文誌D「並列分散コンピューティングとネットワーキング小特集号」 編集委員　Academic society

    2012/07 - 2013/12

  36. Track Chair, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013)

    2013/04 - 2013/11

  37. 電子情報通信学会　電子情報通信学会英文論文誌A「離散数学とその応用小特集号」 編集委員　Academic society

    2012/09 - 2013/06

  38. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員　Academic society

    2012/01 - 2013/03

  39. Program committee member, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012)

    2012/04 - 2012/11

  40. Program committee member, International Colloquium on Structural Information and Communication Complexity (SIROCCO)

    2011/01 - 2011/07

Research Areas 2

  1. Informatics / Computer systems /

  2. Informatics / Information theory /

Awards 4

  1. Best Student Paper Runner-up

    Taichi Inoue, Naoki Kitamura, Taisuke Izumi, Toshimitsu Masuzawa　26th International Conference on Principles of Distributed Systems, OPODIS 2022　2022/12

  2. Kasami Award

    2007/04

  3. Anual Report of Osaka University Academic Achievement 2006-2007

    2007/04

  4. Best Paper Award, The 3rd Workshop on Self-Adaptable and Autonomic Computing

    2003/04

Papers 117

  1. Deterministic fault-tolerant connectivity labeling scheme.

    Taisuke Izumi, Yuval Emek, Tadashi Wadayama, Toshimitsu Masuzawa

    Distributed Computing　Vol. 38　No. 1　p. 31-50　2025/03　Research paper (scientific journal)

  2. Independent Set Reconfiguration Under Bounded-Hop Token Jumping.

    Hiroki Hatano, Naoki Kitamura, Taisuke Izumi, Takehiro Ito, Toshimitsu Masuzawa

    The 19th International Conference and Workshops on Algorithms and Computation (WALCOM)　p. 215-228　2025/01　Research paper (international conference proceedings)

  3. Approximation hardness of domination problems on generalized convex graphs

    Po Yuan Wang, Naoki Kitamura, Taisuke Izumi, Toshimitsu Masuzawa

    Theoretical Computer Science　Vol. 1028　p. 115035-115035　2025　Research paper (scientific journal)

  4. Self-Stabilizing Fully Adaptive Maximal Matching.

    Shimon Bitton, Yuval Emek, Taisuke Izumi, Shay Kutten

    International Conference on Principle of Distributed Systems (OPODIS)　p. 33-21　2024/12　Research paper (international conference proceedings)

  5. A Nearly Linear Time Construction of Approximate Single-Source Distance Sensitivity Oracles.

    Kaito Harada, Naoki Kitamura, Taisuke Izumi, Toshimitsu Masuzawa

    European Symposium on Algorithms (ESA)　p. 65:1-65:18　2024/09　Research paper (international conference proceedings)

  6. A Nearly Linear-Time Distributed Algorithm for Exact Maximum Matching

    Taisuke Izumi, Naoki Kitamura, Yutaro Yamaguchi

    The 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)　p. 4062-4082　2024/01/04　Part of collection (book)

    Publisher: Society for Industrial and Applied Mathematics

  7. Loosely-Stabilizing Algorithm on Almost Maximal Independent Set.

    Rongcheng Dong, Taisuke Izumi, Naoki Kitamura, Yuichi Sudo, Toshimitsu Masuzawa

    IEICE Transactions on Information & Systems　Vol. 106　No. 11　p. 1762-1771　2023/11　Research paper (scientific journal)

  8. Deterministic Fault-Tolerant Connectivity Labeling Scheme

    Taisuke Izumi, Yuval Emek, Tadashi Wadayama, Toshimitsu Masuzawa

    The 2023 ACM Symposium on Principles of Distributed Computing (PODC)　p. 190-199　2023/06/16　Research paper (international conference proceedings)

    Publisher: ACM

  9. Power-Collision-Based 2-Shot Grant-Free NOMA with Cross-Slot SIC for mMTC.

    Takeshi Hirai, Taisuke Izumi, Naoki Wakamiya

    2023 IEEE Global Communication Conference (GLOBECOM)　p. 6261-6266　2023　Research paper (international conference proceedings)

  10. Computational Power of a Single Oblivious Mobile Agent in Two-Edge-Connected Graphs

    Taichi Inoue, Naoki Kitamura, Taisuke Izumi, Toshimitsu Masuzawa

    26th International Conference on Principles of Distributed Systems, OPODIS 2022　p. 11:1-11:18　2022/12　Research paper (international conference proceedings)

  11. Fully Polynomial-Time Distributed Computation in Low-Treewidth Graphs.

    Taisuke Izumi, Naoki Kitamura, Takamasa Naruse, Gregory Schwartzman

    ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)　p. 11-22　2022/07　Research paper (international conference proceedings)

  12. A Subquadratic-Time Distributed Algorithm for Exact Maximum Matching.

    Naoki Kitamura, Taisuke Izumi

    IEICE Transactions on Information & Systems　Vol. 105-D　No. 3　p. 634-645　2022/03/01　Research paper (scientific journal)

    Publisher: Institute of Electronics, Information and Communications Engineers (IEICE)

  13. Fast Neighborhood Rendezvous.

    Ryota Eguchi, Naoki Kitamura, Taisuke Izumi

    IEICE Transactions on Information & Systems　Vol. 105-D　No. 3　p. 597-610　2022　Research paper (scientific journal)

  14. Time-Optimal Loosely-Stabilizing Leader Election in Population Protocols.

    Yuichi Sudo, Ryota Eguchi, Taisuke Izumi, Toshimitsu Masuzawa

    35th International Symposium on Distributed Computing(DISC)　p. 40-17　2021/10　Research paper (international conference proceedings)

    Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  15. Low-congestion shortcut and graph parameters.

    Naoki Kitamura, Hirotaka Kitagawa, Yota Otachi, Taisuke Izumi

    Distributed Computing　Vol. 34　No. 5　p. 349-365　2021　Research paper (scientific journal)

  16. Loosely-Stabilizing Maximal Independent Set Algorithms with Unreliable Communications.

    Rongcheng Dong, Yuichi Sudo, Taisuke Izumi, Toshimitsu Masuzawa

    Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium(SSS)　p. 335-349　2021　Research paper (international conference proceedings)

    Publisher: Springer

  17. Low-Congestion shortcuts without embedding.

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    Distributed Computing　Vol. 34　No. 1　p. 79-90　2021　Research paper (scientific journal)

  18. Fast Neighborhood Rendezvous.

    Ryota Eguchi, Naoki Kitamura, Taisuke Izumi

    International Conference on Distributed Computing Systems (ICDCS)　p. 168-178　2020　Research paper (international conference proceedings)

    Publisher: IEEE

  19. Fault-tolerant simulation of population protocols.

    Giuseppe Antonio Di Luna, Paola Flocchini, Taisuke Izumi, Tomoko Izumi, Nicola Santoro, Giovanni Viglietta

    Distributed Computing　Vol. 33　No. 6　p. 561-578　2020　Research paper (scientific journal)

  20. Time-Optimal Leader Election in Population Protocols.

    Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    IEEE Trans. Parallel Distributed Syst.　Vol. 31　No. 11　p. 2620-2632　2020　Research paper (scientific journal)

  21. Sublinear-Space Lexicographic Depth-First Search for Bounded Treewidth Graphs and Planar Graphs.

    Taisuke Izumi, Yota Otachi

    The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020)　p. 67:1-67:17　2020　Research paper (international conference proceedings)

    Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  22. Quantum Distributed Algorithm for Triangle Finding in the CONGEST Model.

    Taisuke Izumi, François Le Gall, Frédéric Magniez

    37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)　p. 23:1-23:13　2020　Research paper (international conference proceedings)

  23. Uniform distribution for Pachinko.

    Naoki Kitamura, Yuya Kawabata, Taisuke Izumi

    Theor. Comput. Sci.　Vol. 839　p. 103-121　2020　Research paper (scientific journal)

    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

  24. Towards Distributed Two-Stage Stochastic Optimization.

    Yuval Emek, Noga Harlev, Taisuke Izumi

    23rd International Conference on Principles of Distributed Systems (OPODIS 2019)　p. 32:1-32:16　2019/12　Research paper (international conference proceedings)

    Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  25. Sub-Linear Time Aggregation in Probabilistic Population Protocol Model.

    Ryota Eguchi, Taisuke Izumi

    IEICE Transactions　Vol. 102-A　No. 9　p. 1187-1194　2019　Research paper (scientific journal)

  26. A Population Protocol for Uniform $k$-partition under Global Fairness.

    Hiroto Yasumi, Naoki Kitamura, Fukuhito Ooshita, Taisuke Izumi, Michiko Inoue

    IJNC　Vol. 9　No. 1　p. 97-110　2019　Research paper (scientific journal)

  27. Population protocols with faulty interactions: The impact of a leader.

    Giuseppe Antonio Di Luna, Paola Flocchini, Taisuke Izumi, Tomoko Izumi, Nicola Santoro, Giovanni Viglietta

    Theor. Comput. Sci.　Vol. 754　p. 35-49　2019　Research paper (scientific journal)

  28. Logarithmic Expected-Time Leader Election in Population Protocol Model.

    Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019.　p. 60-62　2019　Research paper (international conference proceedings)

    Publisher: ACM

  29. Quantum Distributed Algorithm for the All-Pairs Shortest Path Problem in the CONGEST-CLIQUE Model.

    Taisuke Izumi, François Le Gall

    Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019.　p. 84-93　2019　Research paper (international conference proceedings)

    Publisher: ACM

  30. Message Reduction in the LOCAL Model is a Free Lunch.

    Shimon Bitton, Yuval Emek, Taisuke Izumi, Shay Kutten

    Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019.　p. 300-302　2019　Research paper (international conference proceedings)

    Publisher: ACM

  31. Distributed Minimum Degree Spanning Trees.

    Michael Dinitz, Magnús M. Halldórsson, Taisuke Izumi, Calvin Newport

    Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019.　p. 511-520　2019　Research paper (international conference proceedings)

    Publisher: ACM

  32. Logarithmic Expected-Time Leader Election in Population Protocol Model.

    Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings　p. 323-337　2019　Research paper (international conference proceedings)

    Publisher: Springer

  33. Message Reduction in the LOCAL Model Is a Free Lunch.

    Shimon Bitton, Yuval Emek, Taisuke Izumi, Shay Kutten

    33rd International Symposium on Distributed Computing, DISC 2019, October 14-18, 2019, Budapest, Hungary.　2019　Research paper (international conference proceedings)

    Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  34. Low-Congestion Shortcut and Graph Parameters.

    Naoki Kitamura, Hirotaka Kitagawa, Yota Otachi, Taisuke Izumi

    33rd International Symposium on Distributed Computing, DISC 2019, October 14-18, 2019, Budapest, Hungary.　p. 25:1-25:17-17　2019　Research paper (international conference proceedings)

    Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  35. Bounds on the asymptotic rate for capacitive crosstalk avoidance codes for on-chip buses

    Tadashi Wadayama, Taisuke Izumi

    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. E101A　No. 12　p. 2018-2025　2018/12/01　Research paper (international conference proceedings)

    Publisher: Institute of Electronics, Information and Communication, Engineers, IEICE

  36. On time complexity for connectivity-preserving scattering of mobile robots

    Taisuke Izumi, Daichi Kaino, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil

    Theoretical Computer Science　Vol. 738　p. 42-52　2018/08/22　Research paper (scientific journal)

    Publisher: Elsevier B.V.

  37. Uniform distribution on pachinko

    Naoki Kitamura, Yuya Kawabata, Taisuke Izumi

    The 9th International Conference on FUN with Algorithms　p. 26:1-26:14　2018/06　Research paper (international conference proceedings)

    Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

  38. Brief Announcement: Graph Exploration Using Constant-Size Memory and Storage.

    Naoki Kitamura, Kazuki Kakizawa, Yuya Kawabata, Taisuke Izumi

    Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018　p. 241-243　2018　Research paper (international conference proceedings)

    Publisher: ACM

  39. A Population Protocol for Uniform k-Partition Under Global Fairness.

    Hiroto Yasumi, Naoki Kitamura, Fukuhito Ooshita, Taisuke Izumi, Michiko Inoue

    2018 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2018, Vancouver, BC, Canada, May 21-25, 2018　p. 813-819　2018　Research paper (international conference proceedings)

    Publisher: IEEE Computer Society

  40. Brief announcement: Fast aggregation in population protocols

    Ryota Eguchi, Taisuke Izumi

    Leibniz International Proceedings in Informatics, LIPIcs　Vol. 91　p. 49:1-49:3　2017/10/01　Research paper (international conference proceedings)

    Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

  41. Triangle finding and listing in CONGEST networks

    Taisuke Izumi, François Le Gall

    Proceedings of the Annual ACM Symposium on Principles of Distributed Computing　Vol. 129314　p. 381-389　2017/07/26　Research paper (international conference proceedings)

    Publisher: Association for Computing Machinery

  42. On the Power of Weaker Pairwise Interaction: Fault-Tolerant Simulation of Population Protocols

    G. Di Luna, P. Flocchini, T. Izumi, T. Izumi, N. Santoro, G. Viglietta

    2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017)　p. 2472-2477　2017　Research paper (international conference proceedings)

  43. Population protocols with faulty interactions: The impact of a leader

    Giuseppe Antonio Di Luna, Paola Flocchini, Taisuke Izumi, Tomoko Izumi, Nicola Santoro, Giovanni Viglietta

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 10236　p. 454-466　2017　Research paper (international conference proceedings)

    Publisher: Springer Verlag

  44. Bitwise MAP Estimation for Group Testing Based on Holographic Transformation

    Tadashi Wadayama, Taisuke Izumi, Kazushi Mimura

    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E99A　No. 12　p. 2147-2154　2016/12　Research paper (scientific journal)

  45. Improving the lower bound on opaque sets for equilateral triangle

    Taisuke Izumi

    DISCRETE APPLIED MATHEMATICS　Vol. 213　p. 130-138　2016/11　Research paper (scientific journal)

  46. Flocking with oblivious robots

    Davide Canepa, Xavier Defago, Taisuke Izumi, Maria Potop-Butucaru

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 10083 LNCS　p. 94-108　2016　Research paper (international conference proceedings)

  47. Bounds on Asymptotic Rate of Capacitive Crosstalk Avoidance Codes for On-chip Buses

    Tadashi Wadayama, Taisuke Izumi

    2016 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY　p. 400-404　2016　Research paper (international conference proceedings)

  48. Near-optimal low-congestion shortcuts on bounded parameter graphs

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 9888　p. 158-172　2016　Research paper (international conference proceedings)

    Publisher: Springer Verlag

  49. Low-Congestion Shortcuts without Embedding

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    PROCEEDINGS OF THE 2016 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'16)　p. 451-460　2016　Research paper (international conference proceedings)

  50. Distributed graph algorithms and their complexity : an introduction (Special issue: Reviews and lectures : exploring the limits of computation II)

    Izumi Taisuke

    Interdisciplinary information sciences　Vol. 21　No. 4　p. 351-370　2015/12

    Publisher: Tohoku University

  51. Faster Enumeration of All Maximal Cliques in Unit Disk Graphs Using Geometric Structure

    Taisuke Izumi, Daisuke Suzuki

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. E98D　No. 3　p. 490-496　2015/03　Research paper (scientific journal)

  52. Corrigendum to "On the approximability and hardness of minimum topic connected overlay and its special instances" [Theoret. Comput. Sci. 429, (2012), 144-154]

    Jun Hosoda, Juraj Hromkovič, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada

    Theoretical Computer Science　Vol. 562　No. C　p. 660-661　2015　Research paper (scientific journal)

    Publisher: Elsevier

  53. On the approximability and hardness of minimum topic connected overlay and its special instances (vol 429, pg 144, 2012)

    Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinova, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 562　p. 660-661　2015/01　Research paper (scientific journal)

  54. Listing Center Strings Under the Edit Distance Metric

    Hiromitsu Maji, Taisuke Izumi

    COMBINATORIAL OPTIMIZATION AND APPLICATIONS, (COCOA 2015)　Vol. 9486　p. 771-782　2015　Research paper (international conference proceedings)

  55. On space and time complexity of loosely-stabilizing leader election

    Taisuke Izumi

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 9439　p. 299-312　2015　Research paper (international conference proceedings)

    Publisher: Springer Verlag

  56. Subgraph Domatic Problem and Writing Capacity of Memory Devices with Restricted State Transitions

    Tadashi Wadayama, Taisuke Izumi, Hirotaka Ono

    2015 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT)　p. 1307-1311　2015　Research paper (international conference proceedings)

  57. Bitwise MAP Estimation for Group Testing based on Holographic Transformation

    Tadashi Wadayama, Taisuke Izumi, Kazushi Mimura

    2015 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT)　p. 2787-2791　2015　Research paper (international conference proceedings)

  58. Filling Logarithmic Gaps in Distributed Complexity for Global Problems

    Hiroaki Ookawa, Taisuke Izumi

    SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE　Vol. 8939　p. 377-388　2015　Research paper (international conference proceedings)

  59. Approximability of Minimum Certificate Dispersal with Tree Structures

    Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi wada

    Theoretical Computer Science　2015/01　Research paper (scientific journal)

  60. On the Worst-Case Initial Configuration for Conservative Connectivity Preservation

    Daichi Kaino, Taisuke Izumi

    SRDS Workshop on Self-organization in Swarm of Robots(WSSR)　p. 60-63　2014/10　Research paper (international conference proceedings)

  61. Space-efficient self-stabilizing counting population protocols on mobile sensor networks

    Tomoko Izumi, Keigo Kinpara, Taisuke Izumi, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 552　p. 99-108　2014/10　Research paper (scientific journal)

  62. Investigating the Effectiveness of a Moving-target Oriented Opportunistic Routing Algorithm on RoboCup Rescue Simulations

    Takuma Kawakami, Kyoichi Kisanuki, Toshiaki Ito, Kazunori Iwata, Nobuhiro Ito, Taisuke Izumi

    2014 IIAI 3RD INTERNATIONAL CONFERENCE ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2014)　p. 919-924　2014　Research paper (international conference proceedings)

  63. Depth-First Search Using O(n) Bits

    Tetsuo Asano, Taisuke Izumi, Masashi Kiyomi, Matsuo Konagaya, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui, Ryuhei Uehara

    ALGORITHMS AND COMPUTATION, ISAAC 2014　Vol. 8889　p. 553-564　2014　Research paper (international conference proceedings)

  64. Time Lower Bounds for Distributed Distance Oracles

    Taisuke Izumi, Roger Wattenhofer

    PRINCIPLES OF DISTRIBUTED SYSTEMS, OPODIS 2014　Vol. 8878　p. 60-75　2014　Research paper (international conference proceedings)

  65. Randomized Lower Bound for Distributed Spanning-Tree Verification

    Taisuke Izumi

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2014　Vol. 8576　p. 137-148　2014　Research paper (international conference proceedings)

  66. Time-Optimal Gathering Algorithm of Mobile Robots with Local Weak Multiplicity Detection in Rings

    Tomoko Izumi, Taisuke Izumi, Sayaka Kamei, Fukuhito Oosita

    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. 96-A　No. 6　p. 1072-1080　2013/06　Research paper (scientific journal)

    Publisher: The Institute of Electronics, Information and Communication Engineers

  67. Feasibility of Polynomial-Time Randomized Gathering for Oblivious Mobile Robots

    Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Ooshita

    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS　Vol. 24　No. 4　p. 716-723　2013/04　Research paper (scientific journal)

  68. Scalable estimation of network average degree

    Taisuke Izumi, Hironobu Kanzaki

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 8255　p. 367-369　2013　Research paper (international conference proceedings)

  69. The optimal tolerance of uniform observation error for mobile robot convergence

    Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 444　No. 27　p. 77-86　2012/07　Research paper (scientific journal)

  70. The price of multi-organization constraint in unrelated parallel machine scheduling

    Fukuhito Ooshita, Tomoko Izumi, Taisuke Izumi

    Parallel Processing Letters　Vol. 22　No. 2　2012/06　Research paper (scientific journal)

  71. The price of multi-organization constraint in unrelated parallel machine scheduling

    Fukuhito Oosita, Tomoko Izumi, Taisuke Izumi

    Parallel Processing Letters　Vol. 22　No. 2　2012/06　Research paper (scientific journal)

  72. How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model

    Shukai Cai, Taisuke Izumi, Koichi Wada

    THEORY OF COMPUTING SYSTEMS　Vol. 50　No. 3　p. 433-445　2012/04　Research paper (scientific journal)

  73. On the approximability and hardness of minimum topic connected overlay and its special instances

    Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinova, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 429　No. 20　p. 144-154　2012/04　Research paper (scientific journal)

  74. A New Direction for Counting Perfect Matchings

    Taisuke Izumi, Tadashi Wadayama

    2012 IEEE 53RD ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS)　p. 591-598　2012　Research paper (international conference proceedings)

  75. Minimum certificate dispersal with tree structures

    Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 7287　p. 548-559　2012　Research paper (international conference proceedings)

  76. THE GATHERING PROBLEM FOR TWO OBLIVIOUS ROBOTS WITH UNRELIABLE COMPASSES

    Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Defago, Koichi Wada, Masafumi Yamashita

    SIAM JOURNAL ON COMPUTING　Vol. 41　No. 1　p. 26-46　2012　Research paper (scientific journal)

  77. Adaptive and doubly-expedited one-step consensus in byzantine asynchronous systems

    Nazreen Banu, Taisuke Izumi, Koichi Wada

    Parallel Processing Letters　Vol. 21　No. 4　p. 461-477　2011/12　Research paper (scientific journal)

  78. Oracle-based flocking of mobile robots in crash-recovery model

    Samia Souissi, Taisuke Izumi, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 412　No. 33　p. 4350-4360　2011/07　Research paper (scientific journal)

  79. Byzantine-tolerant circle formation by oblivious mobile robots

    Samia Souissi, Taisuke Izumi, Koichi Wada

    2011 International Conference on Communications, Computing and Control Applications, CCCA 2011　2011　Research paper (international conference proceedings)

  80. Distributed algorithms for cooperative mobile robots: A survey

    Samia Souissi, Taisuke Izumi, Koichi Wada

    Proceedings - 2011 2nd International Conference on Networking and Computing, ICNC 2011　p. 364-371　2011　Research paper (international conference proceedings)

  81. Brief Announcement: The BG-Simulation for Byzantine Mobile Robots

    Taisuke Izumi, Zohir Bouzid, Sebastien Tixeuil, Koichi Wada

    DISTRIBUTED COMPUTING　Vol. 6950　p. 330-+　2011　Research paper (international conference proceedings)

  82. Physical Expander in Virtual Tree Overlay

    Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero

    DISTRIBUTED COMPUTING　Vol. 6950　p. 82-+　2011　Research paper (international conference proceedings)

  83. On the Approximability of Minimum Topic Connected Overlay and Its Special Instances

    Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinova, Koichi Wada

    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011　Vol. 6907　p. 376-387　2011　Research paper (international conference proceedings)

  84. Approximability and inapproximability of the minimum certificate dispersal problem

    Tomoko Izumi, Taisuke Izumi, Hirotaka Ono, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 411　No. 31-33　p. 2773-2783　2010/06　Research paper (scientific journal)

  85. The cost of probabilistic agreement in oblivious robot networks

    Julien Clement, Xavier Defago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stephane Messika

    INFORMATION PROCESSING LETTERS　Vol. 110　No. 11　p. 431-438　2010/05　Research paper (scientific journal)

  86. Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks

    Keigo Kinpara, Tomoko Izumi, Taisuke Izumi, Koichi Wada

    PRINCIPLES OF DISTRIBUTED SYSTEMS　Vol. 6490　p. 504-+　2010　Research paper (international conference proceedings)

  87. Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility

    Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sebastien Tixeuil

    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS　Vol. 6366　p. 319-+　2010　Research paper (international conference proceedings)

  88. Doubly-Expedited One-Step Byzantine Consensus

    Nazreen Banu, Taisuke Izumi, Koichi Wada

    2010 IEEE-IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS DSN　p. 373-382　2010　Research paper (international conference proceedings)

  89. Mobile Robots Gathering Algorithm with Local Weak Multiplicity in Rings

    Tomoko Izumi, Taisuke Izumi, Sayaka Kamei, Fukuhito Ooshita

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, PROCEEDINGS　Vol. 6058　p. 101-+　2010　Research paper (international conference proceedings)

  90. Convergence of Mobile Robots with Uniformly-Inaccurate Sensors

    Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY　Vol. 5869　p. 309-322　2010　Research paper (international conference proceedings)

  91. Space Complexity of Self-stabilizing Leader Election in Passively-Mobile Anonymous Agents

    Shukai Cai, Taisuke Izumi, Koichi Wada

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY　Vol. 5869　p. 113-125　2010　Research paper (international conference proceedings)

  92. Randomized Gathering of Mobile Robots with Local-Multiplicity Detection

    泉泰介, 泉朋子, 亀井清華, 大下福仁

    Lecture Notes on Computer Science: Proc. of The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems Springer　Vol. 5873　p. 384-398　2009/11　Research paper (scientific journal)

  93. A Biologically Inspired Self-Adaptation of Replica Density Control

    鈴木朋子, 泉泰介, 大下福仁, 増澤利光

    IEICE Transactions on Information and Systems 電子情報通信学会　Vol. E92-D　No. 5　p. 1125-1136　2009/05　Research paper (scientific journal)

  94. A Message-Efficient Peer-to-Peer Search Protocol Based on Adaptive Index Dissemination

    Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    IEICE Transactions on Information and Systems 電子情報通信学会　Vol. E92-D　No. 2　p. 258-268　2009/02　Research paper (scientific journal)

  95. Brief Announcement: Communication-Efficient Self-stabilizing Protocols for Spanning-Tree Construction

    Toshimitsu Masuzawa, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada

    PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS　Vol. 5923　p. 219-+　2009　Research paper (international conference proceedings)

  96. A Generalized Multi-organization Scheduling on Unrelated Parallel Machines

    Fukuhito Ooshita, Tomoko Izumi, Taisuke Izumi

    2009 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES (PDCAT 2009)　p. 26-+　2009　Research paper (international conference proceedings)

  97. Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model

    Samia Souissi, Taisuke Izumi, Koichi Wada

    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS　Vol. 5873　p. 683-697　2009　Research paper (international conference proceedings)

  98. Relationship between Approximability and Request Structures in the Minimum Certificate Dispersal Problem

    Tomoko Izumi, Taisuke Izumi, Hirotaka Ono, Koichi Wada

    COMPUTING AND COMBINATORICS, PROCEEDINGS　Vol. 5609　p. 56-+　2009　Research paper (international conference proceedings)

  99. On Gathering Problem in a Ring for 2n autonomous Mobile Robots

    K.Haba, T.Izumi, Y.Katayama, N.Inuzuka, K.Wada

    10th International Symposimu on Stabilization, Safety, and Security fo Distributed Systems (SSS2008)　2008/11　Research paper (international conference proceedings)

  100. An Efficient Index Dissemination in Unstructured Peer-to-Peer Networks

    高橋佑輔, 泉泰介, 角川裕次, 増澤利光

    IEICE Transactions on Information and Systems 電子情報通信学会　Vol. E91-D　No. 7　p. 1971-1981　2008/07　Research paper (scientific journal)

  101. Move-optimal Gossiping among Mobile Agents

    鈴木朋子, 泉泰介, 大下福仁, 角川裕次, 増澤利光

    Theoretical Computer Science Elsevier　Vol. 393　No. 1-3　p. 90-101　2008/03　Research paper (scientific journal)

  102. Construction of Loosely-Structured Overlay Using Bloom Filter.

    Yusuke Takahashi, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications(PDPTA)　p. 895-899　2008　Research paper (international conference proceedings)

    Publisher: CSREA Press

  103. Gathering problem of two asynchronous mobile robots with semi-dynamic compasses

    Nobuhiro Inuzuka, Yuichi Tomida, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY　Vol. 5058　p. 5-19　2008　Research paper (international conference proceedings)

  104. Adaptive timeliness of consensus in presence of crash and timing faults

    Taisuke Izumi, Akinori Saitoh, Toshimitsu Masuzawa

    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING　Vol. 67　No. 6　p. 648-658　2007/06　Research paper (scientific journal)

  105. An adaptive randomized search protocol in peer-to-peer systems.

    Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    Proceedings of the 2007 ACM Symposium on Applied Computing (SAC)(SAC)　p. 533-537　2007　Research paper (international conference proceedings)

    Publisher: ACM

  106. Optimal moves for gossiping among mobile agents

    Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, PROCEEDINGS　Vol. 4474　p. 151-+　2007　Research paper (international conference proceedings)

  107. On the probabilistic omission adversary

    Taisuke Izumi, Koichi Wada

    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS　Vol. 4838　p. 357-+　2007　Research paper (international conference proceedings)

  108. Gathering autonomous mobile robots with dynamic compasses: An optimal result

    Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada

    DISTRIBUTED COMPUTING, PROCEEDINGS　Vol. 4731　p. 298-+　2007　Research paper (international conference proceedings)

  109. Self-adaptive mobile agent population control in dynamic networks based on the single species population model

    Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Toshimitsu Masuzawa

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. E90D　No. 1　p. 314-324　2007/01　Research paper (scientific journal)

  110. A Weakly-Adaptive Condition-Based Consensus Algorithm in Asynchronous Distributed Systems

    泉泰介, 増沢利光

    Information Processing Letters Elsevier　Vol. 100　No. 5　p. 199-205　2006/12　Research paper (scientific journal)

  111. Condition adaptation in synchronous consensus

    Taisuke Izumi, Toshimitsu Masuzawa

    IEEE TRANSACTIONS ON COMPUTERS　Vol. 55　No. 7　p. 843-853　2006/07　Research paper (scientific journal)

  112. An interest-based peer clustering algorithm using ant paradigm

    Taisuke Izumi, Toshimitsu Masuzawa

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 3853　p. 379-386　2006　Research paper (international conference proceedings)

  113. Bio-inspired replica density control in dynamic networks

    T Suzuki, T Izumi, F Ooshita, H Kakugawa, T Masuzawa

    BIOLOGICALLY INSPIRED APPROACHES TO ADVANCED INFORMATION TECHNOLOGY, PROCEEDINGS　Vol. 3853　p. 281-293　2006　Research paper (scientific journal)

  114. Brief announcement: An adaptive randomised searching protocol in peer-to-peer systems based on probabilistic weak quorum system

    Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS　Vol. 4280　p. 586-+　2006　Research paper (international conference proceedings)

  115. An improved algorithm for adaptive condition-based consensus

    T Izumi, T Masuzawa

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, PROCEEDINGS　Vol. 3499　p. 170-184　2005　Research paper (scientific journal)

  116. Timed uniform atomic broadcast in presence of crash and timing faults

    T Izumi, T Masuzawa

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. E88D　No. 1　p. 72-81　2005/01　Research paper (scientific journal)

  117. Timed uniform consensus resilient to crash and timing faults

    T Izumi, A Saitoh, T Masuzawa

    2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS　p. 243-252　2004　Research paper (international conference proceedings)

Misc. 32

  1. A Concise Tour of Communication Complexity Theory - Fundamentals and Approaches from Information Theory

    Taisuke Izumi

    IEICE ESS Fundamentals Review　Vol. 10　No. 1　p. 46-56　2016/07/02　Article, review, commentary, editorial, etc. (scientific journal)

    Publisher: The Institute of Electronics, Information and Communication Engineers

  2. On parallel complexity of MapReduce computation

    WADA Koichi, IZUMI Taisuke

    IEICE technical report. Theoretical foundations of Computing　Vol. 113　No. 50　p. 143-147　2013/05/17

    Publisher: The Institute of Electronics, Information and Communication Engineers

  3. On parallel complexity of MapReduce computation

    Koichi Wada, Taisuke Izumi

    IPSJ SIG Notes　Vol. 2013　No. 22　p. 1-5　2013/05/10

    Publisher: Information Processing Society of Japan (IPSJ)

  4. 完全マッチング数え上げの高速な指数時間アルゴリズムについて (アルゴリズムと計算理論の新展開)

    泉 泰介, 和田山 正

    数理解析研究所講究録　Vol. 1799　p. 1-12　2012/06

    Publisher: 京都大学

  5. On the complexity of minimum topic-connected overlay problems

    和田幸一, JurajHromkovic, 泉泰介, 小野廣隆, SteinovaMonika

    全国大会講演論文集　Vol. 2012　No. 1　p. 267-269　2012/03/06

    Publisher: 一般社団法人情報処理学会

  6. 木ネットワークにおける証明書分散問題の近似可能性について

    泉泰介, 泉朋子, 小野廣隆, 和田幸一

    全国大会講演論文集　Vol. 2012　No. 1　p. 269-271　2012/03/06

    Publisher: 一般社団法人情報処理学会

  7. Fast and Memory Efficient Image Segmentation Using Graph Cuts by Divided Images

    SHIBA Ryosuke, IZUMI Taisuke, WADA Koichi

    The IEICE transactions on information and systems (Japanese edetion)　Vol. 95　No. 3　p. 628-637　2012/03/01

    Publisher: The Institute of Electronics, Information and Communication Engineers

  8. Relationship Between Coding Theory and Counting Perfect Matchings

    IZUMI Taisuke, WADAYAMA Tadashi

    IEICE technical report. Theoretical foundations of Computing　Vol. 111　No. 360　p. 9-15　2011/12/16

    Publisher: The Institute of Electronics, Information and Communication Engineers

  9. Complexity of Minimum Certificate Dispersal Problem with Tee Structure

    IZUMI Taisuke, IZUMI Tomoko, ONO Hirotaka, WADA Koichi

    IEICE technical report　Vol. 111　No. 195　p. 15-22　2011/08/30

    Publisher: The Institute of Electronics, Information and Communication Engineers

  10. Complexity of Minimum Certificate Dispersal Problem with Tree Structure

    Vol. 2011　No. 3　p. 1-8　2011/08/30

  11. Fast and Memory-Efficient Image Segmentation Using Local Graph cuts

    Vol. 2011　No. 22　p. 1-7　2011/05/12

  12. A Study on Multiple Multivariate Two-Sample Test for Gene Set Analysis using MST-based SVM Path-Following

    ISHIKAWA Yuta, ISOBE Kota, KARASUYAMA Masayuki, IZUMI Taisuke, TAKEUCHI Ichiro

    IEICE technical report　Vol. 110　No. 265　p. 211-220　2010/10/28

    Publisher: The Institute of Electronics, Information and Communication Engineers

  13. Adaptive One-Step Byzantine Consensus (アルゴリズム(AL) Vol.2010-AL-128)

    BANU NAZREEN, IZUMI TAISUKE, WADA KOICHI

    情報処理学会研究報告　Vol. 2009　No. 5　p. 1-9　2010/02

    Publisher: 情報処理学会

  14. On Approximability of the Minimum Certificate Dispersal Problem

    IZUMI Tomoko, IZUMI Taisuke, ONO Hirotaka, WADA Koich

    IPSJ SIG Notes　Vol. 2009　No. 18　p. 49-56　2009/02/26

    Publisher: Information Processing Society of Japan (IPSJ)

  15. On Solvability of Self-Stabilizing Leader Election without Oracles in Population Protocols

    CAI Shukai, IZUMI Taisuke, WADA Koichi

    IPSJ SIG Notes　Vol. 2008　No. 108　p. 25-32　2008/10/31

    Publisher: Information Processing Society of Japan (IPSJ)

  16. On Circle Formation by Four Autonomous Mobile Robots

    HASHIMOTO Keita, IZUMI Taisuke, KATAYAMA Yoshiaki, INUZUKA Nobuhiro, WADA Koichi

    IEICE technical report　Vol. 108　No. 206　p. 55-62　2008/09/04

    Publisher: The Institute of Electronics, Information and Communication Engineers

  17. Convergence problem of Mobile Robots with Uniformly-Inaccurate Sensors

    YAMAMOTO Kenta, IZUMI Taisuke, KATAYAMA Yoshiaki, INUZUKA Nobuhiro, WADA Koichi

    IEICE technical report　Vol. 108　No. 206　p. 39-45　2008/09/04

    Publisher: The Institute of Electronics, Information and Communication Engineers

  18. A self-stabilizing clustering algorithm based on maximal clique partition

    NISHIMURA Hiroshi, IZUMI Taisuke, KATAKAMA Yoshiaki, WADA Koichi

    IPSJ SIG Notes　Vol. 2008　No. 24　p. 1-8　2008/03/07

    Publisher: Information Processing Society of Japan (IPSJ)

  19. A Difference-Optimal Algorithm for Gathering Autonomous Mobile Robots with Dynamic Compasses

    IZUMI Taisuke, KATAYAMA Yoshiaki, INUZUKA Nobuhiro, WADA Koichi

    IEICE technical report　Vol. 107　No. 127　p. 71-78　2007/06/29

    Publisher: The Institute of Electronics, Information and Communication Engineers

  20. Solvability of the Gathering Problem for Two Autonomous Mobile Robots with Faulty Compasses

    TOMIDA Yuichi, IZUMI Taisuke, KATAYAMA Yoshiaki, INUZUKA Nobuhiro, WADA Koichi

    IPSJ SIG Notes　Vol. 2007　No. 23　p. 1-8　2007/03/09

    Publisher: Information Processing Society of Japan (IPSJ)

  21. Move Complexity of Gossiping among Mobile Agents

    SUZUKI Tomoko, IZUMI Taisuke, OOSHITA Fukuhito, KAKUGAWA Hirotsugu, MASUZAWA Toshimitsu

    IEICE technical report　Vol. 106　No. 566　p. 29-36　2007/03/05

    Publisher: The Institute of Electronics, Information and Communication Engineers

  22. An Improvement of Bloom-Filter-Based Index Dissemination in P2P Networks

    TAKAHASHI Yusuke, IZUMI Taisuke, MASUZAWA Toshimitsu

    IEICE technical report　Vol. 106　No. 355　p. 55-60　2006/11/09

    Publisher: The Institute of Electronics, Information and Communication Engineers

  23. An Extension of Skip Graph Considering Nonuniform Search Frequency

    HARAGUCHI Takahiro, IZUMI Taisuke, KAKUGAWA Yuji, MASUZAWA Toshimitsu

    IPSJ SIG Notes　Vol. 2006　No. 30　p. 33-40　2006/03/17

    Publisher: Information Processing Society of Japan (IPSJ)

  24. A Biologically Inspired Approach to Replica Control in Dynamic Networks

    Suzuki Tomoko, Izumi Taisuke, Ooshita Fukuhito, Kakugawa Hirotsugu, Masuzawa Toshimitsu

    IPSJ SIG Notes　Vol. 2005　No. 91　p. 51-58　2005/09/16

    Publisher: Information Processing Society of Japan (IPSJ)

  25. A Weakly-Adaptive Condition-Based Consensus Algorithm in Asynchronous Distributed Systems

    IZUMI Taisuke, MASUZAWA Toshimitsu

    IEICE technical report. Theoretical foundations of Computing　Vol. 105　No. 273　p. 43-48　2005/09/15

    Publisher: The Institute of Electronics, Information and Communication Engineers

  26. On Solvability of One-Step Consensus

    IZUMI Taisuke, MASUZAWA Toshimitsu

    IEICE technical report. Dependable computing　Vol. 105　No. 123　p. 7-12　2005/06/10

    Publisher: The Institute of Electronics, Information and Communication Engineers

  27. A Biologically Inspired Approach to Mobile Agent Population Control in Dynamic Networks

    SUZUKI Tomoko, IZUMI Taisuke, OOSHITA Fukuhito, MASUZAWA Toshimitsu

    IPSJ SIG Notes　Vol. 2004　No. 130　p. 65-68　2004/12/21

    Publisher: Information Processing Society of Japan (IPSJ)

  28. Synchronous Condition-Based Consensus Algorithm Adapting to Input-Vector Legality

    IZUMI Taisuke, MASUZAWA Toshimitsu

    IEICE technical report. Theoretical foundations of Computing　Vol. 104　No. 317　p. 41-48　2004/09/10

    Publisher: The Institute of Electronics, Information and Communication Engineers

  29. Causal Broadcast in Dynamic Asynchronous System

    NODA Yoshikuni, IZUMI Taisuke, MASUZAWA Toshimitsu

    IPSJ SIG Notes　Vol. 2004　No. 10　p. 41-48　2004/01/30

    Publisher: Information Processing Society of Japan (IPSJ)

  30. Ant-based approach to mobile agent traversal

    T Izumi, T Masuzawa

    BIOLOGICALLY INSPIRED APPROACHES TO ADVANCED INFORMATION TECHNOLOGY　Vol. 3141　p. 350-363　2004

  31. Timed Atomic Broadcast Resiliet to Multiple Timing Faults

    IZUMI Taisuke, SAITOH Akinori, MASUZAWA Toshimitsu

    IPSJ SIG Notes　Vol. 2003　No. 92　p. 35-42　2003/09/19

    Publisher: Information Processing Society of Japan (IPSJ)

  32. Atomic Broadcast resilient to Crash and Timing Faults

    IZUMI Taisuke, SAITOH Akinori, MASUZAWA Toshimitsu

    IEICE technical report. Theoretical foundations of Computing　Vol. 102　No. 593　p. 21-28　2003/01/17

    Publisher: The Institute of Electronics, Information and Communication Engineers

Presentations 40

  1. 革新的アルゴリズム基盤の構築に向けて：研究成果と今後の展望

    泉 泰介

    情報処理学会 第87回全国大会　2025/03/13

  2. 情報通信科学のグランドチャレンジ

    泉 泰介

    情報処理学会 第87回全国大会　2025/03/14

  3. 2者PSMプロトコルに対する通信複雑性下界の向上

    泉 泰介

    IMIワークショップ 「情報・計算・暗号の融合による新しい数理基盤の創出」　2024/09/25

  4. On computational power of mobile agents in node storage model

    Taisuke Izumi

    Research Meeting and School on Distributed Computing by Mobile Robots　2023/12/09

  5. 耐故障連結性ラベリングに対する決定性多項式時間アルゴリズム

    泉 泰介

    シンポジウム「革新的アルゴリズム基盤の構築に向けて」第84回情報処理学会全国大会　2022/03/03

  6. Information-Theoretic Approach for Lower Bounds in Resource-Bounded Computation

    Taisuke Izumi

    9th International Workshop on Parallel and Distributed Algorithms and Applications　2017/11/20

  7. Fast Aggregation in Population Protocols

    Ryota Eguchi, Taisuke Izumi

    International Symposium on Distributed Computing　2017/10/16

  8. ネットワーク上の分散グラフアルゴリズムと最適化

    泉 泰介

    RIMS組み合わせ最適化セミナー　2017/07/27

  9. Triangle Findings and Listing in CONGEST Networks

    Taisuke Izumi, Francois Le Gall

    ACM Symposium on Principles of Distributed Computing　2017/07/25

  10. Low-Congestion Shortcut and Graph Classes

    Taisuke Izumi

    Workshop on Advanced Distributed Algorithms　2016/11/22

  11. Low-Congestion Shortcut and Graph Classes

    Taisuke Izumi

    Workshop on Advanced Distributed Algorithms　2016/11/22

  12. Near-Optimal Low-Congestion Shortcuts on Bounded Parameter Graphs

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    International Symposium on Distributed Computing　2016/09/27

  13. Toward Time-Optimal Gathering for Mobile Robots with Limited Visibility

    Taisuke Izumi

    6th Research Meeting on Distributed Computing by Mobile Robots (2016.9)　2016/09/26

  14. Uniform Distribution of Pachinko

    Naoki Kitamura, Yuya Kawabata, Taisuke Izumi

    Japan Conference on Discrete and Computational Geometry, Graphs, and Games　2016/09/02

  15. Low-Congestion Shortcut without Embedding

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    ACM Symposium on Principles of Distributed Computing　2016/07/26

  16. Listing Center Strings Under the Edit Distance Metric

    Hiromitsu Maji, Taisuke Izumi

    9th International Conference on Combinatorial Optimization and Applications, COCOA 2015　2015/12/18

  17. 通信複雑性入門

    泉 泰介

    電子情報通信学会情報理論研究会　2015/11/24

  18. Local Algorithms for Mobile Robots: From Solvability to Complexity

    Taisuke Izumi

    DISC Workshop on Distributed Robotic Swarms　2015/10/05

  19. Local Algorithms for Mobile Robots: From Solvability to Complexity

    Taisuke Izumi

    DISC Workshop on Distributed Robotic Swarms　2015/10/05

  20. On Space and Time Complexity of Loosely-Stabilizing Leader Election

    Taisuke Izumi

    22st International Colloquium on Structural Information and Communication Complexity (SIROCCO)　2015/07/14

  21. Bitwise MAP estimation for group testing based on holographic transformation

    Tadashi Wadayama, Taisuke Izumi, Kazushi Mimura

    IEEE International Symposium on Information Theory, ISIT 2015　2015/06/14

  22. Subgraph domatic problem and writing capacity of memory devices with restricted state transitions

    Tadashi Wadayama, Taisuke Izumi, Kazushi Mimura

    IEEE International Symposium on Information Theory, ISIT 2015　2015/06/14

  23. Filling Logarithmic Gaps in Distributed Complexity for Global Problems

    Hiroaki Ookawa, Taisuke Izumi

    41st International Conference on Current Trends in Theory and Practice of Computer Science　2015/01/24

  24. Time Lower Bounds for Distributed Distance Oracles

    Taisuke Izumi, Roger Wattenhofer

    The 18th International Conference on Principles of Distributed Systems　2014/12/16

  25. Depth-First Search Using O(n) bits

    Tetsuo Asano, Taisuke Izumi, Masashi Kiyomi, Matsuo Konagaya, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui, Ryuhei Uehara

    he 25th International Symposium on Algorithms and Computation (ISAAC)　2014/12/15

  26. On the Worst-Case Initial Configuration for Conservative Connectivity Preservation

    Daichi Kaino, Taisuke Izumi

    SRDS Workshop on Self-organization in Swarm of Robots(WSSR)　2014/10/06

  27. Randomized Lower Bound for Distributed Spanning-Tree Verification

    Taisuke Izumi

    21st International Colloquium on Structural Information and Communication Complexity　2014/07/23

  28. 直径計算の分散近似に対する時間複雑さ

    泉 泰介, Roger Wattenhofer

    電子情報通信学会コンピュテーション研究会　2014/03/10

  29. Enumerating All Maximal Cliques in Unit Disk Graphs

    Daisuke Suzuki, Taisuke Izumi

    40th International Conference on Current Trends in Theory and Practice of Computer Science　2014/01/25

  30. Scalable Estimation of Network Average Degree

    Taisuke Izumi, Hironobu Kanzak

    15th International Symposium on Stabilization, Safety, and Security of Distributed Systems　2013/11/13

  31. A New Direction for Counting Perfect Matchings

    Taisuke Izumi, Wadayama Tadashi

    53rd Annual IEEE Symposium on Foundations of Computer Science　2012/10/20

  32. A New Direction for Counting Perfect Matchings

    泉 泰介, 和田山 正

    電子情報通信学会コンピュテーション研究会　2012/09/03

  33. 完全ネットワーク上で最小生成木問題を解く新しい分散アルゴリズム

    Taisuke Izumi, Tomoko Izumi

    2012年夏のLAシンポジウム　2012/07/17

  34. Minimum Certificate Dispersal with Tree Structure

    Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada

    Minimum Certificate Dispersal with Tree Structure　2012/05/16

  35. 完全マッチング数え上げの高速な指数時間アルゴリズムについて

    泉 泰介, 和田山 正

    2011年冬のLAシンポジウム　2012/01/30

  36. 符号理論と完全マッチング計数問題の接点について

    泉 泰介, 和田山 正

    電子情報通信学会コンピュテーション研究会　2011/12/16

  37. The BG-simulation for Byzantine Mobile Robots

    Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada

    25th International Symposium on Distributed Computing(DISC)　2011/09/20

  38. Physical Expander in Virtual Tree Overlay

    Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero

    25th International Symposium on Distributed Computing(DISC)　2011/09/20

  39. On the Approximability of Minimum Topic Connected Overlay and Its Special Instances

    Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada

    36th International Symposium on Mathematical Foundations of Computer Science(MFCS)　2011/08/22

  40. 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成

    泉泰介, Maria Gradinariu Potop-Butucaru, Mathieu Valero

    2011年夏のLAシンポジウム　2011/07/19

Works 28

  1. OPODIS2018プログラム委員

    2018/04 - 2018/12

  2. PDAA2018プログラム委員

    2018/04 - 2018/11

  3. SSS2018プログラム委員長

    2018/01 - 2018/11

  4. SIROCCO2018プログラム委員

    2018/01 - 2018/07

  5. LATIN2018プログラム委員

    2017/08 - 2018/04

  6. OPODIS2017プログラム委員

    2017/04 - 2017/12

  7. ISAAC2017プログラム委員

    2017/04 - 2017/12

  8. PDAA2017プログラム委員

    2017/04 - 2017/11

  9. SSS2017プログラム委員

    2017/01 - 2017/11

  10. ICDCN2016プログラム委員

    2016/05 - 2017/01

  11. OPODIS2015プログラム委員

    2015/06 - 2016/12

  12. PDAA2016プログラム委員

    2016/04 - 2016/11

  13. SSS2016プログラム委員

    2016/01 - 2016/10

  14. ISAAC2015実行委員

    2014/08 - 2015/12

  15. PDAA2015プログラム委員

    2015/04 - 2015/11

  16. SRDS2015プログラム委員

    2015/01 - 2015/10

  17. DISC2015プログラム委員

    2014/11 - 2015/10

  18. SSS2015プログラム委員

    2015/01 - 2015/08

  19. SIROCCO2015プログラム委員

    2015/01 - 2015/07

  20. SOFSEM2015プログラム委員

    2014/05 - 2015/01

  21. SRDS2014プログラム委員

    2014/01 - 2014/10

  22. SSS2014プログラム委員

    2014/01 - 2014/09

  23. SIROCCO2014開催委員長

    2013/07 - 2014/07

  24. SSS2013 実行委員

    2013/03 - 2013/11

  25. ALGOSENSOR2013 プログラム委員

    2013/02 - 2013/09

  26. PDAA2012 プログラム委員

    2012/08 - 2012/12

  27. SSS2012 プログラム委員

    2012/04 - 2012/11

  28. PC member, SIROCCO2011

    2011/02 - 2011/06

Institutional Repository 2

Content Published in the University of Osaka Institutional Repository (OUKA)

  1. Deterministic fault-tolerant connectivity labeling scheme

    Izumi Taisuke, Emek Yuval, Wadayama Tadashi, Masuzawa Toshimitsu

    Distributed Computing　Vol. 38　No. 1　p. 31-50　2024/11/04

  2. A Study on Advanced Approaches for Distributed Consensus Problems

    泉 泰介