- Margarita Mikhelson, Alexander Okhotin. A parallel algorithm for counting parse trees. Inf. Comput., 303:105237, 2025.
- Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder. Reasoning about group responsibility for exceeding risk threshold in one-shot games. Inf. Comput., 303:105257, 2025.
- J. Jackson, R. Perumal. An algebraic attack on the key exchange protocol based upon a modified tropical structure. Inf. Comput., 303:105259, 2025.
- Bosheng Song, Chuanlong Hu, David Orellana-Martín, Antonio Ramírez-de-Arellano, Mario J. Pérez-Jiménez, Xiangxiang Zeng. The computational properties of P systems with mutative membrane structures. Inf. Comput., 303:105277, 2025.
- Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio 0001, Hugo Francon, Sasha Rubin, Shufang Zhu 0001. ltl synthesis under environment specifications for reachability and safety properties. Inf. Comput., 303:105255, 2025.
- Maximilien Gadouleau, David C. Kutner. Generalising the maximum independent set algorithm via Boolean networks. Inf. Comput., 303:105266, 2025.
- Oded Shmueli. Nondeterminism and the clique problem. Inf. Comput., 303:105260, 2025.
- Dominique Laurent 0001, Nicolas Spyratos. Consistent query answering in multi-relation databases. Inf. Comput., 303:105279, 2025.
- Magnús M. Halldórsson, Dror Rawitz. Distributed fractional local ratio and independent set approximation. Inf. Comput., 303:105238, 2025.
- Nan Fang, Wolfgang Merkle. Extending CL-reducibility on array noncomputable degrees. Inf. Comput., 303:105258, 2025.