Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. - Nardine Osman 001; David Robertson 001; Christopher Walton (EUMAS, 2005)

Dynamic Model Checking for Multi-agent Systems. - Nardine Osman 001; David Robertson 001; Christopher Walton (DALT, 2006)

Dynamic Verification of Trust in Distributed Open Systems. - Nardine Osman 001; David Robertson 001 (IJCAI, 2007)

Runtime verification of deontic and trust models in multiagent interactions. - Nardine Zoulfikar Osman (2008)

An interaction-centric approach to support peer coordination in distributed emergency response management. - Maurizio Marchese; Lorenzino Vaccari; Gaia Trecarichi; Nardine Osman 001; Fiona McNeill; Paolo Besana (Intell. Decis. Technol., 2009)

Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing. - David Robertson 001; Adam Barker; Paolo Besana; Alan Bundy; Yun-Heh Chen-Burger; David Dupplaw; Fausto Giunchiglia; Frank van Harmelen; Mohd Fadzil Hassan 001; Spyros Kotoulas; David Lambert; Li Guo 002; et al. (Advances in Web Semantics I, 2009)

Propagation of Opinions in Structural Graphs. - Nardine Osman 001; Carles Sierra; Jordi Sabater-Mir (ECAI, 2010)

Simulating Research Behaviour. - Nardine Osman 001; Jordi Sabater-Mir; Carles Sierra; Jordi Madrenas-Ciurana (MABS, 2011)

Alternatives to Peer Review: Novel Approaches for Research Evaluation. - Aliaksandr Birukou; Joseph R. Wakeling; Claudio Bartolini; Fabio Casati; Maurizio Marchese; Katsiaryna Mirylenka; Nardine Osman 001; Azzurra Ragone; Carles Sierra; Aalam Wassef (Frontiers Comput. Neurosci., 2011)

WeCurate: Designing For Synchronised Browsing And Social Negotiation. - Leila Amgoud; Roberto Confalonieri 001; Dave de Jonge; Mark d'Inverno; Katina Hazelden; Nardine Osman 001; Henri Prade; Carles Sierra; Matthew Yee-King (AT, 2012)

Experiences - A Forgotten Component of Epistemic States. - Leila Amgoud; Mark d'Inverno; Nardine Osman 001; Henri Prade; Carles Sierra (AT, 2012)

u-Help: Supporting Helpful Communities with Information Technology. - Andrew Koster; Jordi Madrenas-Ciurana; Nardine Osman 001; W. Marco Schorlemmer; Jordi Sabater-Mir; Carles Sierra; Dave de Jonge; Angela Fabregues; Josep Puyol-Gruart; Pere Garcia-Calvés (AT, 2012)

Towards Community Browsing for Shared Experiences: The WeBrowse System. - Matthew Yee-King; Roberto Confalonieri 001; Dave de Jonge; Nardine Osman 001; Katina Hazelden; Leila Amgoud; Henri Prade; Carles Sierra; Mark d'Inverno (AT, 2012)

Sharing Online Cultural Experiences: An Argument-Based Approach. - Leila Amgoud; Roberto Confalonieri 001; Dave de Jonge; Mark d'Inverno; Katina Hazelden; Nardine Osman 001; Henri Prade; Carles Sierra; Matthew Yee-King (MDAI, 2012)

Charms: a Charter Management System. Automating the Integration of Electronic Institutions and Humans. - Ismel Brito; Nardine Osman 001; Jordi Sabater-Mir; Carles Sierra (Appl. Artif. Intell., 2012)

Multiuser museum interactives for shared cultural experiences: an agent-based approach. - Matthew Yee-King; Roberto Confalonieri 001; Dave de Jonge; Katina Hazelden; Carles Sierra; Mark d'Inverno; Leila Amgoud; Nardine Osman 001 (AAMAS, 2013)

WeCurate: multiuser museum interactives for shared cultural experiences. - Katina Hazelden; Matthew Yee-King; Roberto Confalonieri 001; Carles Sierra; Fiammetta Ghedini; Dave de Jonge; Nardine Osman 001; Mark d'Inverno (CHI Extended Abstracts, 2013)

E2 participation: electronically empowering citizens for social innovation through agreement technologies. - Carlos Iván Chesñevar; Ana Gabriela Maguitman; Elsa Estevez; Nardine Osman 001; Carles Sierra (DG.O, 2013)

Charters for Self-Evolving Communities. - Nardine Osman 001; Carles Sierra; W. Marco Schorlemmer (EUMAS, 2013)

An experience-based BDI logic: Motivating shared experiences and intentionality. - Nardine Osman 001; Mark d'Inverno; Carles Sierra; Leila Amgoud; Henri Prade; Matthew Yee-King; Roberto Confalonieri 001; Dave de Jonge; Katina Hazelden (IECON, 2013)

