- Christian Choffrut. Equational theory of ordinals with addition and left multiplication by ω. Fundamenta Informaticae, 194(1), 2025.
- Paul D. Manuel, Sandi Klavzar, R. Prabha, Andrew Arokiaraj. The geodesic cover problem for butterfly networks. Fundamenta Informaticae, 194(3), 2025.
- Elena Di Lavore, Wilmer Leal, Valeria de Paiva. Dialectica Petri Nets. Fundamenta Informaticae, 194(3), 2025.
- Jan Mielniczuk, Adam Wawrzenczyk. Single-sample Versus Case-control Sampling Scheme for Positive Unlabeled Data: the Story of Two Scenarios. Fundamenta Informaticae, 193(1-4):29-45, 2025.
- Ugo de'Liguoro, Riccardo Treglia. Intersection Types for a Computational Lambda-Calculus with Global State. Fundamenta Informaticae, 194(3), 2025.
- Tiziana Calamoneri, Angelo Monti, Fabrizio Petroni. All Graphs with at Most 8 Nodes are 2-interval-PCGs. Fundamenta Informaticae, 193(1-4):1-9, 2025.
- Chenxu Yang, Ping Li 0025, Yaping Mao, Eddie Cheng 0001, Ralf Klasing. Constructing disjoint Steiner trees in Sierpiński graphs. Fundamenta Informaticae, 194(1), 2025.
- Xiaorui Li, Baolei Cheng, Jianxi Fan, Yan Wang 0078, Dajin Wang. On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes. Fundamenta Informaticae, 193(1-4):11-28, 2025.
- Johannes Pahlke, Ivo F. Sbalzarini. On the Computational Power of Particle Methods. Fundamenta Informaticae, 194(1), 2025.
- Mnacho Echenim, Nicolas Peltier. Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates. Fundamenta Informaticae, 194(1), 2025.