教員紹介 - 増澤　利光 | ノートルダム清心女子大学

マスザワ　トシミツ
増澤　利光

所属

ノートルダム清心女子大学情報デザイン学部情報デザイン学科

職種教授

著書・論文歴
著書	Stabilization, Safety, and Security of Distributed Systems 2013/11
著書	Principles of Distributed Systems 2010/12
著書	適応的分散アルゴリズム (共著) 2010/06
著書	Stabilization, Safety, and Security of Distributed Systems 2007/11
著書	Biologically Inspired Approaches to Advanced Information Technology 2006/01
著書	計算困難問題に対するアルゴリズム理論 (共著) 2005/12
著書	アルゴリズム論 (共著) 2003/07
著書	アルゴリズム工学計算困難問題への挑戦 (共著) 2001/06
論文	Near-linear time dispersion of mobile agents. Distributed Computing 39 (1) (共著) 2026/03
論文	Independent set reconfiguration under bounded-hop token jumping. Theor. Comput. Sci. 1062,115651-115651頁 (共著) 2026/02
論文	Uniform Deployment of Mobile Robots in Complete Bipartite Graphs. Proceedings of the 29th International Conference on Principles of Distributed Systems (OPODIS 2025),34:1-34:17頁 (共著) 2025/12
論文	Brief Announcement: Hardness of Approximate Vertex Ranking by Betweenness Centrality in the CONGEST Model. SIROCCO,431-436頁 (共著) 2025/06
論文	Deterministic fault-tolerant connectivity labeling scheme. Distributed Computing 38 (1),31-50頁 (共著) 2025/03
論文	Approximation hardness of domination problems on generalized convex graphs. Theor. Comput. Sci. 1028,115035-115035頁 (共著) 2025/02
論文	Independent Set Reconfiguration Under Bounded-Hop Token Jumping. WALCOM,215-228頁 (共著) 2025/02
論文	Crash-Tolerant Exploration of Trees by Energy-Sharing Mobile Agents. Proceedings of the 28th International Conference on Principles of Distributed Systems (OPODIS 2024),9:1-9:16頁 (共著) 2024/12
論文	A nearly linear time construction of approximate single-source distance sensitivity oracles. Proceedings of the 32nd Annual European Symposium on Algorithms (ESA 2024),65:1-65:18頁 (共著) 2024/09
論文	Independent Set Reconfiguration Under Bounded-Hop Token. CoRR abs/2407.11768 (共著) 2024/07
論文	Brief Announcement: Crash-Tolerant Exploration of Trees by Energy Sharing Mobile Agents. Proceedings of the 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND),25:1-25:5頁 (共著) 2024/05
論文	Near-Linear Time Dispersion of Mobile Agents. Proceedings of the 38th International Symposium on Distributed Computing (DISC 2024),38:1-38:22頁 (共著) 2024
論文	Loosely-Stabilizing Algorithm on Almost Maximal Independent Set. IEICE Transactions on Information & Systems 106 (11),1762-1771頁 (共著) 2023/11
論文	Near-linear Time Dispersion of Mobile Agents. CoRR abs/2310.04376 (共著) 2023/10
論文	A Near Time-optimal Population Protocol for Self-stabilizing Leader Election on Rings with a Poly-logarithmic Number of States. Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing (PODC 2023),2-12頁 (共著) 2023/06/16
論文	Deterministic fault-tolerant connectivity labeling scheme. Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing (PODC 2023),190-199頁 (共著) 2023/06/16
論文	Atomic cross-chain swaps with improved space, time and local time complexities. Information and Computation 292,1-11頁 (共著) 2023/06
論文	A Self-Stabilizing Distributed Algorithm for the Generalized Dominating Set Problem With Safe Convergence. COMPUTER JOURNAL (共著) 2023/01
論文	Computational Power of a Single Oblivious Mobile Agent in Two-Edge-Connected Graphs. Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS 2022),11:1-11:18頁 (共著) 2022/12
論文	Gathering of mobile robots with defected views. Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS 2022),14:1-14:18頁 (共著) 2022/12
論文	Invited Paper:: One Bit Agent Memory is Enough for Snap-Stabilizing Perpetual Exploration of Cactus Graphs with Distinguishable Cycles. Proceedings of the 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2022),19-34頁 (共著) 2022/11/09
論文	Brief Announcement: Gathering Despite Defected View. Proceedings of the 36th International Symposium on Distributed Computing (DISC 2022),46:1-46:3頁 (共著) 2022/10
論文	Gathering Despite Defected View. CoRR abs/2208.08159 (共著) 2022/08
論文	Self-Stabilizing Population Protocols With Global Knowledge. IEEE Transactions on Parallel and Distributed Systems 32 (12),3011-3023頁 (共著) 2021/12/01
論文	Time-Optimal Self-Stabilizing Leader Election on Rings in Population Protocols. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E104.A (12),1675-1684頁 (共著) 2021/12/01
論文	Exploration of dynamic networks: Tight bounds on the number of agents. Journal of Computer and System Sciences 122,1-18頁 (共著) 2021/12
論文	A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing. Proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021),141-153頁 (共著) 2021/11
論文	Loosely-Stabilizing Maximal Independent Set Algorithms with Unreliable Communications. Proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021),335-349頁 (共著) 2021/11
論文	Time-optimal loosely-stabilizing leader election in population protocols. Proceedings of the 35th International Symposium on Distributed Computing (DISC 2021),40:1-40:17頁 (共著) 2021/10
論文	A cooperative partial snapshot algorithm for checkpoint‐rollback recovery of large‐scale and dynamic distributed systems and experimental evaluations. Concurrency and Computation: Practice and Experience 33 (12) (共著) 2021/06/25
論文	A self‐stabilizing algorithm for constructing a maximal ( σ , τ )‐directed acyclic mixed graph. Concurrency and Computation: Practice and Experience 33 (12) (共著) 2021/06/25
論文	A self-stabilizing algorithm for constructing a minimal reachable directed acyclic graph with two senders and two targets. Theoretical Computer Science 874,1-14頁 (共著) 2021/05
論文	A Self-stabilizing 1-maximal Independent Set Algorithm. Journal of Information Processing 29 (0),247-255頁 (共著) 2021/03
論文	Exploration of dynamic tori by multiple agents. Theoretical Computer Science 850,202-220頁 (共著) 2021/01
論文	Self-stabilizing token distribution on trees with constant space. Journal of Parallel and Distributed Computing 146,201-211頁 (共著) 2020/12
論文	Time-Optimal Leader Election in Population Protocols. IEEE Transactions on Parallel and Distributed Systems 31 (11),2620-2632頁 (共著) 2020/11/01
論文	Efficient Dispersion of Mobile Agents without Global Knowledge. Proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2020),280-294頁 (共著) 2020/11
論文	Time-Optimal Self-stabilizing Leader Election on Rings in Population Protocols. Proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2020),301-316頁 (共著) 2020/11
論文	Communication Efficient Self-Stabilizing Leader Election. Proc. the 34th International Symposium on Distributed Computing (DISC 2020),11-19頁 (共著) 2020/10
論文	The Power of Global Knowledge on Self-stabilizing Population Protocols. Proceedings of the 27th International Colloquium on Structural Information and Communication Complexity (SIROCCO),237-254頁 (共著) 2020/07
論文	Dynamic Ring Exploration with (H,S) View. Algorithms 13 (6),141-141頁 (共著) 2020/06/12
論文	Move-optimal partial gathering of mobile agents without identifiers or global knowledge in asynchronous unidirectional rings. Theoretical Computer Science 822,92-109頁 (共著) 2020/06
論文	The Power of Global Knowledge on Self-stabilizing Population Protocols. Proceedings of the 27th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2020),237-254頁 (共著) 2020/06
論文	Loosely Stabilizing Leader Election on Arbitrary Graphs in Population Protocols without Identifiers or Random Numbers. IEICE Transactions on Information and Systems E103.D (3),489-499頁 (共著) 2020/03/01
論文	Leader Election Requires Logarithmic Time in Population Protocols Parallel Processing Letters 30 (1),2050005-13頁 (共著) 2020/03
論文	Tight bounds on distributed exploration of temporal graphs. Proceedings of the 23rd International Conference on Principles of Distributed Systems (OPODIS 2020),22:1-22:16頁 (共著) 2020/02/01
論文	Loosely-stabilizing leader election with polylogarithmic convergence time. Theoretical Computer Science 806,617-631頁 (共著) 2020/02
論文	Space-efficient uniform deployment of mobile agents in asynchronous unidirectional rings. Theoretical Computer Science 809,357-371頁 (共著) 2020/02
論文	A Self-stabilizing 1-maximal Independent Set Algorithm. Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019) 29 (0),247-255頁 (共著) 2019/10
論文	Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity. Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019,194-208頁 (共著) 2019/10
論文	Exploration of dynamic ring networks by a single agent with the H-hops and S-time steps view. Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019),165-177頁 (共著) 2019/10
論文	Improved-Zigzag: An improved local-information based self-optimizing routing algorithm in virtual grid networks. Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019),228-242頁 (共著) 2019/10
論文	A Population Protocol Model with Interaction Probability Considering Speeds of Agents. 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019),2113-2122頁 (共著) 2019/07
論文	A Self-Stabilizing Algorithm for Constructing ST-Reachable Directed Acyclic Graph When lS\| ≤ 2 and \|T\| ≤ 2. Proceedings of the 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019),2228-2237頁 (共著) 2019/07
論文	A Strongly-Stabilizing Protocol for Spanning Tree Construction Against a Mobile Byzantine Fault. Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019),353-356頁 (共著) 2019/07
論文	Energy Balancing by Wireless Energy Transfer in Sensor Networks. International Journal of Networking and Computing 9 (2),239-256頁 (共著) 2019/07
論文	Logarithmic Expected-Time Leader Election in Population Protocol Model. Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC 2019),60-62頁 (共著) 2019/07
論文	Partial Gathering of Mobile Agents Without Identifiers or Global Knowledge in Asynchronous Unidirectional Rings. Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019),277-292頁 (共著) 2019/07
論文	Distributed online data aggregation in dynamic graphs. Proceedings of the 7th International Conference on Networked Systems (NETYS 2019),365-380頁 (共著) 2019/06
論文	Loosely-Stabilizing Leader Election for Arbitrary Graphs in Population Protocol Model. IEEE Transactions on Parallel and Distributed Systems 30 (6),1359-1373頁 (共著) 2019/06
論文	Partial gathering of mobile agents in arbitrary networks. IEICE Transactions on Information and Systems E102-D (3),444-453頁 (共著) 2019/03
論文	A Self-stabilizing 1-Maximal Independent Set Algorithm. Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019) 11914,338-353頁 (共著) 2019
論文	Atomic Cross-Chain Swaps with Improved Space and Time Complexity. CoRR abs/1905.09985 (共著) 2019
論文	Loosely-stabilizing Leader Election with Polylogarithmic Convergence Time. Proceedings of the 22nd International Conference on Principles of Distributed Systems (OPODIS 2018),30:1-30:16頁 (共著) 2018/12
論文	Self-Stabilizing Token Distribution with Constant-Space for Trees. Proceedings of the 22nd International Conference on Principles of Distributed Systems (OPODIS 2018),31:1-31:16頁 (共著) 2018/12
論文	A cooperative partial snapshot algorithm for checkpoint-rollback recovery of large-scale and dynamic distributed systems. Proceedings of the 6th International Symposium on Computing and Networking, CANDAR Workshop,285-291頁 (共著) 2018/11
論文	Energy Balancing by Wireless Energy Transfer in Sensor Networks. Proceedings of the 6th International Symposium on Computing and Networking, CANDAR Workshop,337-343頁 (共著) 2018/11