EN

基本情報

研究

社会活動

その他の活動

泉 泰介

Izumi Taisuke

情報科学研究科 コンピュータサイエンス専攻,准教授

keyword 分散システム アルゴリズム 耐故障システム

研究内容・専門分野

  • 情報通信,計算機システム
  • 情報通信,情報学基礎論

論文

  • Low-Congestion shortcuts without embedding.,Bernhard Haeupler,Taisuke Izumi,Goran Zuzic,Distributed Computing,Vol. 34,No. 1,p. 79-90,2021年,研究論文(学術雑誌)
  • Fast Neighborhood Rendezvous.,Ryota Eguchi,Naoki Kitamura,Taisuke Izumi,International Conference on Distributed Computing Systems (ICDCS),p. 168-178,2020年,研究論文(国際会議プロシーディングス)
  • 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年,研究論文(学術雑誌)
  • 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年,研究論文(学術雑誌)
  • 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年,研究論文(国際会議プロシーディングス)
  • 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年,研究論文(国際会議プロシーディングス)
  • Uniform distribution for Pachinko.,Naoki Kitamura,Yuya Kawabata,Taisuke Izumi,Theor. Comput. Sci.,Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,Vol. 839,p. 103-121,2020年,研究論文(学術雑誌)
  • 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月,研究論文(国際会議プロシーディングス)
  • Sub-Linear Time Aggregation in Probabilistic Population Protocol Model.,Ryota Eguchi,Taisuke Izumi,IEICE Transactions,Vol. 102-A,No. 9,p. 1187-1194,2019年,研究論文(学術雑誌)
  • 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年,研究論文(学術雑誌)
  • 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年,研究論文(学術雑誌)
  • 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.,ACM,p. 60-62,2019年,研究論文(国際会議プロシーディングス)
  • 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.,ACM,p. 84-93,2019年,研究論文(国際会議プロシーディングス)
  • 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.,ACM,p. 300-302,2019年,研究論文(国際会議プロシーディングス)
  • 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.,ACM,p. 511-520,2019年,研究論文(国際会議プロシーディングス)
  • 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,Springer,p. 323-337,2019年,研究論文(国際会議プロシーディングス)
  • 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.,Schloss Dagstuhl - Leibniz-Zentrum für Informatik,2019年,研究論文(国際会議プロシーディングス)
  • 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.,Schloss Dagstuhl - Leibniz-Zentrum für Informatik,2019年,研究論文(国際会議プロシーディングス)
  • On time complexity for connectivity-preserving scattering of mobile robots,Taisuke Izumi,Daichi Kaino,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil,Theoretical Computer Science,Elsevier B.V.,Vol. 738,p. 42-52,2018年08月22日,研究論文(学術雑誌)
  • 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,ACM,p. 241-243,2018年,研究論文(国際会議プロシーディングス)
  • 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,IEEE Computer Society,p. 813-819,2018年,研究論文(国際会議プロシーディングス)
  • Brief announcement: Fast aggregation in population protocols,Ryota Eguchi,Taisuke Izumi,Leibniz International Proceedings in Informatics, LIPIcs,Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing,Vol. 91,p. 49:1-49:3,2017年10月01日,研究論文(国際会議プロシーディングス)
  • Triangle finding and listing in CONGEST networks,Taisuke Izumi,François Le Gall,Proceedings of the Annual ACM Symposium on Principles of Distributed Computing,Association for Computing Machinery,Vol. 129314,p. 381-389,2017年07月26日,研究論文(国際会議プロシーディングス)
  • 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),IEEE COMPUTER SOC,p. 2472-2477,2017年,研究論文(国際会議プロシーディングス)
  • 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),Springer Verlag,Vol. 10236,p. 454-466,2017年,研究論文(国際会議プロシーディングス)
  • 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,IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG,Vol. E99A,No. 12,p. 2147-2154,2016年12月,研究論文(学術雑誌)
  • Improving the lower bound on opaque sets for equilateral triangle,Taisuke Izumi,DISCRETE APPLIED MATHEMATICS,ELSEVIER SCIENCE BV,Vol. 213,p. 130-138,2016年11月,研究論文(学術雑誌)
  • Bounds on Asymptotic Rate of Capacitive Crosstalk Avoidance Codes for On-chip Buses,Tadashi Wadayama,Taisuke Izumi,2016 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY,IEEE,p. 400-404,2016年,研究論文(国際会議プロシーディングス)
  • 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),Springer Verlag,Vol. 9888,p. 158-172,2016年,研究論文(国際会議プロシーディングス)
  • Low-Congestion Shortcuts without Embedding,Bernhard Haeupler,Taisuke Izumi,Goran Zuzic,PROCEEDINGS OF THE 2016 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'16),ASSOC COMPUTING MACHINERY,p. 451-460,2016年,研究論文(国際会議プロシーディングス)
  • Faster Enumeration of All Maximal Cliques in Unit Disk Graphs Using Geometric Structure,Taisuke Izumi,Daisuke Suzuki,IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG,Vol. E98D,No. 3,p. 490-496,2015年03月,研究論文(学術雑誌)
  • 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,Elsevier,Vol. 562,No. C,p. 660-661,2015年,研究論文(学術雑誌)
  • 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,ELSEVIER SCIENCE BV,Vol. 562,p. 660-661,2015年01月,研究論文(学術雑誌)
  • Listing Center Strings Under the Edit Distance Metric,Hiromitsu Maji,Taisuke Izumi,COMBINATORIAL OPTIMIZATION AND APPLICATIONS, (COCOA 2015),SPRINGER INT PUBLISHING AG,Vol. 9486,p. 771-782,2015年,研究論文(国際会議プロシーディングス)
  • 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),Springer Verlag,Vol. 9439,p. 299-312,2015年,研究論文(国際会議プロシーディングス)
  • 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),IEEE,p. 1307-1311,2015年,研究論文(国際会議プロシーディングス)
  • Bitwise MAP Estimation for Group Testing based on Holographic Transformation,Tadashi Wadayama,Taisuke Izumi,Kazushi Mimura,2015 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT),IEEE,p. 2787-2791,2015年,研究論文(国際会議プロシーディングス)
  • Filling Logarithmic Gaps in Distributed Complexity for Global Problems,Hiroaki Ookawa,Taisuke Izumi,SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE,SPRINGER-VERLAG BERLIN,Vol. 8939,p. 377-388,2015年,研究論文(国際会議プロシーディングス)
  • Approximability of Minimum Certificate Dispersal with Tree Structures,Taisuke Izumi,Tomoko Izumi,Hirotaka Ono,Koichi wada,Theoretical Computer Science,2015年01月,研究論文(学術雑誌)
  • 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月,研究論文(国際会議プロシーディングス)
  • Space-efficient self-stabilizing counting population protocols on mobile sensor networks,Tomoko Izumi,Keigo Kinpara,Taisuke Izumi,Koichi Wada,THEORETICAL COMPUTER SCIENCE,ELSEVIER SCIENCE BV,Vol. 552,p. 99-108,2014年10月,研究論文(学術雑誌)
  • 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),IEEE,p. 919-924,2014年,研究論文(国際会議プロシーディングス)
  • 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,SPRINGER-VERLAG BERLIN,Vol. 8889,p. 553-564,2014年,研究論文(国際会議プロシーディングス)
  • Time Lower Bounds for Distributed Distance Oracles,Taisuke Izumi,Roger Wattenhofer,PRINCIPLES OF DISTRIBUTED SYSTEMS, OPODIS 2014,SPRINGER-VERLAG BERLIN,Vol. 8878,p. 60-75,2014年,研究論文(国際会議プロシーディングス)
  • Randomized Lower Bound for Distributed Spanning-Tree Verification,Taisuke Izumi,STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2014,SPRINGER-VERLAG BERLIN,Vol. 8576,p. 137-148,2014年,研究論文(国際会議プロシーディングス)
  • 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月,研究論文(学術雑誌)
  • 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,IEEE COMPUTER SOC,Vol. 24,No. 4,p. 716-723,2013年04月,研究論文(学術雑誌)
  • 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年,研究論文(国際会議プロシーディングス)
  • The optimal tolerance of uniform observation error for mobile robot convergence,Kenta Yamamoto,Taisuke Izumi,Yoshiaki Katayama,Nobuhiro Inuzuka,Koichi Wada,THEORETICAL COMPUTER SCIENCE,ELSEVIER SCIENCE BV,Vol. 444,No. 27,p. 77-86,2012年07月,研究論文(学術雑誌)
  • 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月,研究論文(学術雑誌)
  • 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月,研究論文(学術雑誌)
  • 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,SPRINGER,Vol. 50,No. 3,p. 433-445,2012年04月,研究論文(学術雑誌)
  • 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,ELSEVIER SCIENCE BV,Vol. 429,No. 20,p. 144-154,2012年04月,研究論文(学術雑誌)
  • A New Direction for Counting Perfect Matchings,Taisuke Izumi,Tadashi Wadayama,2012 IEEE 53RD ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS),IEEE,p. 591-598,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),Vol. 7287,p. 548-559,2012年,研究論文(国際会議プロシーディングス)
  • 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,SIAM PUBLICATIONS,Vol. 41,No. 1,p. 26-46,2012年,研究論文(学術雑誌)
  • 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月,研究論文(学術雑誌)
  • 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月,研究論文(学術雑誌)
  • 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年,研究論文(国際会議プロシーディングス)
  • Distributed Algorithms for Cooperative Mobile Robots: A Survey(共著),Samia Souissi,Taisuke Izumi,Koichi Wada,Proc. of 2nd International Conference on Networking and Computing (ICNC),p. 364-371,2011年,研究論文(国際会議プロシーディングス)
  • The BG-simulation for Byzantine Mobile Robots(共著),Taisuke Izumi,Zohir Bouzid,Sébastien Tixeuil,Koichi Wada,Proc. of 25th International Symposium on Distributed Computing(DISC),Vol. 6950,p. 330-+,2011年,研究論文(国際会議プロシーディングス)
  • Physical Expander in Virtual Tree Overlay(共著),Taisuke Izumi,Maria Gradinariu Potop-Butucaru,Mathieu Valero,Proc. of 25th International Symposium on Distributed Computing(DISC),Vol. 6950,p. 82-+,2011年,研究論文(国際会議プロシーディングス)
  • On the Approximability of Minimum Topic Connected Overlay and Its Special Instances(共著),Jun Hosoda,Juraj Hromkovic,Taisuke Izumi,Hirotaka Ono,Monika Steinová,Koichi Wada,Proc. of 36th International Symposium on Mathematical Foundations of Computer Science(MFCS),Vol. 6907,p. 376-387,2011年,研究論文(国際会議プロシーディングス)
  • 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月,研究論文(学術雑誌)
  • The cost of probabilistic agreement in oblivious robot networks(共著),Julien Clement,Xavier Défago,Maria Gradinariu Potop-Butucaru,Taisuke Izumi,Stéphane Messika,Information Processing Letters,Vol. 110,No. 11,p. 431-438,2010年05月,研究論文(学術雑誌)
  • Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks (共著),Keigo Kinpara,Tomoko Izumi,Taisuke Izumi,Koichi Wada,Proceedings of 14th International Conference on Principles of Distributed Systems, OPODIS2010,Vol. 6490,p. 504-+,2010年,研究論文(国際会議プロシーディングス)
  • Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility (共著),Taisuke Izumi,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil,Proceedings of 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS2010,Vol. 6366,p. 319-+,2010年,研究論文(国際会議プロシーディングス)
  • Doubly-expedited one-step Byzantine consensus (共著),Nazreen Banu,Taisuke Izumi,Koichi Wada,Proceedings of IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2010,p. 373-382,2010年,研究論文(国際会議プロシーディングス)
  • Mobile Robots Gathering Algorithm with Local Weak Multiplicity in Rings(共著),Tomoko Izumi,Taisuke Izumi,Sayaka Kamei,Fukuhito Ooshita,Proceedings of 17th International Colloquium on Structural Information and Communication Complexity, SIROCCO2010,Vol. 6058,p. 101-+,2010年,研究論文(国際会議プロシーディングス)
  • Convergence of Mobile Robots with Uniformly-Inaccurate Sensors,Kenta Yamamoto,Taisuke Izumi,Yoshiaki Katayama,Nobuhiro Inuzuka,Koichi Wada,STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY,SPRINGER-VERLAG BERLIN,Vol. 5869,p. 309-322,2010年,研究論文(国際会議プロシーディングス)
  • Space Complexity of Self-stabilizing Leader Election in Passively-Mobile Anonymous Agents,Shukai Cai,Taisuke Izumi,Koichi Wada,STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY,SPRINGER-VERLAG BERLIN,Vol. 5869,p. 113-125,2010年,研究論文(国際会議プロシーディングス)
  • 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月,研究論文(学術雑誌)
  • 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月,研究論文(学術雑誌)
  • A Message-Efficient Peer-to-Peer Search Protocol Based on Adaptive Index Dissemination,呉エキ,泉泰介,大下福仁,角川裕次,増澤利光,IEICE Transactions on Information and Systems 電子情報通信学会,Vol. E92-D,No. 2,p. 258-268,2009年02月,研究論文(学術雑誌)
  • Brief Announcement: Communication-Efficient Self-stabilizing Protocols for Spanning-Tree Construction,Toshimitsu Masuzawa,Taisuke Izumi,Yoshiaki Katayama,Koichi Wada,PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS,SPRINGER-VERLAG BERLIN,Vol. 5923,p. 219-+,2009年,研究論文(国際会議プロシーディングス)
  • 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),IEEE,p. 26-+,2009年,研究論文(国際会議プロシーディングス)
  • Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model,Samia Souissi,Taisuke Izumi,Koichi Wada,STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS,SPRINGER-VERLAG BERLIN,Vol. 5873,p. 683-697,2009年,研究論文(国際会議プロシーディングス)
  • Relationship between Approximability and Request Structures in the Minimum Certificate Dispersal Problem,Tomoko Izumi,Taisuke Izumi,Hirotaka Ono,Koichi Wada,COMPUTING AND COMBINATORICS, PROCEEDINGS,SPRINGER-VERLAG BERLIN,Vol. 5609,p. 56-+,2009年,研究論文(国際会議プロシーディングス)
  • 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月,研究論文(国際会議プロシーディングス)
  • 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月,研究論文(学術雑誌)
  • Move-optimal Gossiping among Mobile Agents,鈴木朋子,泉泰介,大下福仁,角川裕次,増澤利光,Theoretical Computer Science Elsevier,Vol. 393,No. 1-3,p. 90-101,2008年03月,研究論文(学術雑誌)
  • 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,SPRINGER-VERLAG BERLIN,Vol. 5058,p. 5-19,2008年,研究論文(国際会議プロシーディングス)
  • Adaptive timeliness of consensus in presence of crash and timing faults,Taisuke Izumi,Akinori Saitoh,Toshimitsu Masuzawa,JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING,ACADEMIC PRESS INC ELSEVIER SCIENCE,Vol. 67,No. 6,p. 648-658,2007年06月,研究論文(学術雑誌)
  • Optimal moves for gossiping among mobile agents,Tomoko Suzuki,Taisuke Izumi,Fukuhito Ooshita,Hirotsugu Kakugawa,Toshimitsu Masuzawa,STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, PROCEEDINGS,SPRINGER-VERLAG BERLIN,Vol. 4474,p. 151-+,2007年,研究論文(国際会議プロシーディングス)
  • On the probabilistic omission adversary,Taisuke Izumi,Koichi Wada,STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS,SPRINGER-VERLAG BERLIN,Vol. 4838,p. 357-+,2007年,研究論文(国際会議プロシーディングス)
  • Gathering autonomous mobile robots with dynamic compasses: An optimal result,Taisuke Izumi,Yoshiaki Katayama,Nobuhiro Inuzuka,Koichi Wada,DISTRIBUTED COMPUTING, PROCEEDINGS,SPRINGER-VERLAG BERLIN,Vol. 4731,p. 298-+,2007年,研究論文(国際会議プロシーディングス)
  • 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,IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG,Vol. E90D,No. 1,p. 314-324,2007年01月,研究論文(学術雑誌)
  • A Weakly-Adaptive Condition-Based Consensus Algorithm in Asynchronous Distributed Systems,泉泰介,増沢利光,Information Processing Letters Elsevier,Vol. 100,No. 5,p. 199-205,2006年12月,研究論文(学術雑誌)
  • Condition adaptation in synchronous consensus,Taisuke Izumi,Toshimitsu Masuzawa,IEEE TRANSACTIONS ON COMPUTERS,IEEE COMPUTER SOC,Vol. 55,No. 7,p. 843-853,2006年07月,研究論文(学術雑誌)
  • 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年,研究論文(国際会議プロシーディングス)
  • 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,SPRINGER-VERLAG BERLIN,Vol. 3853,p. 281-293,2006年,研究論文(学術雑誌)
  • 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,SPRINGER-VERLAG BERLIN,Vol. 4280,p. 586-+,2006年,研究論文(国際会議プロシーディングス)
  • Timed uniform atomic broadcast in presence of crash and timing faults,T Izumi,T Masuzawa,IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG,Vol. E88D,No. 1,p. 72-81,2005年01月,研究論文(学術雑誌)
  • Timed uniform consensus resilient to crash and timing faults,T Izumi,A Saitoh,T Masuzawa,2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS,IEEE COMPUTER SOC,p. 243-252,2004年,研究論文(国際会議プロシーディングス)

