| 2021 | Tencon | Full Hardware Implementation of FreeRTOS-Based Real-Time Systems. | Wakako Nakano, Yukino Shinohara, Nagisa Ishiura |
| 2018 | RSP | Synthesis of Full Hardware Implementation of RTOS-Based Systems. | Yuuki Oosako, Nagisa Ishiura, Hiroyuki Tomiyama, Hiroyuki Kanbara |
| 2017 | RSP | Binary synthesis implementing external interrupt handler as independent module. | Naoya Ito, Yuuki Oosako, Nagisa Ishiura, Hiroyuki Kanbara, Hiroyuki Tomiyama |
| 2017 | RSP | Speculative execution in distributed controllers for high-level synthesis. | Miho Shimizu, Nagisa Ishiura, Sayuri Ota, Wakako Nakano |
| 2000 | ASPDAC | Thread partitioning method for hardware compiler bach. | Mizuki Takahashi, Nagisa Ishiura, Akihisa Yamada, Takashi Kambe |
| 1998 | ASPDAC | Binding and Scheduling Algorithms for Highly Retargetable Compilation. | Masayuki Yamaguchi, Nagisa Ishiura, Takashi Kambe |
| 1995 | ISCAS | Optimal Scheduling for Conditional Recource Sharing. | Akihisa Yamada, Satoru Nakamura, Nagisa Ishiura, Isao Shirakawa, Takashi Kambe |
| 1991 | DAC | Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits. | Yutaka Deguchi, Nagisa Ishiura, Shuzo Yajima |
| 1991 | DAC | Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing. | Hiroyuki Ochi, Nagisa Ishiura, Shuzo Yajima |
| 1991 | ICCAD | Minimazation of Binary Decision Diagrams Based on Exchanges of Variables. | Nagisa Ishiura, Hiroshi Sawada, Shuzo Yajima |
| 1991 | ICCAD | Fault Simulation for Multiple Faults Using Shared BDD Representation of Fault Sets. | Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima |
| 1990 | DAC | Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram. | Nagisa Ishiura, Yutaka Deguchi, Shuzo Yajima |
| 1990 | DAC | NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I. | Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima |
| 1990 | DAC | Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. | Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima |
| 1990 | ICCD | Formal semantics of UDL/I and its applications to CAD/DA tools. | Hiroto Yasuura, Nagisa Ishiura |
| 1989 | DAC | Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits. | Nagisa Ishiura, Mizuki Takahashi, Shuzo Yajima |
| 1989 | DAC | Semantics of a Hardware Design Language for Japanese Standardization. | Hiroto Yasuura, Nagisa Ishiura |