和田幸一 (wada koichi) - マイポータル

基本情報

所属: 法政大学理工学部応用情報工学科教授

学位: 工学博士(大阪大学)
工学修士(大阪大学)

J-GLOBAL ID: 201201079122494119
researchmap会員ID: 7000000718

外部リンク: http://www-wada.elcom.nitech.ac.jp/

研究分野

情報通信 / 情報学基礎論 /

経歴

1983年 - 1984年

大阪大学基礎工学部助手
1983年 - 1984年

Research Associate,Faculty of Basic Engineering, Osaka University
1984年

- 名古屋工業大学教授
1984年

- Professor,Nagoya Institute of Technology
名古屋工業大学名古屋工業大学, 教授

学歴

受賞

1993年

最優秀論文賞
1993年

Best Papers of XIII Congress of Brazilian Computer Society

論文

Efficient GPU-Implementation of a Sorting Algorithm Based on Histogram Computation and Prefix-Sums

Kaito Takase, Takumi Hagihara, Noriyuki Fujimoto, Koichi Wada

Parallel Processing Letters 36(01n02) 2026年2月26日
Complete Visibility Algorithms of Luminous Robots With Two‐Color Lights on Grid

Yonghwan Kim, Yoshiaki Katayama, Koichi Wada

Concurrency and Computation: Practice and Experience 37(2) 2024年11月5日
Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights.

Takashi Okumura, Koichi Wada 0001, Xavier Défago

Theoretical Computer Science 979 114198-114198 2023年11月
Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space.

Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada 0001

Robotics and Autonomous Systems 163 104378-104378 2023年5月
Asynchronous Complete Visibility Algorithm for Luminous Robots on Grid.

Yonghwan Kim 0001, Yoshiaki Katayama, Koichi Wada 0001

Eleventh International Symposium on Computing and Networking(CANDARW) 107-113 2023年
Gathering problems for autonomous mobile robots with lights

Satoshi Terai, Koichi Wada, Yoshiaki Katayama

Theoretical Computer Science 941 241-261 2023年1月
Efficient GPU-Implementation for Integer Sorting Based on Histogram and Prefix-Sums.

Seiya Kozakai, Noriyuki Fujimoto, Koichi Wada

ICPP 2021: 50th International Conference on Parallel Processing(ICPP) 1-11 2021年8月査読有り
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space.

Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada

International Symposium on Reliable Distributed Systems(SRDS) 113-122 2020年
Brief announcement: Model checking rendezvous algorithms for robots with lights in Euclidean space

Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada

Leibniz International Proceedings in Informatics, LIPIcs 146 41-3 2019年10月査読有り
Approximability of minimum certificate dispersal with tree structures

Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada

THEORETICAL COMPUTER SCIENCE 591 5-14 2015年8月査読有り
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 562 660-661 2015年1月査読有り
The optimal tolerance of uniform observation error for mobile robot convergence

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

THEORETICAL COMPUTER SCIENCE 444 77-86 2012年7月27日
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 50(3) 433-445 2012年4月査読有り
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 429 144-154 2012年4月査読有り
The optimal tolerance of uniform observation error for mobile robot convergence.

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

Theoretical Computer Science 444 77-86 2012年
The gathering problem for two oblivious robots with unreliable compasses

Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Défago, Koichi Wada, Masafumi Yamashita

SIAM Journal on Computing 41(1) 26-46 2012年査読有り
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) 7287 548-559 2012年査読有り
Adaptive and doubly-Expedited One-Step Consensus in Byzantine Asynchronous Systems(共著)

Nazreen Banu, Taisuke Izumi, Koichi Wada

Parallel Processing Letters 21(4) 461-477 2011年12月査読有り
Oracle-based flocking of mobile robots in crash-recovery model(共著)

Samia Souissi, Taisuke Izumi, Koichi Wada

Theoretical Computer Science 412(33) 4350-4360 2011年7月査読有り
Distributed Algorithms for Cooperative Mobile Robots: A Survey(共著)

Samia Souissi, Taisuke Izumi, Koichi Wada

Proc. of 2nd International Conference on Networking and Computing (ICNC) 364-371 2011年

もっとみる

MISC

168

Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space.

Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada

CoRR abs/1907.09871 2019年
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights.

Takashi Okumura, Koichi Wada, Xavier Défago

CoRR abs/1804.01368 2018年
On parallel complexity of MapReduce computation (コンピュテーション)

和田幸一, 泉泰介

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(50) 143-147 2013年5月17日
MapReduce計算の並列複雑度について

和田幸一, 泉泰介

研究報告アルゴリズム（AL） 2013(22) 1-5 2013年5月10日
木ネットワークにおける証明書分散問題の近似可能性について

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

第74回全国大会講演論文集 2012(1) 269-270 2012年3月6日
On the complexity of minimum topic-connected overlay problems

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

全国大会講演論文集 2012(1) 267-269 2012年3月6日
分割画像のグラフカットに基づく高速かつ省メモリな画像前景抽出

柴涼介, 泉泰介, 和田幸一

電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition) 95(3) 628-637 2012年3月1日
Complexity of Minimum Certificate Dispersal Problem with Tree Structure

Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada

研究報告アルゴリズム（AL） 2011(3) 1-8 2011年8月30日
局所グラフカットに基づく高速かつ省メモリな画像セグメンテーション

柴涼介, 泉泰介, 和田幸一

研究報告コンピュータビジョンとイメージメディア（CVIM） 2011(22) 1-7 2011年5月12日
DAGを構成する故障封じ込め自己安定プロトコルについて—A Fault-Containing Self-Stabilizing Protocol for Constructing a Directed Acyclic Graph

三浦哲平, 片山喜章, 和田幸一

情報処理学会研究報告 2010年度(6) 1-8 2011年4月
マルコフ動的ネットワークにおける通信効率のよいブロードキャストについて

松原渓, 泉泰介, 和田幸一

電子情報通信学会技術研究報告. COMP, コンピュテーション 110(464) 9-15 2011年3月2日
Adaptive One-Step Byzantine Consensus (アルゴリズム(AL) Vol.2010-AL-128)

BANU NAZREEN, IZUMI TAISUKE, WADA KOICHI

情報処理学会研究報告 2009(5) 1-9 2010年2月
Adaptive One-Step Byzantine Consensus

Nazreen Banu, Taisuke Izumi, Koichi Wada

研究報告アルゴリズム（AL） 2010(2) 1-9 2010年1月19日
Space complexity of self-stabilizing leader election in passively-mobile anonymous agents

Shukai Cai, Taisuke Izumi, Koichi Wada

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5869 113-125 2010年
証明書分散問題の近似可能性について

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

研究報告アルゴリズム（AL） 2009(18) 49-56 2009年2月26日
Brief Announcement: Communication-Efficient Self-stabilizing Protocols for Spanning-Tree Construction

Toshimitsu Masuzawa, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada

PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS 5923 219-+ 2009年
Oracle-based flocking of mobile robots in crash-recovery model

Samia Souissi, Taisuke Izumi, Koichi Wada

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5873 683-697 2009年
Relationship between Approximability and request structures in the minimum certificate dispersal problem

Tomoko Izumi, Taisuke Izumi, Hirotaka Ono, Koichi Wada

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5609 56-65 2009年
Convergence of mobile robots with uniformly-inaccurate sensors

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

LectureNotes in Computer Science 5869 320-333 2009年
Autonomous Market-Based Approach for Resource Allocation in A Cluster-Based Sensor Network

Wei Chen, Heh Miao, Koichi Wada

MCDM: 2009 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE IN MULTI-CRITERIA DECISION-MAKING 3 1-+ 2009年