MISC

  • 通信複雑性理論入門 - 基礎と情報理論からのアプローチ,泉 泰介,IEICE ESS Fundamentals Review,電子情報通信学会,Vol. 10,No. 1,p. 46-56,2016年07月02日,記事・総説・解説・論説等(学術雑誌)

作品

  • OPODIS2018プログラム委員,2018年04月 ~ 2018年12月
  • PDAA2018プログラム委員,2018年04月 ~ 2018年11月
  • SSS2018プログラム委員長,2018年01月 ~ 2018年11月
  • SIROCCO2018プログラム委員,2018年01月 ~ 2018年07月
  • LATIN2018プログラム委員,2017年08月 ~ 2018年04月
  • OPODIS2017プログラム委員,2017年04月 ~ 2017年12月
  • ISAAC2017プログラム委員,2017年04月 ~ 2017年12月
  • PDAA2017プログラム委員,2017年04月 ~ 2017年11月
  • SSS2017プログラム委員,2017年01月 ~ 2017年11月
  • ICDCN2016プログラム委員,2016年05月 ~ 2017年01月
  • OPODIS2015プログラム委員,2015年06月 ~ 2016年12月
  • PDAA2016プログラム委員,2016年04月 ~ 2016年11月
  • SSS2016プログラム委員,2016年01月 ~ 2016年10月
  • ISAAC2015実行委員,2014年08月 ~ 2015年12月
  • PDAA2015プログラム委員,2015年04月 ~ 2015年11月
  • SRDS2015プログラム委員,2015年01月 ~ 2015年10月
  • DISC2015プログラム委員,2014年11月 ~ 2015年10月
  • SSS2015プログラム委員,2015年01月 ~ 2015年08月
  • SIROCCO2015プログラム委員,2015年01月 ~ 2015年07月
  • SOFSEM2015プログラム委員,2014年05月 ~ 2015年01月
  • SRDS2014プログラム委員,2014年01月 ~ 2014年10月
  • SSS2014プログラム委員,2014年01月 ~ 2014年09月
  • SIROCCO2014開催委員長,2013年07月 ~ 2014年07月
  • SSS2013 実行委員,2013年03月 ~ 2013年11月
  • ALGOSENSOR2013 プログラム委員,2013年02月 ~ 2013年09月
  • PDAA2012 プログラム委員,2012年08月 ~ 2012年12月
  • SSS2012 プログラム委員,2012年04月 ~ 2012年11月
  • SIROCCO2011プログラム委員,2011年02月 ~ 2011年06月

