| 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 |
Vymėtal, DominikSlezská univerzita v Opave Obchodne podnikatelská fakulta v KarvineVerified email at volny.cz
Vymėtal, DominikSlezská univerzita v Opave Obchodne podnikatelská fakulta v KarvineVerified email at volny.cz