- Hiroto Fujimaru, Yuto Nakashima 0001, Shunsuke Inenaga. Tight bounds for the sensitivity of CDAWGs with left-end edits. Acta Informatica, 62(1):12, March 2025.
- Masood Ur Rehman 0001, Muhammad Ajmal. Effects on distance energy of some special complete multipartite graphs by embedding an edge. Acta Informatica, 62(2):22, June 2025.
- Hagit Attiya, Armando Castañeda, Constantin Enea. Preserving hyperproperties of programs using primitives with consensus number 2. Acta Informatica, 62(3):29, September 2025.
- Markus Chimani, Max Ilsen. Correction: Directed capacity-preserving subgraphs: hardness and exact polynomial algorithms. Acta Informatica, 62(3):27, September 2025.
- Joydeep Mukherjee, Tamojit Saha. Connected feedback vertex set on AT-free graphs. Acta Informatica, 62(1):2, March 2025.
- Zhengyang John Lu, Joel D. Day, Piyush Jha, Paul Sarnighausen-Cahn, Stefan Siemer, Florin Manea, Vijay Ganesh 0001. Novel tree-search method for synthesizing SMT strategies. Acta Informatica, 62(3):28, September 2025.
- Hichem Rami Ait El Hara, François Bobot, Guillaume Bury. Reasoning over n-indexed sequences in SMT. Acta Informatica, 62(3):33, September 2025.
- Sounaka Mishra. On minimum t-claw deletion in split graphs. Acta Informatica, 62(1):16, March 2025.
- Shmuel T. Klein, Dana Shapira. Dense non-binary Fibonacci codes. Acta Informatica, 62(1):8, March 2025.
- Shengyang Zhong. Correction: Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence. Acta Informatica, 62(1):11, March 2025.