Naoki Yonezaki

Safraless LTL synthesis considering maximal realizability

Takashi Tomita, Atsushi Ueno, Masaya Shimakawa et al. · Acta Informatica · 2016 · 22 citations · Full text

Computing, Computer Engineering, Computer Science +11

Extracting Environmental Constraints to Make Reactive System Specifications Realizable

Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa et al. · 2009 · 13 citations

Engineering, Computer Engineering, Computer Science +11

Complexity of Strong Satisfiability Problems for Reactive System Specifications

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki · IEICE Transactions on Information and Systems · 2013 · 12 citations · Full text

Computing, Computer Science, Real-time Systems +11

Qualitative analysis of gene regulatory networks by temporal logic

Sohei Ito, Takuma Ichinose, Masaya Shimakawa et al. · Theoretical Computer Science · 2015 · 12 citations · Full text

Computing, Computer Science, Biological Systems Modeling +14

Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic

Sohei Ito, Naoko Izumi, Shigeki Hagihara et al. · 2010 · 11 citations

Computing, Computer Science, Formal Methods +16