| 2023 | Traffic Intersections as Agents: A model checking approach for analysing communicating agents. | Thamilselvam B, Yenda Ramesh, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao |
| 2023 | SOTERIA: Preserving Privacy in Distributed Machine Learning. | Cludia Brito, Pedro Ferreira, Bernardo Portela, Rui Oliveira, Joo Paulo |
| 2023 | Ontology-Mediated Data Migration: Deriving Migration Rules by Reasoning on Schema Descriptions. | Loris Bozzato, Luciano Serafini |
| 2023 | Migration from HL7 Clinical Document Architecture (CDA) to Fast Health Interoperability Resources (FHIR) in Infectious Disease Information System of Estonia. | Igor Bossenko, Kerli Linna, Gunnar Piho, Peeter Ross |
| 2023 | Zero-Shot Taxonomy Mapping for Document Classification. | Lorenzo Bongiovanni, Luca Bruno, Fabrizio Dominici, Giuseppe Rizzo |
| 2023 | Multi-thread Combinatorial Test Generation with SMT solvers. | Andrea Bombarda, Angelo Gargantini, Andrea Calvagna |
| 2023 | On evaluating text similarity measures for customer data deduplication. | Pawel Boinski, Mariusz Sienkiewicz, Robert Wrembel, Bartosz Bebel, Witold Andrzejewski |
| 2023 | An Energy-efficient FaaS Edge Computing platform over IoT Nodes: Focus on Consensus Algorithm. | David Fernndez Blanco, Frederic Le Mouel, Trista Lin, Julien Ponge |
| 2023 | Towards automated verification of Bitcoin-based decentralised applications. | Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti |
| 2023 | Graph-based semi-supervised classification for similar wildfire dynamics. | Lilian Berton, Pedro Oliveira, Didier A. Vega-Oliveros |
| 2023 | Analysis of active semi-supervised learning. | Lilian Berton, Felipe Mitsuishi, Didier Augusto Vega-Oliveros |
| 2023 | Finding Indicator Diseases of Psychiatric Disorders in BigData using Clustered Association Rule Mining. | Markus Bertl, Mahtab Shahin, Peeter Ross, Dirk Draheim |
| 2023 | An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. | Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat |
| 2023 | Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates. | Thibaut Benjamin, Julien Signoles |
| 2023 | Student Research Abstract: Why and Where Software Developers are (not) using Project Data in Agile Retrospectives. | Leon Bein |
| 2023 | Model-Driven Integration and the OSLC Standard: a Mapping of Applied Studies. | Fbio Basso, Bruno Marcelo Soares Ferreira, Rafael Torres, Rafael Z. Frantz, Diego Kreutz, Maicon Bernardino, Elder de Macedo Rodrigues |
| 2023 | Defektor: An Extensible Tool for Fault Injection Campaign Management in Microservice Systems. | Goncalo Baptista, Jaime Correia, Andr Bento, Joo Soares, Antonio Ferreira, Joo Dures, Raul Barbosa, Filipe Arajo |
| 2023 | A Semantic Evidence-based Approach to Continuous Cloud Service Certification. | Christian Banse, Immanuel Kunz, Nico Haas, Angelika Schneider |
| 2023 | Deep-Learning based Trust Management with Self-Adaptation in the Internet of Behavior. | Hind Bangui, Emilia Cioroaica, Mouzhi Ge, Barbora Buhnova |
| 2023 | Breaking Symmetry for Knowledge Compilation. | Andrea Balogh, Barry O'Sullivan |
| 2023 | On the Shift to Decentralised Identity Management in Distributed Data Exchange Systems. | Mariia Bakhtina, Raimundas Matulevicius, Ahmed Awad, Petteri Kivimki |
| 2023 | Million.js: A Fast Compiler-Augmented Virtual DOM for the Web. | Aiden Bai |
| 2023 | Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah |
| 2023 | Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. | Franz Baader |
| 2023 | A Software-Only Approach to Enable Diverse Redundancy on Intel GPUs for Safety-Related Kernels. | Nikolaos Andriotis, Alejandro Serrano-Cases, Sergi Alcaide, Jaume Abella, Francisco J. Cazorla, Yang Peng, Andrea Baldovin, Michael Paulitsch, Vladimir Tsymbal |