2022 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) Bioinformatics and Biomedicine (BIBM), 2022 IEEE International Conference on. :3535-3540 Dec, 2022
IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE/ACM Trans. Comput. Biol. and Bioinf. Computational Biology and Bioinformatics, IEEE/ACM Transactions on. 9(2):560-570 Apr, 2012
ICECCS Ovsiannikova, P, Buzhinsky, I, Pakonen, A & Vyatkin, V 2020, Visual counterexample explanation for model checking with OERITTE . in Y Li & A Liew (eds), Proceedings-2020 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020 ., 9376184, IEEE Institute of Electrical and Electronic Engineers, pp. 1-10, 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, Singapore, 4/03/21 . https://doi.org/10.1109/ICECCS51672.2020.00008