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)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification. - Kota Fukuda; Guanqin Zhang; Zhenya Zhang; Yulei Sui; Jianjun Zhao 001 (DATE, 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 001; Jianjun Zhao 001; Yulei Sui (ECOOP, 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 (Artifact). - Guanqin Zhang; Kota Fukuda; Zhenya Zhang; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (Dagstuhl Artifacts Ser., 2025)