Trust and matching algorithms for selecting suitable agents. - Nardine Osman 001; Carles Sierra; Fiona McNeill; Juan Pane; John K. Debenham (ACM Trans. Intell. Syst. Technol., 2013)

Collaborative Assessment. - Patricia Gutierrez; Nardine Osman 001; Carles Sierra (CCIA, 2014)

A Roadmap for Self-Evolving Communities. - Nardine Osman 001; Carles Sierra (ECSI, 2014)

MORE: Merged Opinions Reputation Model. - Nardine Osman 001; Alessandro Provetti; Valerio Riggi; Carles Sierra (EUMAS, 2014)

Dynamic Coordination in Fleet Management Systems: Toward Smart Cyber Fleets. - Holger Billhardt; Alberto Fernández 002; Lissette Lemus; Marin Lujak; Nardine Osman 001; Sascha Ossowski; Carles Sierra (IEEE Intell. Syst., 2014)

Automating Personalized Learning Through Motivation. - Patricia Gutierrez; Nardine Osman 001; Carles Sierra (EUMAS/AT, 2015)

Personalised automated assessments. - Patricia Gutierrez; Nardine Osman 001; Carles Sierra (AInF@IJCAI, 2015)

Engineering multiuser museum interactives for shared cultural experiences. - Roberto Confalonieri 001; Matthew Yee-King; Katina Hazelden; Mark d'Inverno; Dave de Jonge; Nardine Osman 001; Carles Sierra; Leila Amgoud; Henri Prade (Eng. Appl. Artif. Intell., 2015)

Trustworthy advice. - Nardine Osman 001; Patricia Gutierrez; Carles Sierra (Knowl. Based Syst., 2015)

Trust-based community assessment. - Patricia Gutierrez; Nardine Osman 001; Carme Roig; Carles Sierra (Pattern Recognit. Lett., 2015)

Personalised Automated Assessments. - Patricia Gutierrez; Nardine Osman 001; Carme Roig; Carles Sierra (AAMAS, 2016)

Reputation in the Academic World. - Nardine Osman 001; Carles Sierra (ECAI, 2016)

The Need for Affective Trust Applied to Trust and Reputation Models. - Jones Granatyr; Nardine Osman 001; João Miguel Dias; Maria Augusta Silveira Netto Nunes; Judith Masthoff; Fabrício Enembreck; Otto Robert Lessing; Carles Sierra; Ana Paiva 001; Edson Emílio Scalabrin (ACM Comput. Surv., 2017)

Responsible Technologies. - Nardine Osman 001; Carles Sierra (GCAI, 2018)

On the Automatic Analysis of Rules Governing Online Communities. - Adan Beltran; Nardine Osman 001; Lourdes Aguilar; Carles Sierra (IBERAMIA, 2018)

Partakable Technology. - Nardine Osman 001 (IJCAI, 2018)

Open Social Systems. - Nardine Osman 001; Carles Sierra; Ronald Chenu-Abente; Qiang Shen 005; Fausto Giunchiglia (EUMAS/AT, 2020)

Enabling Game-Theoretical Analysis of Social Rules. - Nieves Montes; Nardine Osman 001; Carles Sierra (CCIA, 2021)

Learning for Detecting Norm Violation in Online Communities. - Thiago Freitas dos Santos; Nardine Osman 001; Marco Schorlemmer (COINE, 2021)

Value alignment: a formal approach. - Carles Sierra; Nardine Osman 001; Pablo Noriega; Jordi Sabater-Mir; Antoni Perelló (CoRR, 2021)

Empowering Users in Online Open Communities. - Nardine Osman 001; Ronald Chenu-Abente; Qiang Shen 005; Carles Sierra; Fausto Giunchiglia (SN Comput. Sci., 2021)

Ensemble and Incremental Learning for Norm Violation Detection. - Thiago Freitas dos Santos; Nardine Osman 001; Marco Schorlemmer (AAMAS, 2022)

Towards Automated Compliance Checking of Building Regulations: smartNorms4BIM. - Ignacio Huitzil; Marco Schorlemmer; Nardine Osman 001; Pere Garcia; Josep Coll; Xavier Coll (CCIA, 2022)

Combining Theory of Mind and Abduction for Cooperation Under Imperfect Information. - Nieves Montes; Nardine Osman 001; Carles Sierra (EUMAS, 2022)

A norm optimisation approach to SDGs: tackling poverty by acting on discrimination. - Georgina Curto; Nieves Montes; Carles Sierra; Nardine Osman 001; Flavio Comim (IJCAI, 2022)

An Agent-Based Model for Poverty and Discrimination Policy-Making. - Nieves Montes; Georgina Curto; Nardine Osman 001; Carles Sierra (AMPM@JURIX, 2022)

A computational model of Ostrom's Institutional Analysis and Development framework. - Nieves Montes; Nardine Osman 001; Carles Sierra (Artif. Intell., 2022)

Leveraging Diversity in Online Interactions (Short Paper). - Nardine Osman 001; Bruno Rosell i Gui; Carles Sierra (HHAI Workshops, 2023)

