Ausgabe 1/2024
Inhalt (5 Artikel)
Open Access
Original Article
Discovering workflow nets of concurrent iterative processes
Tonatiuh Tapia-Flores, Ernesto López-Mellado
Original Article
A decision procedure for string constraints with string/integer conversion and flat regular constraints
Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan
Original Article
Balancing m-ary search trees with compressions on the fringe
Shuyang Gao, Leen Hatem, Hosam Mahmoud
Original Article
n-PS-codes, 2-infix-outfix codes and some related classes of codes
Haiyan Liu, Rongdong Cui, Tianjie Zhang
Original Article
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications
Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada