- Tonatiuh Tapia-Flores, Ernesto López-Mellado. Discovering workflow nets of concurrent iterative processes. Acta Informatica, 61(1):1-21, March 2024.
- Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan. A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica, 61(1):23-52, March 2024.
- Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada 0001. Neighborhood mutual remainder: self-stabilizing distributed implementation and applications. Acta Informatica, 61(1):83-100, March 2024.
- Shuyang Gao, Leen Hatem, Hosam M. Mahmoud. Balancing m-ary search trees with compressions on the fringe. Acta Informatica, 61(1):53-66, March 2024.
- Haiyan Liu, Rongdong Cui, Tianjie Zhang. n-PS-codes, 2-infix-outfix codes and some related classes of codes. Acta Informatica, 61(1):67-81, March 2024.
- Shlomi Dolev, Yin Li 0001. Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs. Acta Informatica, 60(1):59-78, March 2023.
- Giovanni Pighizzini, Luca Prigioniero. Pushdown automata and constant height: decidability and bounds. Acta Informatica, 60(2):123-144, June 2023.
- Haiyan Guo, Bo Zhou 0007. Minimum status of trees with a given degree sequence. Acta Informatica, 60(1):1-10, March 2023.
- Henning Fernau. Editorial 2023: changes and invariants. Acta Informatica, 60(4):331-333, December 2023.
- Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi. Decentralized runtime verification of message sequences in message-based systems. Acta Informatica, 60(2):145-178, June 2023.