Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Souhei Ito
@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}
}
a service of 
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.
last updated on 2024-04-25 01:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