受賞

  • 第一回嵩賞,-,2007年04月
  • 大阪大学論文100選 2006-2007,-,2007年04月
  • 最優秀論文賞 国際会議 The 3rd Workshop on Self-Adaptable and Autonomic Computing,-,2003年04月

講演・口頭発表等

  • 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日
  • 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日
  • Fast Aggregation in Population Protocols,Ryota Eguchi,Taisuke Izumi,International Symposium on Distributed Computing,2017年10月16日
  • ネットワーク上の分散グラフアルゴリズムと最適化,泉 泰介,RIMS組み合わせ最適化セミナー,2017年07月27日
  • Triangle Findings and Listing in CONGEST Networks,Taisuke Izumi,Francois Le Gall,ACM Symposium on Principles of Distributed Computing,2017年07月25日
  • Low-Congestion Shortcut and Graph Classes,Taisuke Izumi,Workshop on Advanced Distributed Algorithms,2016年11月22日
  • Low-Congestion Shortcut and Graph Classes,Taisuke Izumi,Workshop on Advanced Distributed Algorithms,2016年11月22日
  • Near-Optimal Low-Congestion Shortcuts on Bounded Parameter Graphs,Bernhard Haeupler,Taisuke Izumi,Goran Zuzic,International Symposium on Distributed Computing,2016年09月27日
  • 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日
  • Uniform Distribution of Pachinko,Naoki Kitamura,Yuya Kawabata,Taisuke Izumi,Japan Conference on Discrete and Computational Geometry, Graphs, and Games,2016年09月02日
  • Low-Congestion Shortcut without Embedding,Bernhard Haeupler,Taisuke Izumi,Goran Zuzic,ACM Symposium on Principles of Distributed Computing,2016年07月26日
  • 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日
  • 通信複雑性入門,泉 泰介,電子情報通信学会情報理論研究会,2015年11月24日
  • Local Algorithms for Mobile Robots: From Solvability to Complexity,Taisuke Izumi,DISC Workshop on Distributed Robotic Swarms,2015年10月05日
  • Local Algorithms for Mobile Robots: From Solvability to Complexity,Taisuke Izumi,DISC Workshop on Distributed Robotic Swarms,2015年10月05日
  • 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日
  • 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日
  • 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日
  • 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日
  • Time Lower Bounds for Distributed Distance Oracles,Taisuke Izumi,Roger Wattenhofer,The 18th International Conference on Principles of Distributed Systems,2014年12月16日
  • 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日
  • 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日
  • Randomized Lower Bound for Distributed Spanning-Tree Verification,Taisuke Izumi,21st International Colloquium on Structural Information and Communication Complexity,2014年07月23日
  • 直径計算の分散近似に対する時間複雑さ,泉 泰介,Roger Wattenhofer,電子情報通信学会コンピュテーション研究会,2014年03月10日
  • 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日
  • Scalable Estimation of Network Average Degree,Taisuke Izumi,Hironobu Kanzak,15th International Symposium on Stabilization, Safety, and Security of Distributed Systems,2013年11月13日
  • A New Direction for Counting Perfect Matchings,Taisuke Izumi,Wadayama Tadashi,53rd Annual IEEE Symposium on Foundations of Computer Science,2012年10月20日
  • A New Direction for Counting Perfect Matchings,泉 泰介,和田山 正,電子情報通信学会コンピュテーション研究会,2012年09月03日
  • 完全ネットワーク上で最小生成木問題を解く新しい分散アルゴリズム,Taisuke Izumi,Tomoko Izumi,2012年夏のLAシンポジウム,2012年07月17日
  • Minimum Certificate Dispersal with Tree Structure,Taisuke Izumi,Tomoko Izumi,Hirotaka Ono,Koichi Wada,Minimum Certificate Dispersal with Tree Structure,2012年05月16日
  • 完全マッチング数え上げの高速な指数時間アルゴリズムについて,泉 泰介,和田山 正,2011年冬のLAシンポジウム,2012年01月30日
  • 符号理論と完全マッチング計数問題の接点について,泉 泰介,和田山 正,電子情報通信学会コンピュテーション研究会,2011年12月16日
  • 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日
  • Physical Expander in Virtual Tree Overlay,Taisuke Izumi,Maria Gradinariu Potop-Butucaru,Mathieu Valero,25th International Symposium on Distributed Computing(DISC),2011年09月20日
  • 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日
  • 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成,泉泰介,Maria Gradinariu Potop-Butucaru,Mathieu Valero,2011年夏のLAシンポジウム,2011年07月19日

