Qualitative analysis of gene regulatory networks by temporal logic S Ito, T Ichinose, M Shimakawa, N Izumi, S Hagihara, N Yonezaki Theoretical Computer Science 594, 151-179, 2015 | 18 | 2015 |
Qualitative analysis of gene regulatory networks by satisfiability checking of linear temporal logic S Ito, N Izumi, S Hagihara, N Yonezaki BioInformatics and BioEngineering (BIBE), 2010 IEEE International Conference …, 2010 | 17 | 2010 |
Modular analysis of gene networks by linear temporal logic S Ito, T Ichinose, M Shimakawa, N Izumi, S Hagihara, N Yonezaki J. Integr. Bioinform 10 (2), 216, 2013 | 16 | 2013 |
Process mining of a multi-agent business simulator S Ito, D Vymětal, R Šperka, M Halaška Computational and Mathematical Organization Theory 24, 500-531, 2018 | 15 | 2018 |
Practical alternating parity tree automata model checking of higher-order recursion schemes K Fujima, S Ito, N Kobayashi Programming Languages and Systems, 17-32, 2013 | 14 | 2013 |
The formal REA model at the operational level S Ito, D Vymětal Applied Ontology 8 (4), 275-300, 2013 | 10 | 2013 |
Formal REA model at operational level S Ito, D Vymětal International Scientific Conference ICT for Competitiveness 2012, 150-160, 2012 | 10 | 2012 |
Qualitative analysis of gene regulatory networks using network motifs S Ito, T Ichinose, M Shimakawa, N Izumi, S Hagihara, N Yonezaki proceedings of 4th International Conference on Bioinformatics Models …, 2013 | 9 | 2013 |
A Qualitative Framework for Analysing homeostasis in Gene Networks S Ito, S Hagihara, N Yonezaki proceedings of 5th International Conference on Bioinformatics Models …, 2014 | 6 | 2014 |
Semantical equivalence of the control flow graph and the program dependence graph S Ito arXiv preprint arXiv:1803.02976, 2018 | 4 | 2018 |
Formal Analysis of Gene Networks Using Network Motifs S Ito, T Ichinose, M Shimakawa, N Izumi, S Hagihara, N Yonezaki Biomedical Engineering Systems and Technologies, 131-146, 2013 | 4 | 2013 |
An object-oriented language for parameterised reactive system specification based on linear temporal logic K Osari, T Murooka, K Hagiwara, T Ando, M Shimakawa, S Ito, S Hagihara, ... Theory and Practice of Computation: Proceedings of Workshop on Computation …, 2014 | 3 | 2014 |
Developing a Compact and Practical Online Quiz System K Kajitori, K Aoki, S Ito International Journal of Modern Education and Computer Science 6 (9), 1, 2014 | 3 | 2014 |
An Operational Semantics of Program Dependence Graphs for Unstructured Programs S Ito, S Hagihara, N Yonezaki Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2006 | 3 | 2006 |
Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach NY Sohei Ito, Kenji Osari, Shigeki Hagihara proceedings of 8th International Conference on Bioinformatics Models …, 2017 | 2* | 2017 |
Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs S Ito, S Hagihara, N Yonezaki proceedings of 5th International Conference on Bioinformatics Models …, 2015 | 2 | 2015 |
Formulation of Homeostasis by Realisability on Linear Temporal Logic S Ito, S Hagihara, N Yonezaki Biomedical Engineering Systems and Technologies, 149-164, 2014 | 2 | 2014 |
Mieru システムソフトウェア 佐野正浩, 高前田伸也, 芝哲史, 曹哲, 伊藤宗平, 川合秀実, 笹田耕一, ... 研究報告システムソフトウェアと オペレーティング・システム (OS) 2010 (16), 1-9, 2010 | 2 | 2010 |
A formal ontology for business process model tap: Tasks-agents-products S Ito, S Hagihara, N Yonezaki FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS 166, 290, 2008 | 2 | 2008 |
意味的制約の書き換えによるコンパイラのコード最適化 伊藤宗平, 萩原茂樹, 米崎直樹 日本ソフトウェア科学会大会講演論文集 22 (0), 407-414, 2005 | 2 | 2005 |