Application of search algorithms to natural language processing. - Takeshi Matsumoto; David M. W. Powers; Geoff A. Jarrad (ALTA, 2003)

An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences. - Takeshi Matsumoto; Hiroshi Saito; Masahiro Fujita (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis. - Tasuku Nishihara; Takeshi Matsumoto; Masahiro Fujita (HLDVT, 2006)

Adaptive Human-Robot Interaction System using Interactive EC. - Yuki Suga; Chihiro Endo; Daizo Kobayashi; Takeshi Matsumoto; Shigeki Sugano; Tetsuya Ogata (IROS, 2006)

Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. - Takeshi Matsumoto; Hiroshi Saito; Masahiro Fujita (ISQED, 2006)

Lattice Boltzmann simulation of blood cell behavior at microvascular bifurcations. - Toru Hyakutake; Takeshi Matsumoto; Shinichiro Yanase (Math. Comput. Simul., 2006)

Development and Verification of a Collaborative Printing Environment. - Takeshi Matsumoto; Daisuke Ando; Tasuku Nishihara; Masahiro Fujita (C5, 2007)

An Interactive Verification and Debugging Environment by Concrete/Symbolic Simulations for System-Level Designs. - Yoshihisa Kojima; Tasuku Nishihara; Takeshi Matsumoto; Masahiro Fujita (ATS, 2008)

Multi-level Bounded Model Checking to detect bugs beyond the bound. - Tasuku Nishihara; Takeshi Matsumoto; Masahiro Fujita (HLDVT, 2008)

A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams. - Masahiro Fujita; Takeshi Matsumoto; Hiroaki Yoshida (ICSOFT (SE/MUSE/GSDCA), 2008)

A Post-Silicon Debug Support Using High-Level Design Description. - Yeonbok Lee; Tasuku Nishihara; Takeshi Matsumoto; Masahiro Fujita (Asian Test Symposium, 2009)

Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath. - Tasuku Nishihara; Takeshi Matsumoto; Masahiro Fujita (IEICE Trans. Inf. Syst., 2009)

Generation of I/O sequences for a high-level design from those in post-silicon for efficient post-silicon debugging. - Yeonbok Lee; Takeshi Matsumoto; Masahiro Fujita (ICCD, 2010)

Hybrid world object tracking for a virtual teaching agent. - William Newman; David Franzel; Takeshi Matsumoto; Richard Leibbrandt; Trent W. Lewis; Martin H. Luerssen; David M. W. Powers (IJCNN, 2010)

Synthesis and formal verification of on-chip protocol transducers through decomposed specification. - Masahiro Fujita; Hideo Tanida; Fei Gao; Tasuku Nishihara; Takeshi Matsumoto (ISQED, 2010)

Performance Estimation with Automatic False-Path Detection for System-Level Designs. - Takeshi Matsumoto; Tasuku Nishihara; Masahiro Fujita (IPSJ Trans. Syst. LSI Des. Methodol., 2010)

On-chip dynamic signal sequence slicing for efficient post-silicon debugging. - Yeonbok Lee; Takeshi Matsumoto; Masahiro Fujita (ASP-DAC, 2011)

An Automatic Method of Mapping I/O Sequences of Chip Execution onto High-level Design for Post-Silicon Debugging. - Yeonbok Lee; Takeshi Matsumoto; Masahiro Fujita (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

Multi-Level Bounded Model Checking with Symbolic Counterexamples. - Tasuku Nishihara; Takeshi Matsumoto; Masahiro Fujita (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

Automatic assertion extraction in gate-level simulation using GPGPUs. - Shohei Ono; Takeshi Matsumoto; Masahiro Fujita (ICCD, 2012)

An efficient method to localize and correct bugs in high-level designs using counterexamples and potential dependence. - Takeshi Matsumoto; Shohei Ono; Masahiro Fujita (VLSI-SoC, 2012)

Rectification of advanced microprocessors without changing routing on FPGAs (abstract only). - Satoshi Jo; Amir Masoud Gharehbaghi; Takeshi Matsumoto; Masahiro Fujita (FPGA, 2013)

Debugging processors with advanced features by reprogramming LUTs on FPGA. - Satoshi Jo; Amir Masoud Gharehbaghi; Takeshi Matsumoto; Masahiro Fujita (FPT, 2013)

Fast simulation of Digital Spiking Silicon Neuron model employing reconfigurable dataflow computing. - Will X. Y. Li; Shridhar Chaudhary; Ray C. C. Cheung; Takeshi Matsumoto; Masahiro Fujita (FPT, 2013)

Partial synthesis through sampling with and without specification. - Masahiro Fujita; Satoshi Jo; Shohei Ono; Takeshi Matsumoto (ICCAD, 2013)

Hardware implementation of BLTL property checkers for acceleration of statistical model checking. - Kosuke Oshima; Takeshi Matsumoto; Masahiro Fujita (ICCAD, 2013)

FOF: Functionally Observable Fault and its ATPG techniques. - Masahiro Fujita; Takeshi Matsumoto; Satoshi Jo (VLSI-SoC, 2013)

A debugging method for gate level circuit designs by introducing programmability. - Kosuke Oshima; Takeshi Matsumoto; Masahiro Fujita (VLSI-SoC, 2013)

Debugging Methods Through Identification of Appropriate Functions for Internal Gates. - Kosuke Oshima; Takeshi Matsumoto; Masahiro Fujita (VLSI-SoC (Selected Papers), 2013)

Flip-chip-bonded, 8-wavelength AlGaInAs DFB laser array operable up to 70°C for silicon WDM interconnects. - S. Tanaka; Takeshi Matsumoto; Teruo Kurahashi; M. Matsuda; Ayahito Uetake; S. Sekiguchi; Y. Tanaka; K. Morito (ECOC, 2014)

SAT-based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions. - Satoshi Jo; Takeshi Matsumoto; Masahiro Fujita (IPSJ Trans. Syst. LSI Des. Methodol., 2014)

Proposal of an ankle joint bending machine using exoskeleton support from foot to hip. - Takeuchi Hiroya; Hideki Toda; Takeshi Matsumoto (ROBIO, 2015)

Trace signal selection methods for post silicon debugging. - Shridhar Choudhary; Amir Masoud Gharehbaghi; Takeshi Matsumoto; Masahiro Fujita (VLSI-SoC, 2015)

In-line optical amplification for Si waveguides on 1×8 splitter and selector by flip-chip bonded InP-SOAs. - Takeshi Matsumoto; Teruo Kurahashi; Ken Tanizawa; Keijiro Suzuki; Ayahito Uetake; Kazumasa Takabayashi; Kazuhiro Ikeda; Hitoshi Kawashima; Suguru Akiyama (OFC, 2016)

Motion recognition by natural language including success and failure of tasks for co-working robot with human. - Yuichi Kobayashi; Takeshi Matsumoto; Wataru Takano; Dirk Wollherr; Volker Gabler (AIM, 2017)

Pulmonary kinematic analysis with non-rigid deformable registration for detecting localised emphysema. - Ryosuke Higashi; Toshihiro Sera; Hisashi Naito; Takeshi Matsumoto; Masao Tanaka (Comput. methods Biomech. Biomed. Eng. Imaging Vis., 2017)

Experimental Study of Ankle Joint Pushing Mechanism Concerning About the Horizontal Movement of Talus. - Hideki Toda; Takeshi Matsumoto; Takeuchi Hiroya (J. Robotics Mechatronics, 2017)

Effect of low-intensity whole-body vibration on bone defect repair and associated vascularization in mice. - Takeshi Matsumoto; Daichi Goto (Medical Biol. Eng. Comput., 2017)

Lossless Operation of SOA-Integrated Silicon Photonics Switch for 8 × 32-Gbaud 16-QAM WDM Signals. - Ryotaro Konoike; Keijiro Suzuki; Takashi Inoue; Takeshi Matsumoto; Teruo Kurahashi; Ayahito Uetake; Kazumasa Takabayashi; Suguru Akiyama; Shigeaki Sekiguchi; Kazuhiro Ikeda; Shu Namiki; Hitoshi Kawashima (OFC, 2018)

In-line Optical Amplification for Silicon Photonics Platform by Flip-Chip Bonded InP-SOAs. - Takeshi Matsumoto; Teruo Kurahashi; Ryotaro Konoike; Ken Tanizawa; Keijiro Suzuki; Ayahito Uetake; Kazumasa Takabayashi; Kazuhiro Ikeda; Hitoshi Kawashima; Suguru Akiyama; Shigeaki Sekiguchi (OFC, 2018)

High-Level Engineering Change Through Programmable Datapath and SMT Solvers. - Qinhao Wang; Amir Masoud Gharehbaghi; Takeshi Matsumoto; Masahiro Fujita (ISCAS, 2019)

Covariate Ordered Systematic Sampling as an Improvement to Randomized Controlled Trials. - Deddy Jobson; Yilin Li 004; Naoki Nishimura; Koya Ohashi; Jie Yang 071; Takeshi Matsumoto (CIKM, 2024)

Fast Solution to the Fair Ranking Problem Using the Sinkhorn Algorithm. - Yuki Uehara; Shunnosuke Ikeda; Naoki Nishimura; Koya Ohashi; Yilin Li 004; Jie Yang 071; Deddy Jobson; Xingxia Zha; Takeshi Matsumoto; Noriyoshi Sukegawa; Yuichi Takano (PRICAI (5), 2024)

Robust portfolio optimization model for electronic coupon allocation. - Yuki Uehara; Naoki Nishimura; Yilin Li 004; Jie Yang 071; Deddy Jobson; Koya Ohashi; Takeshi Matsumoto; Noriyoshi Sukegawa; Yuichi Takano (INFOR Inf. Syst. Oper. Res., 2024)