委員歴

  • 学協会,電子情報通信学会,電子情報通信学会基礎・境界ソサイエティ 和文・英文論文誌 編集委員,2020年06月 ~ 2024年05月
  • International Conference on Distributed Computing and Networking (ICDCN 2022) プログラム委員,2021年04月 ~ 2022年01月
  • International Symposium On Reliable Distributed Systems (SRDS2021) プログラム委員,2021年04月 ~ 2021年11月
  • International Workshop on Combinatorial Algorithms (IWOCA 2021) プログラム委員,2021年03月 ~ 2021年07月
  • International Colloquium on Structural Information and Communication Complexity (SIROCCO 2021) プログラム委員,2021年01月 ~ 2021年07月
  • International Conference on Distributed Computing Systems (ICDCS 2021) プログラム委員,2020年12月 ~ 2021年07月
  • International Conference on Distributed Computing and Networking (ICDCN 2021) プログラム委員,2020年07月 ~ 2021年01月
  • International Conference on Principles of Distributed Systems (OPODIS 2020) プログラム委員,2020年06月 ~ 2020年12月
  • 27th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2020) プログラム委員,2020年01月 ~ 2020年07月
  • ACM Symposium on Principle of Distributed Computing (PODC 2020) プログラム委員,2020年01月 ~ 2020年07月
  • 学協会,電子情報通信学会,電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員長,2017年03月 ~ 2019年03月
  • 学協会,電子情報通信学会,電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員,2016年03月 ~ 2017年03月
  • 学協会,電子情報通信学会,電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員,2015年03月 ~ 2016年03月
  • 学協会,電子情報通信学会,電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員,2013年03月 ~ 2014年03月
  • 学協会,電子情報通信学会,電子情報通信学会英文誌D「並列分散コンピューティングとネットワーキング小特集号」 編集委員,2012年07月 ~ 2013年12月
  • 学協会,電子情報通信学会,電子情報通信学会英文論文誌A「離散数学とその応用小特集号」 編集委員,2012年09月 ~ 2013年06月
  • 学協会,電子情報通信学会,電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員,2012年01月 ~ 2013年03月