Removing Cycles from Proofs. - Andrea Aler Tubella; Alessio Guglielmi; Benjamin Ralph (CSL, 2017)

Subatomic Proof Systems: Splittable Systems. - Andrea Aler Tubella; Alessio Guglielmi (ACM Trans. Comput. Log., 2018)

The Glass Box Approach: Verifying Contextual Adherence to Values. - Andrea Aler Tubella; Virginia Dignum (AISafety@IJCAI, 2019)

Governance by Glass-Box: Implementing Transparent Moral Bounds for AI Behaviour. - Andrea Aler Tubella; Andreas Theodorou; Frank Dignum; Virginia Dignum (IJCAI, 2019)

Contestable Black Boxes. - Andrea Aler Tubella; Andreas Theodorou; Virginia Dignum; Loizos Michael (RuleML+RR, 2020)

Interrogating the Black Box: Transparency through Information-Seeking Dialogues. - Andrea Aler Tubella; Andreas Theodorou; Juan Carlos Nieves (AAMAS, 2021)

Let Me Take Over: Variable Autonomy for Meaningful Human Control. - Leila Methnani; Andrea Aler Tubella; Virginia Dignum; Andreas Theodorou (Frontiers Artif. Intell., 2021)

Integrating Comprehensive Human Oversight in Drone Deployment: A Conceptual Framework Applied to the Case of Military Surveillance Drones. - Ilse Verdiesen; Andrea Aler Tubella; Virginia Dignum (Inf., 2021)

Ethical implications of fairness interventions: what might be hidden behind engineering choices? - Andrea Aler Tubella; Flavia Barsotti; Rüya Gökhan Koçer; Julian Alfredo Mendez (Ethics Inf. Technol., 2022)

Impact based fairness framework for socio-technical decision making. - Mattias Brännström; Lili Jiang 002; Andrea Aler Tubella; Virginia Dignum (AEQUITAS@ECAI, 2023)

ACROCPoLis: A Descriptive Framework for Making Sense of Fairness. - Andrea Aler Tubella; Dimitri Coelho Mollo; Adam Dahlgren Lindström; Hannah Devinney; Virginia Dignum; Petter Ericson; Anna Jonsson 001; Timotheus Kampik; Tom Lenaerts; Julian Alfredo Mendez; Juan Carlos Nieves (FAccT, 2023)

Beyond the Binary - Queering AI for an Inclusive Future. - Evelina Liliequist; Andrea Aler Tubella; Karin Danielsson; Coppélie Cocq (Interactions, 2023)

A Clearer View on Fairness: Visual and Formal Representations for Comparative Analysis. - Julian Alfredo Mendez; Timotheus Kampik; Andrea Aler Tubella; Virginia Dignum (SCAI, 2024)

Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI. - Georgios Bakirtzis; Andrea Aler Tubella; Andreas Theodorou; David Danks; Ufuk Topcu (CoRR, 2024)

How to teach responsible AI in Higher Education: challenges and opportunities. - Andrea Aler Tubella; Marçal Mora Cantallops; Juan Carlos Nieves (Ethics Inf. Technol., 2024)