1. Discovering workflow nets of concurrent iterative processes

   • Tonatiuh Tapia-Flores
   • Ernesto López-Mellado

   Original Article Open access 14 September 2023 Pages: 1 - 21

   

2. A decision procedure for string constraints with string/integer conversion and flat regular constraints

   • Hao Wu
   • Yu-Fang Chen
   • Naijun Zhan

   Original Article 24 October 2023 Pages: 23 - 52

   

3. Balancing m-ary search trees with compressions on the fringe

   • Shuyang Gao
   • Leen Hatem
   • Hosam Mahmoud

   Original Article 15 December 2023 Pages: 53 - 66

   

4. n-PS-codes, 2-infix-outfix codes and some related classes of codes

   • Haiyan Liu
   • Rongdong Cui
   • Tianjie Zhang

   Original Article 15 December 2023 Pages: 67 - 81

   

5. Neighborhood mutual remainder: self-stabilizing distributed implementation and applications

   • Shlomi Dolev
   • Sayaka Kamei
   • Koichi Wada

   Original Article 18 December 2023 Pages: 83 - 100