| 2024 | SAT | Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem. | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2023 | AAAI | Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2023 | SAT | An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2022 | PRICAI | Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index. | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2018 | AAAI | Skyline Computation for Low-Latency Image-Activated Cell Identification. | Kenichi Koizumi, Kei Hiraki, Mary Inaba |
| 2018 | AAAI | Constructing Hierarchical Bayesian Networks With Pooling. | Kaneharu Nishino, Mary Inaba |
| 2018 | FPGA | Continuous Skyline Computation Accelerator with Parallelizing Dominance Relation Calculations: (Abstract Only). | Kenichi Koizumi, Kei Hiraki, Mary Inaba |
| 2017 | DSAA | BJR-Tree: Fast Skyline Computation Algorithm for Serendipitous Searching Problems. | Kenichi Koizumi, Peter Eades, Kei Hiraki, Mary Inaba |
| 2017 | SoCS | Boost SAT Solver with Hybrid Branching Heuristic. | Seongsoo Moon, Mary Inaba |
| 2016 | AAAI | Bayesian AutoEncoder: Generation of Bayesian Networks with Hidden Nodes for Features. | Kaneharu Nishino, Mary Inaba |
| 2015 | ICONIP | Feature Extraction Based on Generating Bayesian Network. | Kaneharu Nishino, Mary Inaba |
| 2015 | MEMOCODE | Efficient implementation of continuous skyline computation on a multi-core processor. | Kenichi Koizumi, Mary Inaba, Kei Hiraki |
| 2014 | SAT | Community Branching for Parallel Portfolio SAT Solvers. | Tomohiro Sonobe, Shuya Kondoh, Mary Inaba |
| 2012 | ICS | Unified memory optimizing architecture: memory subsystem control with a unified predictor. | Yasuo Ishii, Mary Inaba, Kei Hiraki |
| 2009 | ICS | Access map pattern matching for data cache prefetch. | Yasuo Ishii, Mary Inaba, Kei Hiraki |
| 2008 | FPL | CVC: The C to RTL compiler for callback-based verification model. | Yasuhiro Ito, Yutaka Sugawara, Mary Inaba, Kei Hiraki |
| 2008 | NCA | Effect of Parallel TCP Stream Equalizer on Real Long Fat-pipe Network. | Yutaka Sugawara, Takeshi Yoshino, Hiroshi Tezuka, Mary Inaba, Kei Hiraki |
| 2008 | SC | Performance optimization of TCP/IP over 10 gigabit ethernet by precise instrumentation. | Takeshi Yoshino, Yutaka Sugawara, Katsushi Inagami, Junji Tamatsukuri, Mary Inaba, Kei Hiraki |
| 2007 | SC | GRAPE-DR: 2-Pflops massively-parallel computer with 512-core, 512-Gflops processor chips for scientific computing. | Junichiro Makino, Kei Hiraki, Mary Inaba |
| 2005 | FPL | High-speed and Memory Efficient TCP Stream Scanning using FPGA. | Yutaka Sugawara, Mary Inaba, Kei Hiraki |
| 2004 | FPL | Over 10Gbps String Matching Mechanism for Multi-stream Packet Scanning Systems. | Yutaka Sugawara, Mary Inaba, Kei Hiraki |
| 2004 | Networking | Theoretical Analysis of Performances of TCP/IP Congestion Control Algorithm with Different Distances. | Tsuyoshi Ito, Mary Inaba |
| 2004 | SC | Inter-Layer Coordination for Parallel TCP Streams on Long Fat Pipe Networks. | Hiroyuki Kamezawa, Makoto Nakamura, Junji Tamatsukuri, Nao Aoshima, Mary Inaba, Kei Hiraki |
| 2002 | SC | Data Reservoir: utilization of multi-gigabit backbone network for data-intensive research. | Kei Hiraki, Mary Inaba, Junji Tamatsukuri, Ryutaro Kurusu, Yukichi Ikuta, Hisashi Koga, Akira Zinzaki |
| 1998 | DIS | Geometric Clustering Models in Feature Space. | Mary Inaba, Hiroshi Imai |