Kota Fukuda

According to our database, Kota Fukuda authored at least 5 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact).

Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui

Dagstuhl Artifacts Ser., 2025

Discrete element method-based simulation system for predicting natural stone evacuation pathways in patients with urolithiasis.

Naoaki Okabayashi, Katsuki Hirai, Takayuki Nagata, Kazuhide Makiyama, Junichi Matsuzaki, Kota Fukuda, Shun Takahashi, Mitsuru Komeya, Hiroshi Kimura

Comput. Biol. Medicine, 2025

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees.

Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification.

Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2014

A Numerical Scheme Based on an Immersed Boundary Method for Compressible Turbulent Flows with Shocks: Application to Two-Dimensional Flows around Cylinders.

Shun Takahashi, Taku Nonomura, Kota Fukuda

J. Appl. Math., 2014