An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. - Weiqiang Kong; Tomohiro Shiraishi; Yuki Mizushima; Noriyuki Katahira; Akira Fukuda; Masahiko Watanabe (ICCSA Workshops, 2010)

Model Checking of Software Design in State Transition Matrix. - Tomohiro Shiraishi; Weiqiang Kong; Yuki Mizushima; Noriyuki Katahira; Michihiro Matsumoto; Masahiko Watanabe; Tetsuro Katayama; Akira Fukuda (Software Engineering Research and Practice, 2010)

Generation of 10m resolution PALSAR and JERS-SAR mosaic and forest/non-forest maps for forest carbon tracking. - Masanobu Shimada; Osamu Isoguchi; Takeshi Motooka; Tomohiro Shiraishi; Akira Mukaida; Hayato Okumura; Takahiro Otaki; Takuya Itoh (IGARSS, 2011)

An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. - Weiqiang Kong; Tomohiro Shiraishi; Noriyuki Katahira; Masahiko Watanabe; Tetsuro Katayama; Akira Fukuda (IEICE Trans. Inf. Syst., 2011)

Dependency of forest biomass on full Polarimetric parameters obtained from L-band SAR data for a natural forest in Indonesia. - Manabu Watanabe; Takeshi Motohka; Tomohiro Shiraishi; Rajesh Bahadur Thapa; Noriyuki Kawano; Masanobu Shimada (IGARSS, 2013)

Comparative Assessment of Supervised Classifiers for Land Use-Land Cover Classification in a Tropical Region Using Time-Series PALSAR Mosaic Data. - Tomohiro Shiraishi; Takeshi Motohka; Rajesh Bahadur Thapa; Manabu Watanabe; Masanobu Shimada (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2014)

Calibration of Aboveground Forest Carbon Stock Models for Major Tropical Forests in Central Sumatra Using Airborne LiDAR and Field Measurement Data. - Rajesh Bahadur Thapa; Manabu Watanabe; Takeshi Motohka; Tomohiro Shiraishi; Masanobu Shimada (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2015)

Multitemporal Fluctuations in L-Band Backscatter From a Japanese Forest. - Manabu Watanabe; Takeshi Motohka; Tomohiro Shiraishi; Rajesh Bahadur Thapa; Chinatsu Yonezawa; Kazuki Nakamura; Masanobu Shimada (IEEE Trans. Geosci. Remote. Sens., 2015)

Peatland Carbon Emissions Estimates by ALOS-2 PALSAR-2 Interferometry in Borneo. - Masato Hayashi; Takahiro Abe; Takashi Hirano; Ryuichi Hirata; Tomohiro Shiraishi; Lulie Melling (IGARSS, 2019)

New Inventories of Global Carbon Dioxide Emissions through Biomass Burning in 2001-2020. - Tomohiro Shiraishi; Ryuichi Hirata; Takashi Hirano (Remote. Sens., 2021)

Bounded P-values in Parametric Programming-based Selective Inference. - Tomohiro Shiraishi; Daiki Miwa; Vo Nguyen Le Duy; Ichiro Takeuchi (CoRR, 2023)

Selective Inference for Changepoint detection by Recurrent Neural Network. - Tomohiro Shiraishi; Daiki Miwa; Vo Nguyen Le Duy; Ichiro Takeuchi (CoRR, 2023)

Statistical Test for Attention Maps in Vision Transformers. - Tomohiro Shiraishi; Daiki Miwa; Teruyuki Katsuoka; Vo Nguyen Le Duy; Kouichi Taji; Ichiro Takeuchi (ICML, 2024)

Statistical Test for Attention Map in Vision Transformer. - Tomohiro Shiraishi; Daiki Miwa; Teruyuki Katsuoka; Vo Nguyen Le Duy; Kouichi Taji; Ichiro Takeuchi (CoRR, 2024)

Statistical Test for Anomaly Detections by Variational Auto-Encoders. - Daiki Miwa; Tomohiro Shiraishi; Vo Nguyen Le Duy; Teruyuki Katsuoka; Ichiro Takeuchi (CoRR, 2024)

Statistical Test for Generated Hypotheses by Diffusion Models. - Teruyuki Katsuoka; Tomohiro Shiraishi; Daiki Miwa; Vo Nguyen Le Duy; Ichiro Takeuchi (CoRR, 2024)

Statistical Test for Data Analysis Pipeline by Selective Inference. - Tomohiro Shiraishi; Tatsuya Matsukawa; Shuichi Nishino; Ichiro Takeuchi (CoRR, 2024)

Selective Inference for Change Point Detection by Recurrent Neural Network. - Tomohiro Shiraishi; Daiki Miwa; Vo Nguyen Le Duy; Ichiro Takeuchi (Neural Comput., 2024)

Statistical Test for Auto Feature Engineering by Selective Inference. - Tatsuya Matsukawa; Tomohiro Shiraishi; Shuichi Nishino; Teruyuki Katsuoka; Ichiro Takeuchi (AISTATS, 2025)

Change Point Detection in the Frequency Domain with Statistical Reliability. - Akifumi Yamada; Tomohiro Shiraishi; Shuichi Nishino; Teruyuki Katsuoka; Kouichi Taji; Ichiro Takeuchi (Trans. Mach. Learn. Res., 2025)

si4onnx: A Python package for Selective Inference in Deep Learning Models. - Teruyuki Katsuoka; Tomohiro Shiraishi; Daiki Miwa; Shuichi Nishino; Ichiro Takeuchi (CoRR, 2025)

Time Series Anomaly Detection in the Frequency Domain with Statistical Reliability. - Akifumi Yamada; Tomohiro Shiraishi; Shuichi Nishino; Teruyuki Katsuoka; Kouichi Taji; Ichiro Takeuchi (CoRR, 2025)

Statistically Significant kNNAD by Selective Inference. - Mizuki Niihori; Teruyuki Katsuoka; Tomohiro Shiraishi; Shuichi Nishino; Ichiro Takeuchi (CoRR, 2025)

Statistical Test for Saliency Maps of Graph Neural Networks via Selective Inference. - Shuichi Nishino; Tomohiro Shiraishi; Teruyuki Katsuoka; Ichiro Takeuchi (CoRR, 2025)