• Structured development of implementations for divide-and-conquer specificationsBortin, MaksymScience of computer programming2024 / art. 103011, 15 p. : ill https://doi.org/10.1016/j.scico.2023.103011 https://www.scopus.com/sourceid/28416 https://www.scopus.com/pages/publications/85168743259?inward https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20COMPUT%20PROGRAM&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001069381900001
• Synthesis of implementations for divide-and-conquer specificationsBortin, MaksymFormal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings2022 / p. 73-88 https://doi.org/10.1007/978-3-031-22476-8_5 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85144302200&origin=resultslist&sort=plf-f&src=s&sid=2f6521f66136a16cc4250bbbe569d174&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-22476-8_5%29&sl=23&sessionSearchId=2f6521f66136a16cc4250bbbe569d174 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000922881500005