| 2024 | Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction. | Antonio Cerone, Olzhas Zhalgendinov |
| 2024 | Pivotal Rules Consequence in Action Model Logic. | Valentin Cassano, Sabine Frittella |
| 2024 | Hierarchical Learning of Generative Automaton Models from Sequential Data. | Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler |
| 2024 | Logics for Dynamic Graph Games. | Johan van Benthem |
| 2024 | A New Fuzzy Approach to Transition and Bisimulation Systems. | Benjamn R. C. Bedregal, Claudio Callejas |
| 2024 | Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. | Jonas Becker-Kupczok, Paula Herber |
| 2024 | Paraconsistency for the Working Software Engineer (Extended Abstract). | Lus Soares Barbosa |
| 2024 | Execution-Time Opacity Control for Timed Automata. | tienne Andr, Marie Duflot, Laetitia Laversa, Engel Lefaucheux |
| 2024 | Behavioural Equivalences over Reconfigurable Systems. | Bogdan Aman, Gabriel Ciobanu |
| 2024 | Explicit Legg-Hutter Intelligence Calculations Which Suggest Non-Archimedean Intelligence. | Samuel Allen Alexander, Arthur Paul Pedersen |
| 2024 | On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret. | Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri |
| 2023 | Semantic Memory, Mnemonic Effort and Mnemonic Habit. | Matthew Watts |
| 2023 | Timeout Prediction for Software Analyses. | Nicola Thoben, Jan Haltermann, Heike Wehrheim |
| 2023 | QNNRepair: Quantized Neural Network Repair. | Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2023 | Verifying Read-Copy Update Under RC11. | Mikhail Semenyuk, Mark Batty, Brijesh Dongol |
| 2023 | A Formalization of Heisenbugs and Their Causes. | Sarah Sallinger, Georg Weissenbacher, Florian Zuleger |
| 2023 | Exact and Efficient Bayesian Inference for Privacy Risk Quantification. | Rasmus C. Rnneberg, Ral Pardo, Andrzej Wasowski |
| 2023 | Verified Scalable Parallel Computing with Why3. | Olivia Proust, Frdric Loulergue |
| 2023 | Clinical Cognitive Sciences. | Graham Pluck, Kris Ariyabuddhiphongs |
| 2023 | Guiding Symbolic Execution with A-Star. | Theo De Castro Pinto, Antoine Rollet, Grgoire Sutre, Ireneusz Tobor |
| 2023 | Facets of Openness in a Serious Game: Opening up Format, Content, Software and Hardware. | Donatella Persico, Francesca Pozzi |
| 2023 | CL-XAI: Toward Enriched Cognitive Learning with Explainable Artificial Intelligence. | Muhammad Suffian Nizami, Ulrike Kuhl, Jose Maria Alonso-Moral, Alessandro Bogliolo |
| 2023 | Refactoring of Multi-instance BPMN Processes with Time and Resources. | Quentin Nivon, Gwen Salan |
| 2023 | sfATM: A Logic for Quantitative Security Properties on Attack Trees. | Stefano M. Nicoletti, Milan Lopuha-Zwakenberg, Ernst Moritz Hahn, Marille Stoelinga |
| 2023 | SSCalc: A Calculus for Solidity Smart Contracts. | Diego Marmsoler, Billy Thornton |