Research theme for competitive and other funds (6):
2024 - 2028 連続な空間上の計算とその複雑さの研究
2023 - 2028 連続な空間上の計算とその複雑さの研究
2022 - 2024 Verified Exact Computation over Continuous Higher Types
2020 - 2024 Mathematical Foundations of Multi-Agent Optimization
2018 - 2023 Computational complexity of continuous systems
2017 - 2023 Analysis of unbounded scheduling problems
Show all
Papers (4):
Akitoshi Kawamura. Proof of the Density Threshold Conjecture for Pinwheel Scheduling. Proceedings of the 56th Annual ACM Symposium on Theory of Computing. 2024
Toshimasa Ishii, Akitoshi Kawamura, Yusuke Kobayashi, Kazuhisa Makino. Trade-offs among degree, diameter, and number of paths. Discret. Appl. Math. 2023. 327. 96-100
Akitoshi Kawamura, Yusuke Kobayashi. Fence patrolling by mobile agents with distinct speeds. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2012. 7676. 598-608