Discovering workflow nets of concurrent iterative processes Tonatiuh Tapia-FloresErnesto López-Mellado Original Article Open access 14 September 2023 Pages: 1 - 21
A decision procedure for string constraints with string/integer conversion and flat regular constraints Hao WuYu-Fang ChenNaijun Zhan Original Article 24 October 2023 Pages: 23 - 52
Balancing m-ary search trees with compressions on the fringe Shuyang GaoLeen HatemHosam Mahmoud Original Article 15 December 2023 Pages: 53 - 66
n-PS-codes, 2-infix-outfix codes and some related classes of codes Haiyan LiuRongdong CuiTianjie Zhang Original Article 15 December 2023 Pages: 67 - 81
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications Shlomi DolevSayaka KameiKoichi Wada Original Article 18 December 2023 Pages: 83 - 100