- 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.
- Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi. Decentralized runtime verification of message sequences in message-based systems. Acta Informatica, 60(2):145-178, June 2023.
- Pál Dömösi, Géza Horváth, Norbert Tihanyi. Simple chain automaton random number generator for IoT devices. Acta Informatica, 60(3):317-329, September 2023.
- Asaf Levin, Tal Shusterman. Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times. Acta Informatica, 60(2):101-122, June 2023.
- Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili. Toward a theory of program repair. Acta Informatica, 60(3):209-255, September 2023.
- Ivano Lodato, Snehal M. Shekatkar, Tian An Wong. On partial information retrieval: the unconstrained 100 prisoner problem. Acta Informatica, 60(2):179-208, June 2023.
- Jingnan Xie, Harry B. Hunt. On the undecidability and descriptional complexity of synchronized regular expressions. Acta Informatica, 60(3):257-278, September 2023.
- Dietrich Kuske, Christian Schwarz. Alternating complexity of counting first-order logic for the subword order. Acta Informatica, 60(1):79-100, March 2023.