Pubished papers(since vol. 13, no.2) can be found in the Compendex (EI) database.
2023-08-12
The first and second papers are extended versions from the winners of the ICATI2023 Paper Award (https://imeti.org/ICATI2023/).
The fifth paper is an extended version from the winners of the IronCAD 2023 Paper Award (https://imeti.org/2023-IronCAD/).