A Computational Model of Ostrom's Institutional Analysis and Development Framework (Extended Abstract). - Nieves Montes; Nardine Osman 001; Carles Sierra (IJCAI, 2023)

Cross-community Adapter Learning (CAL) to Understand the Evolving Meanings of Norm Violation. - Thiago Freitas dos Santos; Stephen Cranefield; Bastin Tony Roy Savarimuthu; Nardine Osman 001; Marco Schorlemmer (IJCAI, 2023)

Perspective-Dependent Value Alignment of Norms. - Nieves Montes; Nardine Osman 001; Carles Sierra (VALE, 2023)

uHelp: intelligent volunteer search for mutual help communities. - Nardine Osman 001; Bruno Rosell; Carles Sierra; Marco Schorlemmer; Jordi Sabater-Mir; Lissette Lemus (CoRR, 2023)

Value Engineering for Autonomous Agents. - Nieves Montes; Nardine Osman 001; Carles Sierra; Marija Slavkovik 001 (CoRR, 2023)

Human Values in Multiagent Systems. - Nardine Osman 001; Mark d'Inverno (CoRR, 2023)

A computational framework of human values for ethical AI. - Nardine Osman 001; Mark d'Inverno (CoRR, 2023)

Leveraging Diversity in Online Interactions. - Nardine Osman 001; Bruno Rosell i Gui; Carles Sierra (CoRR, 2023)

Combining theory of mind and abductive reasoning in agent-oriented programming. - Nieves Montes; Michael Luck; Nardine Osman 001; Odinaldo Rodrigues; Carles Sierra (Auton. Agents Multi Agent Syst., 2023)

A multi-scenario approach to continuously learn and understand norm violations. - Thiago Freitas dos Santos; Nardine Osman 001; Marco Schorlemmer (Auton. Agents Multi Agent Syst., 2023)

A Computational Framework of Human Values. - Nardine Osman 001; Mark d'Inverno (AAMAS, 2024)

Can Poverty Be Reduced by Acting on Discrimination? An Agent-based Model for Policy Making. - Alba Aguilera; Nieves Montes; Georgina Curto; Carles Sierra; Nardine Osman 001 (AAMAS, 2024)

Value-Aware Multiagent Systems. - Nardine Osman 001 (COINE, 2024)

Can Interpretability Layouts Influence Human Perception of Offensive Sentences? - Thiago Freitas dos Santos; Nardine Osman 001; Marco Schorlemmer (EXTRAAMAS, 2024)

Towards Value Awareness in the Medical Field. - Manel Rodriguez-Soto; Nardine Osman 001; Carles Sierra; Paula Sánchez Veja; Rocio Cintas Garcia; Cristina Farriols Danes; Montserrat Garcia Retortillo; Silvia Minguez Maso (ICAART (3), 2024)

Value-Enriched Population Synthesis: Integrating a Motivational Layer. - Alba Aguilera; Miquel Albertí; Nardine Osman 001; Georgina Curto (VALE, 2024)

Towards the Incorporation of Social Values in Automated Negotiation Strategies. - Laura Rodriguez Cima; Dave de Jonge; Nardine Osman 001 (VALE, 2024)

User Study Design for Identifying the Semantics of Bioethical Principles. - Manel Rodriguez-Soto; Nardine Osman 001; Carles Sierra; Nieves Montes; Jordi Martinez Roldan; Rocio Cintas Garcia; Cristina Farriols Danes; Montserrat Garcia Retortillo; Silvia Minguez Maso (VALE, 2024)

Modelling Human Values for AI Reasoning. - Nardine Osman 001; Mark d'Inverno (CoRR, 2024)

Semantic Building Information Modeling: An empirical evaluation of existing tools. - Ignacio Huitzil; Miguel Molina-Solana; Juan Gómez-Romero; Marco Schorlemmer; Pere Garcia-Calvés; Nardine Osman 001; Josep Coll; Fernando Bobillo (J. Ind. Inf. Integr., 2024)

Is this a violation? Learning and understanding norm violations in online communities. - Thiago Freitas dos Santos; Nardine Osman 001; Marco Schorlemmer (Artif. Intell., 2024)

Towards Automating the Design of Value-Aligned Clinical Protocols. - Manel Rodriguez-Soto; Nardine Osman 001; Carles Sierra; Rocio Cintas Garcia; Cristina Farriols Danes; Montserrat Garcia Retortillo; Silvia Minguez Maso; Jordi Martinez Roldan (AAMAS, 2025)

Agent-based Modeling meets the Capability Approach for Human Development: Simulating Homelessness Policy-making. - Alba Aguilera; Nardine Osman 001; Georgina Curto (CoRR, 2025)

Barriers to Healthcare: Agent-Based Modeling to Mitigate Inequity. - Alba Aguilera; Georgina Curto; Nardine Osman 001 (CoRR, 2025)