Dolev, Shlomi; Kamei, Sayaka; Katayama, Yoshiaki; Ooshita, Fukuhito; Wada, Koichi Neighborhood mutual remainder: self-stabilizing distributed implementation and applications. (English) Zbl 07813605 Acta Inf. 61, No. 1, 83-100 (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Liu, Haiyan; Cui, Rongdong; Zhang, Tianjie \(n\)-PS-codes, 2-infix-outfix codes and some related classes of codes. (English) Zbl 07813604 Acta Inf. 61, No. 1, 67-81 (2024). MSC: 68Qxx 68R15 68Q70 20M35 × Cite Format Result Cite Review PDF Full Text: DOI
Gao, Shuyang; Hatem, Leen; Mahmoud, Hosam Balancing \(m\)-ary search trees with compressions on the fringe. (English) Zbl 07813603 Acta Inf. 61, No. 1, 53-66 (2024). MSC: 68Qxx 68P05 68P10 68P20 05C05 60C05 60F05 × Cite Format Result Cite Review PDF Full Text: DOI
Wu, Hao; Chen, Yu-Fang; Wu, Zhilin; Xia, Bican; Zhan, Naijun A decision procedure for string constraints with string/integer conversion and flat regular constraints. (English) Zbl 07813602 Acta Inf. 61, No. 1, 23-52 (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Tapia-Flores, Tonatiuh; López-Mellado, Ernesto Discovering workflow nets of concurrent iterative processes. (English) Zbl 07813601 Acta Inf. 61, No. 1, 1-21 (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI OA License