default search action
BibTeX records: Souhei Ito
@inproceedings{DBLP:conf/fscd/ItoT24, author = {Sohei Ito and Makoto Tatsuta}, editor = {Jakob Rehof}, title = {Representation of Peano Arithmetic in Separation Logic}, booktitle = {9th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia}, series = {LIPIcs}, volume = {299}, pages = {18:1--18:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.18}, doi = {10.4230/LIPICS.FSCD.2024.18}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fscd/ItoT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceis/ItoH24, author = {Sohei Ito and Kento Hamae}, editor = {Joaquim Filipe and Michal Smialek and Alexander Brodsky and Slimane Hammoudi}, title = {Conformance Checking on Timed Automaton Process Models}, booktitle = {Proceedings of the 26th International Conference on Enterprise Information Systems, {ICEIS} 2024, Angers, France, April 28-30, 2024, Volume 2}, pages = {545--556}, publisher = {{SCITEPRESS}}, year = {2024}, url = {https://doi.org/10.5220/0012548800003690}, doi = {10.5220/0012548800003690}, timestamp = {Wed, 05 Jun 2024 13:17:09 +0200}, biburl = {https://dblp.org/rec/conf/iceis/ItoH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/ItoOSHY22, author = {Sohei Ito and Kenji Osari and Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, title = {Efficient Realizability Checking by Modularization of {LTL} Specifications}, journal = {Comput. J.}, volume = {65}, number = {10}, pages = {2801--2814}, year = {2022}, url = {https://doi.org/10.1093/comjnl/bxab116}, doi = {10.1093/COMJNL/BXAB116}, timestamp = {Mon, 30 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/ItoOSHY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcisd/TokiwaNYIISFMTM19, author = {Takaki Tokiwa and Shogo Nakano and Yuta Yamamoto and Takeshi Ishikawa and Sohei Ito and Vladim{\'{\i}}r Sl{\'{a}}dek and Kaori Fukuzawa and Yuji Mochizuki and Hiroaki Tokiwa and Fuminori Misaizu and Yasuteru Shigeta}, title = {Development of an Analysis Toolkit, AnalysisFMO, to Visualize Interaction Energies Generated by Fragment Molecular Orbital Calculations}, journal = {J. Chem. Inf. Model.}, volume = {59}, number = {1}, pages = {25--30}, year = {2019}, url = {https://doi.org/10.1021/acs.jcim.8b00649}, doi = {10.1021/ACS.JCIM.8B00649}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcisd/TokiwaNYIISFMTM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmot/ItoVSH18, author = {Sohei Ito and Dominik Vymetal and Roman Sperka and Michal Halaska}, title = {Process mining of a multi-agent business simulator}, journal = {Comput. Math. Organ. Theory}, volume = {24}, number = {4}, pages = {500--531}, year = {2018}, url = {https://doi.org/10.1007/s10588-018-9268-6}, doi = {10.1007/S10588-018-9268-6}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmot/ItoVSH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-02976, author = {Sohei Ito}, title = {Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph}, journal = {CoRR}, volume = {abs/1803.02976}, year = {2018}, url = {http://arxiv.org/abs/1803.02976}, eprinttype = {arXiv}, eprint = {1803.02976}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-02976.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/ItoOHY17, author = {Sohei Ito and Kenji Osari and Shigeki Hagihara and Naoki Yonezaki}, editor = {Hesham H. Ali and Ana L. N. Fred and Hugo Gamboa and M{\'{a}}rio Vaz}, title = {Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach}, booktitle = {Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies {(BIOSTEC} 2017) - Volume 3: BIOINFORMATICS, Porto, Portugal, February 21-23, 2017}, pages = {17--28}, publisher = {SciTePress}, year = {2017}, url = {https://doi.org/10.5220/0006093600170028}, doi = {10.5220/0006093600170028}, timestamp = {Fri, 19 May 2017 16:29:12 +0200}, biburl = {https://dblp.org/rec/conf/biostec/ItoOHY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/ItoOHY17a, author = {Sohei Ito and Kenji Osari and Shigeki Hagihara and Naoki Yonezaki}, editor = {Nathalia Peixoto and Margarida Silveira and Hesham H. Ali and Carlos Dias Maciel and Egon L. van den Broek}, title = {Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms}, booktitle = {Biomedical Engineering Systems and Technologies - 10th International Joint Conference, {BIOSTEC} 2017, Porto, Portugal, February 21-23, 2017, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {881}, pages = {191--211}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-94806-5\_11}, doi = {10.1007/978-3-319-94806-5\_11}, timestamp = {Fri, 31 May 2019 12:05:54 +0200}, biburl = {https://dblp.org/rec/conf/biostec/ItoOHY17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/Ito16, author = {Sohei Ito}, editor = {James P. Gilbert and Haim Azhari and Hesham H. Ali and Carla Quint{\~{a}}o and Jan Sliwa and Carolina Ruiz and Ana L. N. Fred and Hugo Gamboa}, title = {Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing}, booktitle = {Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies {(BIOSTEC} 2016) - Volume 3: BIOINFORMATICS, Rome, Italy, February 21-23, 2016}, pages = {151--158}, publisher = {SciTePress}, year = {2016}, url = {https://doi.org/10.5220/0005655001510158}, doi = {10.5220/0005655001510158}, timestamp = {Sat, 21 Sep 2019 10:38:11 +0200}, biburl = {https://dblp.org/rec/conf/biostec/Ito16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ItoISIHY15, author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Qualitative analysis of gene regulatory networks by temporal logic}, journal = {Theor. Comput. Sci.}, volume = {594}, pages = {151--179}, year = {2015}, url = {https://doi.org/10.1016/j.tcs.2015.06.017}, doi = {10.1016/J.TCS.2015.06.017}, timestamp = {Tue, 04 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ItoISIHY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/ItoHY15, author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki}, editor = {Oscar Pastor and Christine Sinoquet and Ana L. N. Fred and Hugo Gamboa and Dirk Elias}, title = {Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs}, booktitle = {{BIOINFORMATICS} 2015 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Lisbon, Portugal, 12-15 January, 2015}, pages = {93--101}, publisher = {SciTePress}, year = {2015}, timestamp = {Thu, 21 Jan 2021 13:58:22 +0100}, biburl = {https://dblp.org/rec/conf/biostec/ItoHY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ejc/ItoAK15, author = {Sohei Ito and Kunimasa Aoki and Kazuaki Kajitori}, editor = {Tatjana Welzer and Hannu Jaakkola and Bernhard Thalheim and Yasushi Kiyoki and Naofumi Yoshida}, title = {A Conceptual Model of Fishery in Resource-Event-Agent Framework}, booktitle = {Information Modelling and Knowledge Bases XXVII, 25th International Conference on Information Modelling and Knowledge Bases {(EJC} 2015), Maribor, Slovenia, June 8-12, 2015}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {280}, pages = {255--274}, publisher = {{IOS} Press}, year = {2015}, url = {https://doi.org/10.3233/978-1-61499-611-8-255}, doi = {10.3233/978-1-61499-611-8-255}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ejc/ItoAK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/ItoHY14, author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki}, editor = {Oscar Pastor and Christine Sinoquet and Guy Plantier and Tanja Schultz and Ana L. N. Fred and Hugo Gamboa}, title = {A Qualitative Framework for Analysing Homeostasis in Gene Networks}, booktitle = {{BIOINFORMATICS} 2014 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, ESEO, Angers, Loire Valley, France, 3-6 March, 2014}, pages = {5--16}, publisher = {SciTePress}, year = {2014}, url = {https://doi.org/10.5220/0004731400050016}, doi = {10.5220/0004731400050016}, timestamp = {Thu, 21 Jan 2021 13:58:22 +0100}, biburl = {https://dblp.org/rec/conf/biostec/ItoHY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/ItoHY14a, author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki}, editor = {Guy Plantier and Tanja Schultz and Ana L. N. Fred and Hugo Gamboa}, title = {Formulation of Homeostasis by Realisability on Linear Temporal Logic}, booktitle = {Biomedical Engineering Systems and Technologies - 7th International Joint Conference, {BIOSTEC} 2014, Angers, France, March 3-6, 2014, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {511}, pages = {149--164}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-26129-4\_10}, doi = {10.1007/978-3-319-26129-4\_10}, timestamp = {Fri, 27 Dec 2019 21:20:10 +0100}, biburl = {https://dblp.org/rec/conf/biostec/ItoHY14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ao/ItoV13, author = {Sohei Ito and Dominik Vymetal}, title = {The formal {REA} model at the operational level}, journal = {Appl. Ontology}, volume = {8}, number = {4}, pages = {275--300}, year = {2013}, url = {https://doi.org/10.3233/AO-140129}, doi = {10.3233/AO-140129}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ao/ItoV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jib/ItoISIHY13, author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Modular analysis of gene networks by linear temporal logic}, journal = {J. Integr. Bioinform.}, volume = {10}, number = {2}, year = {2013}, url = {https://doi.org/10.2390/biecoll-jib-2013-216}, doi = {10.2390/BIECOLL-JIB-2013-216}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jib/ItoISIHY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/FujimaIK13, author = {Koichi Fujima and Sohei Ito and Naoki Kobayashi}, editor = {Chung{-}chieh Shan}, title = {Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {17--32}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_2}, doi = {10.1007/978-3-319-03542-0\_2}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/FujimaIK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/ItoISIHY13, author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, editor = {Pedro Fernandes and Jordi Sol{\'{e}}{-}Casals and Ana L. N. Fred and Hugo Gamboa}, title = {Qualitative Analysis of Gene Regulatory Networks using Network Motifs}, booktitle = {{BIOINFORMATICS} 2013 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11 - 14 February, 2013}, pages = {15--24}, publisher = {SciTePress}, year = {2013}, timestamp = {Tue, 01 Oct 2013 18:44:42 +0200}, biburl = {https://dblp.org/rec/conf/biostec/ItoISIHY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/ItoISIHY13a, author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, editor = {Mireya Fern{\'{a}}ndez{-}Chimeno and Pedro L. Fernandes and Sergio Alvarez and Deborah Stacey and Jordi Sol{\'{e}}{-}Casals and Ana L. N. Fred and Hugo Gamboa}, title = {Formal Analysis of Gene Networks Using Network Motifs}, booktitle = {Biomedical Engineering Systems and Technologies - 6th International Joint Conference, {BIOSTEC} 2013, Barcelona, Spain, February 11-14, 2013, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {452}, pages = {131--146}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-662-44485-6\_10}, doi = {10.1007/978-3-662-44485-6\_10}, timestamp = {Wed, 29 May 2019 09:34:37 +0200}, biburl = {https://dblp.org/rec/conf/biostec/ItoISIHY13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bibe/ItoIHY10, author = {Sohei Ito and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic}, booktitle = {10th {IEEE} International Conference on Bioinformatics and Bioengineering, {BIBE} 2010, Philadelphia, Pennsylvania, USA, May 31-June 3 2010}, pages = {232--237}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/BIBE.2010.45}, doi = {10.1109/BIBE.2010.45}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bibe/ItoIHY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ejc/ItoHY07, author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki}, editor = {Hannu Jaakkola and Yasushi Kiyoki and Takahiro Tokuda}, title = {A Formal Ontology for Business Process Model {TAP:} Tasks-Agents-Products}, booktitle = {Information Modelling and Knowledge Bases XIX, 17th European-Japanese Conference on Information Modelling and Knowledge Bases {(EJC} 2007), Yyteri, Pori, Finland, June 4-7, 2007}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {166}, pages = {290--297}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=7942}, timestamp = {Wed, 14 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ejc/ItoHY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/ItoHY06, author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki}, editor = {Mitsu Okada and Ichiro Satoh}, title = {An Operational Semantics of Program Dependence Graphs for Unstructured Programs}, booktitle = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4435}, pages = {264--271}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-77505-8\_22}, doi = {10.1007/978-3-540-77505-8\_22}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/ItoHY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.