Akitoshi Kawamura

71 papers A* 6A 2B 7C 7Journal 41Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Computer-Assisted Proof of the Optimal Density Bound for Pinwheel Covering. CoRR Akitoshi Kawamura, Yusuke Kobayashi
2025	—	`conf`	Pinwheel Covering. CIAC (2) Akitoshi Kawamura, Yusuke Kobayashi, Yosuke Kusano
2025	A*	`conf`	The Ultimate Signs of Second-Order Holonomic Sequences. ICALP Fugen Hagihara, Akitoshi Kawamura
2025	J	`jnl`	The Ultimate Signs of Second-Order Holonomic Sequences. CoRR Fugen Hagihara, Akitoshi Kawamura
2024	A*	`conf`	Proof of the Density Threshold Conjecture for Pinwheel Scheduling. STOC Akitoshi Kawamura
2024	—	`conf`	Reachability in Linear Recurrence Automata. RP Mika Hirvensalo, Akitoshi Kawamura, Igor Potapov, Takao Yuyama
2023	C	`conf`	Elementarily Traceable Irrational Numbers. CiE Keita Hiroshima, Akitoshi Kawamura
2023	J	`jnl`	Trade-offs among degree, diameter, and number of paths. Discret. Appl. Math. Toshimasa Ishii, Akitoshi Kawamura, Yusuke Kobayashi, Kazuhisa Makino
2022	A	`conf`	Online Scheduling on Identical Machines with a Metric State Space. STACS Hiromichi Goko, Akitoshi Kawamura, Yasushi Kawase, Kazuhisa Makino, Hanna Sumita
2022	J	`jnl`	Weight balancing on boundaries. J. Comput. Geom. Luis Barba, Otfried Cheong, Michael Gene Dobbins, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yoshio Okamoto, János Pach, Yuan Tang, Takeshi Tokuyama, Sander Verdonschot
2020	J	`jnl`	Simple strategies versus optimal schedules in multi-agent patrolling. Theor. Comput. Sci. Akitoshi Kawamura, Makoto Soejima
2019	J	`jnl`	A lower bound on opaque sets. Comput. Geom. Akitoshi Kawamura, Sonoko Moriyama, Yota Otachi, János Pach
2019	J	`jnl`	Higher-order Complexity Theory and its Applications (NII Shonan Meeting 151). NII Shonan Meet. Rep. Bruce M. Kapron, Akitoshi Kawamura, Florian Steinberg
2019	C	`conf`	Second-Order Linear-Time Computability with Applications to Computable Analysis. TAMC Akitoshi Kawamura, Florian Steinberg, Holger Thies
2019	J	`jnl`	Sequentially Swapping Colored Tokens on Graphs. J. Graph Algorithms Appl. Katsuhisa Yamanaka, Erik D. Demaine, Takashi Horiyama, Akitoshi Kawamura, Shin-Ichi Nakano, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno
2018	B	`conf`	Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. MFCS Akitoshi Kawamura, Holger Thies, Martin Ziegler
2018	J	`jnl`	Invitation to Real Complexity Theory: Algorithmic Foundations to Reliable Numerics with Bit-Costs. CoRR Akitoshi Kawamura, Martin Ziegler
2018	J	`jnl`	On characterizations of randomized computation using plain Kolmogorov complexity. Comput. Shuichi Hirahara, Akitoshi Kawamura
2018	C	`conf`	Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. WoLLIC Akitoshi Kawamura, Florian Steinberg, Holger Thies
2018	J	`jnl`	Quantitatively Admissible Representations and the "Main Theorem" of Type-2 COMPLEXITY Theory. CoRR Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova, Martin Ziegler
2017	J	`jnl`	Folding and Punching Paper. J. Inf. Process. Yasuhiko Asao, Erik D. Demaine, Martin L. Demaine, Hideaki Hosaka, Akitoshi Kawamura, Tomohiro Tachi, Kazune Takahashi
2017	J	`jnl`	Morpion Solitaire 5D: A new upper bound of 121 on the maximum score. Inf. Process. Lett. Akitoshi Kawamura, Yuichi Tatsu, Yushi Uno, Masahide Yamato
2017	J	`jnl`	On the computational complexity of the Dirichlet Problem for Poisson's Equation. Math. Struct. Comput. Sci. Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
2017	B	`conf`	Polynomial Running Times for Polynomial-Time Oracle Machines. FSCD Akitoshi Kawamura, Florian Steinberg
2017	J	`jnl`	Polynomial running times for polynomial-time oracle machines. CoRR Akitoshi Kawamura, Florian Steinberg
2017	B	`conf`	Sequentially Swapping Colored Tokens on Graphs. WALCOM Katsuhisa Yamanaka, Erik D. Demaine, Takashi Horiyama, Akitoshi Kawamura, Shin-Ichi Nakano, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno
2017	J	`jnl`	Thin strip graphs. Discret. Appl. Math. Takashi Hayashi, Akitoshi Kawamura, Yota Otachi, Hidehiro Shinohara, Koichi Yamazaki
2016	A*	`conf`	A Lower Bound on Opaque Sets. SoCG Akitoshi Kawamura, Sonoko Moriyama, Yota Otachi, János Pach
2016	A*	`conf`	Complexity Theory of (Functions on) Compact Metric Spaces. LICS Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
2016	C	`conf`	Towards Computational Complexity Theory on Advanced Function Spaces in Analysis. CiE Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
2015	J	`jnl`	Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy. J. Complex. Akitoshi Kawamura, Norbert Th. Müller, Carsten Rösnick, Martin Ziegler
2015	J	`jnl`	Fence patrolling by mobile agents with distinct speeds. Distributed Comput. Akitoshi Kawamura, Yusuke Kobayashi
2015	J	`jnl`	Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392). Dagstuhl Reports Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, Arno Pauly
2015	J	`jnl`	On Minimum- and Maximum-Weight Minimum Spanning Trees with Neighborhoods. Theory Comput. Syst. Reza Dorrigiv, Robert Fraser, Meng He, Shahin Kamali, Akitoshi Kawamura, Alejandro López-Ortiz, Diego Seco
2015	C	`conf`	Simple Strategies Versus Optimal Schedules in Multi-agent Patrolling. CIAC Akitoshi Kawamura, Makoto Soejima
2015	J	`jnl`	Weight Balancing on Boundaries and Skeletons. CoRR Luis Barba, Otfried Cheong, Jean-Lou De Carufel, Michael Gene Dobbins, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yoshio Okamoto, János Pach, Yuan Tang, Takeshi Tokuyama, Sander Verdonschot, Tianhao Wang
2014	J	`jnl`	A lower bound on opaque sets. CoRR Akitoshi Kawamura, Sonoko Moriyama, Yota Otachi, János Pach
2014	J	`jnl`	Computational Complexity of Smooth Differential Equations. Log. Methods Comput. Sci. Akitoshi Kawamura, Hiroyuki Ota, Carsten Rösnick, Martin Ziegler
2014	J	`jnl`	Fence patrolling by mobile agents with distinct speeds. CoRR Akitoshi Kawamura, Yusuke Kobayashi
2014	C	`conf`	Function Spaces for Second-Order Polynomial Time. CiE Akitoshi Kawamura, Arno Pauly
2014	—	`conf`	On Characterizations of Randomized Computation Using Plain Kolmogorov Complexity. MFCS (2) Shuichi Hirahara, Akitoshi Kawamura
2014	J	`jnl`	On function spaces and polynomial-time computability. CoRR Akitoshi Kawamura, Arno Pauly
2014	J	`jnl`	Simple strategies versus optimal schedules in multi-agent patrolling. CoRR Akitoshi Kawamura, Makoto Soejima
2014	—	`conf`	Small Complexity Classes for Computable Analysis. MFCS (2) Akitoshi Kawamura, Hiroyuki Ota
2014	A*	`conf`	Weight Balancing on Boundaries and Skeletons. SoCG Luis Barba, Otfried Cheong, Jean-Lou De Carufel, Michael Gene Dobbins, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yoshio Okamoto, János Pach, Yuan Tang, Takeshi Tokuyama, Sander Verdonschot, Tianhao Wang
2013	J	`jnl`	Complexity Theory for Operators in Analysis CoRR Akitoshi Kawamura, Stephen A. Cook
2013	J	`jnl`	Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation (NII Shonan Meeting 2013-13). NII Shonan Meet. Rep. Akitoshi Kawamura, Jean-Yves Marion, David Nowak
2013	—	`conf`	Morpion Solitaire 5D: a new upper bound 121 on the maximum score. CCCG Akitoshi Kawamura, Takuma Okamoto, Yuichi Tatsu, Yushi Uno, Masahide Yamato
2013	J	`jnl`	Morpion Solitaire 5D: a new upper bound of 121 on the maximum score. CoRR Akitoshi Kawamura, Takuma Okamoto, Yuichi Tatsu, Yushi Uno, Masahide Yamato
2013	B	`conf`	The Distance 4-Sector of Two Points Is Unique. ISAAC Robert Fraser, Meng He, Akitoshi Kawamura, Alejandro López-Ortiz, J. Ian Munro, Patrick K. Nicholson
2012	J	`jnl`	Complexity Theory for Operators in Analysis. ACM Trans. Comput. Theory Akitoshi Kawamura, Stephen A. Cook
2012	B	`conf`	Computational Complexity of Smooth Differential Equations. MFCS Akitoshi Kawamura, Hiroyuki Ota, Carsten Rösnick, Martin Ziegler
2012	B	`conf`	Fence Patrolling by Mobile Agents with Distinct Speeds. ISAAC Akitoshi Kawamura, Yusuke Kobayashi
2012	B	`conf`	On Minimum-and Maximum-Weight Minimum Spanning Trees with Neighborhoods. WAOA Reza Dorrigiv, Robert Fraser, Meng He, Shahin Kamali, Akitoshi Kawamura, Alejandro López-Ortiz, Diego Seco
2012	J	`jnl`	Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime CoRR Akitoshi Kawamura, Norbert Th. Müller, Carsten Rösnick, Martin Ziegler
2011	—	`—`	Computational Complexity in Analysis and Geometry. Akitoshi Kawamura
2011	J	`jnl`	Generalized Semimagic Squares for Digital Halftoning. Theory Comput. Syst. Akitoshi Kawamura
2010	A*	`conf`	Complexity theory for operators in analysis. STOC Akitoshi Kawamura, Stephen A. Cook
2010	—	`conf`	Distance SCG Keiko Imai, Akitoshi Kawamura, Jirí Matousek, Daniel Reem, Takeshi Tokuyama
2010	J	`jnl`	Distance k-sectors exist. Comput. Geom. Keiko Imai, Akitoshi Kawamura, Jirí Matousek, Daniel Reem, Takeshi Tokuyama
2010	J	`jnl`	Generalized Semimagic Squares for Digital Halftoning CoRR Akitoshi Kawamura
2010	J	`jnl`	Lipschitz Continuous Ordinary Differential Equations are Polynomial-Space Complete CoRR Akitoshi Kawamura
2010	J	`jnl`	Lipschitz Continuous Ordinary Differential Equations are Polynomial-Space Complete. Comput. Complex. Akitoshi Kawamura
2010	J	`jnl`	VC Dimensions of Principal Component Analysis. Discret. Comput. Geom. Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano
2010	—	`conf`	Zone diagrams in Euclidean spaces and in other normed spaces. SCG Akitoshi Kawamura, Jirí Matousek, Takeshi Tokuyama
2009	J	`jnl`	Differential recursion. ACM Trans. Comput. Log. Akitoshi Kawamura
2009	J	`jnl`	Distance k-Sectors Exist CoRR Keiko Imai, Akitoshi Kawamura, Jirí Matousek, Daniel Reem, Takeshi Tokuyama
2009	A	`conf`	Lipschitz Continuous Ordinary Differential Equations are Polynomial-Space Complete. CCC Akitoshi Kawamura
2009	J	`jnl`	Zone Diagrams in Euclidean Spaces and in Other Normed Spaces CoRR Akitoshi Kawamura, Jirí Matousek, Takeshi Tokuyama
2007	J	`jnl`	Differential Recursion and Differentially Algebraic Functions CoRR Akitoshi Kawamura
2004	C	`conf`	Type-2 Computability and Moore's Recursive Functions. CCA Akitoshi Kawamura