| 2026 | Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck |
| 2024 | A New Fuzzy Approach to Transition and Bisimulation Systems. Benjamín R. C. Bedregal, Claudio Callejas |
| 2024 | A Non-geographical Approach to the Study of Culture-Mediated Acceptance of Social Robots. Leonardo Lapomarda, Alex Barco, Edoardo Datteri |
| 2024 | Arbitrary Radical Upgrades. Raul Fervari, Benjamin Icard |
| 2024 | Behavioural Equivalences over Reconfigurable Systems. Bogdan Aman, Gabriel Ciobanu |
| 2024 | Binders for Switch Graphs Specification. Daniel Figueiredo, Alexandre Madeira |
| 2024 | Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction. Antonio Cerone, Olzhas Zhalgendinov |
| 2024 | Executive Cognitive Control of Free Choices. Graham Pluck, Fei Gu, Natasha Asawanuchit, Suphasiree Chantavarin |
| 2024 | Explicit Legg-Hutter Intelligence Calculations Which Suggest Non-Archimedean Intelligence. Samuel Allen Alexander, Arthur Paul Pedersen |
| 2024 | From Birth to Loss of Representations in Artificial Neural Networks. Philipp Stecher |
| 2024 | Higher-Order Arrows for Path-Dependent Many-Valued Systems. Sérgio Marcelino |
| 2024 | Logics for Dynamic Graph Games. Johan van Benthem |
| 2024 | Many-Logic Modal Structures Based on the Lattice L6: A First Look. Abilio Rodrigues, Marcelo E. Coniglio, Alfredo Freire |
| 2024 | On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret. Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri |
| 2024 | On the Morphic Problem in Artificial Neural Networks. Giovanni Galli |
| 2024 | Paraconsistent Reactive Graphs. Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa |
| 2024 | Pivotal Rules Consequence in Action Model Logic. Valentin Cassano, Sabine Frittella |
| 2024 | Reconfiguring Staggered Quantum Walks with ZX. Bruno Jardim, Jaime Santos, Luís Soares Barbosa |
| 2024 | Time Factor in Neural Learning Processes. Fabrizia Giulia Garavaglia, Marco Giunti, Giuseppe Sergioli |
| 2024 | Towards Resolving Distributed Beliefs. John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes |
| 2024 | Towards a Readability Criterion for Humans and Machines. Pedro Quaresma, Pierluigi Graziani |