• High-level axioms for graphical linear algebraPaixao, Joao; Rufino, Lucas; Sobocinski, Pawel MariaScience of computer programming2022 / art. 102791 ; 26 p https://doi.org/10.1016/j.scico.2022.102791 https://www.scopus.com/sourceid/28416 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126314085&origin=inward&txGid=70be018e057f8e10f8de93f04c1f3d9d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20COMPUT%20PROGRAM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000793563300005
• 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