- Luping Zhang, Tingfang Wu. Homogeneous spiking neural P systems with synaptic failure. Inf. Comput., 304:105281, 2025.
- Hualin Miao, Qingguo Li. A dichotomy result for countably based sober spaces. Inf. Comput., 304:105293, 2025.
- Mugurel Barcau, Vicentiu Pasol, George C. Turcas. Composing bridges. Inf. Comput., 304:105285, 2025.
- 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.
- Takuya Mieno, Mitsuru Funakoshi, Yuto Nakashima 0001, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda. Computing maximal palindromes in non-standard matching models. Inf. Comput., 304:105283, 2025.
- Maximilien Gadouleau, David C. Kutner. Generalising the maximum independent set algorithm via Boolean networks. Inf. Comput., 303:105266, 2025.