• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2012 Fiscal Year Final Research Report

Designing distributed algorithms running on continuous network dynamics

Research Project

  • PDF
Project/Area Number 22700010
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Fundamental theory of informatics
Research InstitutionNagoya Institute of Technology

Principal Investigator

IZUMI Taisuke  名古屋工業大学, 工学研究科, 准教授 (20432461)

Project Period (FY) 2010 – 2012
Keywordsアルゴリズム / 情報基礎 / 分散システム
Research Abstract

We studied distributed algorithms for the networks that continuously and dynamically changes their toplogical properties, such as mobile wireless systems and P2P systems. In particular, focusing on theoretical models recently emerging, we developed several new algorithms. Our research topics include autonomous mobile robots, overlay design, and population protocol models.

  • Research Products

    (27 results)

All 2013 2012 2011 2010

All Journal Article (16 results) Presentation (11 results)

  • [Journal Article] Feasibility of Polynomial-time Randomized Gathering for Oblivious Mobile Robots2013

    • Author(s)
      Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Oosita
    • Journal Title

      IEEE Transactions on Parallel and Distributed Systems

      Volume: Vol. 24, No. 4 Pages: 716-723

    • DOI

      DOI:10.1109/TPDS.2012.212

  • [Journal Article] The Optimal Tolerance of Uniform Observation Error for Mobile Robot Convergence2012

    • Author(s)
      Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada
    • Journal Title

      Theoretical ComputerScience

      Volume: Vol. 444, No. 27 Pages: 77-86

    • DOI

      DOI:10.1016/j.tcs.2012.04.038

  • [Journal Article] The price of multi-organization constraint in unrelated parallel machine scheduling2012

    • Author(s)
      Fukuhito Oosita, Tomoko Izumi, Taisuke Izumi
    • Journal Title

      Parallel Processing Letters

      Volume: Vol. 22, No. 2

    • DOI

      DOI:10.1142/S0129626412500065

  • [Journal Article] Minimum Certificate Dispersal with Tree Structure2012

    • Author(s)
      Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada
    • Journal Title

      9th annual conference on Theory and Applications of Models of Computation(TAMC)

      Volume: Vol. 7287 of LNCS Pages: 548-559

    • DOI

      DOI:10.1007/978-3-642-29952-051

  • [Journal Article] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances2012

    • Author(s)
      Jun Hosoda, Juraj Hromkovic, TaisukE Izumi, Hirotaka Ono, Monika Steinova, Koichi Wada
    • Journal Title

      Theoretical Compute/ Science

      Volume: Vol. 429 Pages: 144-154

    • DOI

      DOI:10.1016/j.tcs.2011.12.033

  • [Journal Article] The Gathering Problem for Two Oblivious Mobile Robots with Unreliable Compasses2012

    • Author(s)
      Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Defago, Koichi Wada, Masafumi Yamashita
    • Journal Title

      SIAMJournal on Computing

      Volume: Vol. 41, No. 1 Pages: 26-46

    • DOI

      DOI:10.1137/100797916

  • [Journal Article] How to Prove Impossibility under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model2012

    • Author(s)
      Cai Shukai, Taisuke Izumi, Koichi Wada
    • Journal Title

      Theory of Computing Systems

      Volume: Vol. 50, No. 3 Pages: 433-445

    • DOI

      DOI:10.1007/s00224-011-9313-z

  • [Journal Article] Adaptive and Doubly-Expedited One-Step Consensus in Byzantine Asynchronous Systems2011

    • Author(s)
      Nazreen Banu, Taisuke Izumi, Koichi Wada
    • Journal Title

      Parallel Processing Letters

      Volume: Vol. 21, No. 4 Pages: 461-477

    • DOI

      DOI:10.1142/S0129626411000321

  • [Journal Article] The BG-simulation for Byzantine Mobile Robots2011

    • Author(s)
      Taisuke Izumi, Zohir Bouzid, Sebastien Tixeuil, Koichi Wada
    • Journal Title

      25th International Symposium on Distributed Computing(DISC)

      Volume: Vol. 6950 of LNCS Pages: 330-331

    • DOI

      DOI:10.1007/978-3-642-24100-0_32

  • [Journal Article] Physical Expander in Virtual Tree Overlay2011

    • Author(s)
      Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero
    • Journal Title

      25th International Symposium on Distributed Computing(DISC)

      Volume: Vol. 6950 of LNCS Pages: 82-96

    • DOI

      DOI:10.1007/978-3-642-24100-06

  • [Journal Article] Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model2011

    • Author(s)
      Samia Souissi, Taisuke Izumi, Koichi Wada
    • Journal Title

      Theoretical Computer Science

      Volume: Vol. 412, No. 33 Pages: 4350-4360

    • DOI

      DOI:10.1016/j.tcs.2010.11.011

  • [Journal Article] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances2011

    • Author(s)
      Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinova, Koichi Wada
    • Journal Title

      36th International Symposium on Mathematical Foundations of Computer Science(MFCS)

      Volume: Vol. 6907 of LNCS Pages: 376-387

    • DOI

      DOI:10.1007/978-3-642-22993-035

  • [Journal Article] Improving SpacE Complexity of Self-stabilizing Countingon Mobile Sensor Networks2010

    • Author(s)
      Keigo Kinpara, Tomoko Izumi, TaisukE Izumi, Koichi Wada
    • Journal Title

      14th International Conference on Principle of Distributed Systems (OPODIS)

      Volume: Vol. 6430 of LNCS Pages: 504-515

    • DOI

      DOI:10.1007/978-3-642-17653-1_36

  • [Journal Article] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility2010

    • Author(s)
      Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sebastien Tixeuil
    • Journal Title

      The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)

      Volume: Vol. 6366 of LNCS Pages: 319-331

    • DOI

      DOI:10.1007/978-3-642-16023-3_27

  • [Journal Article] Doubly-Expedited One-step Byzantine Consensus2010

    • Author(s)
      Nazreen Banu, Taisuke Izumi, Koichi Wada
    • Journal Title

      The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010)

      Pages: 373-382

    • DOI

      DOI:10.1109/DSN.2010.5544293

  • [Journal Article] Mobile Robot Gathering Algorithm with Local Weak Multiplicity in Rings2010

    • Author(s)
      Tomoko Izumi, Taisuke Izumi, Sayaka Kamei, Fukuhito Ooshita
    • Journal Title

      17th International Colloquium on Structural Information and Communication Complexity (SIROCCO)

      Volume: Vol. 6058 of LNCS Pages: 101-113

    • DOI

      DOI:10.1007/978-3-642-13284-1_9

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

    • Author(s)
      泉泰介
    • Organizer
      2012年夏のLAシンポジウム
    • Place of Presentation
      兵庫
    • Year and Date
      2012-07-18
  • [Presentation] Minimum CertificateDispersal with Tree Structure2012

    • Author(s)
      泉泰介
    • Organizer
      9th annual conference on Theory and Applications of Models of Computation
    • Place of Presentation
      北京,中国
    • Year and Date
      2012-05-17
  • [Presentation] The BG-simulation for Byzantine Mobile Robots2011

    • Author(s)
      泉泰介
    • Organizer
      25th International Symposium on Distributed Computing
    • Place of Presentation
      ローマ,イタリア
    • Year and Date
      2011-09-21
  • [Presentation] Physical Expander in Virtual Tree Overlay2011

    • Author(s)
      泉泰介
    • Organizer
      25th International Symposium on Distributed Computing
    • Place of Presentation
      ローマ,イタリア
    • Year and Date
      2011-09-20
  • [Presentation] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances2011

    • Author(s)
      Monika Steinova, Taisuke Izumi
    • Organizer
      36th International Symposium on Mathematical Foundations of Computer Science(MFCS)
    • Place of Presentation
      ワルシャワ,ポーランド.
    • Year and Date
      2011-08-25
  • [Presentation] 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成2011

    • Author(s)
      泉泰介
    • Organizer
      2011年夏のLAシンポジウム
    • Place of Presentation
      静岡
    • Year and Date
      2011-07-21
  • [Presentation] lmproving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks2010

    • Author(s)
      金原圭吾,泉泰介
    • Organizer
      14th International Conference on Principle of Distributed Systems(OPODIS)
    • Place of Presentation
      トズル,チュニジア
    • Year and Date
      2010-12-14
  • [Presentation] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility2010

    • Author(s)
      泉泰介
    • Organizer
      The l2th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Place of Presentation
      ニューヨーク,米国
    • Year and Date
      2010-09-21
  • [Presentation] ビザンチン故障を含むロボット群の一点集合問題に対する強い不可能性2010

    • Author(s)
      泉泰介
    • Organizer
      2010年夏の猛シンポジウム
    • Place of Presentation
      富山.
    • Year and Date
      2010-07-20
  • [Presentation] Doubly-Expedited One-step Byzantine Consensus2010

    • Author(s)
      泉泰介
    • Organizer
      The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
    • Place of Presentation
      シカゴ,米国
    • Year and Date
      2010-06-29
  • [Presentation] Mobile Robot Gathering Algorithm with Local Weak Multiplicity in Rings2010

    • Author(s)
      亀井清華,泉泰介
    • Organizer
      17th International Colloquium on Structural Information and Communication Complexity (SIROCCO)
    • Place of Presentation
      シリンス,トノレコ.
    • Year and Date
      2010-06-10

URL: 

Published: 2014-08-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi