Position verification of a mobile robot using standard pattern. - Mansur R. Kabuka; Alvaro E. Arenas (IEEE J. Robotics Autom., 1987)

Editorial. - Álvaro Enrique Arenas; José de Jesús Pérez Alcázar; Guillermo Rueda (Rev. Colomb. de Computación, 2001)

An Abstract Model for Scheduling Real-Time Programs. - Alvaro E. Arenas (ICFEM, 2002)

An Algebraic Approach for Compiling Real-Time Programs. - Alvaro E. Arenas (MTCS, 2002)

Editorial. - Álvaro Enrique Arenas (Rev. Colomb. de Computación, 2002)

Modelling Intelligent Agents for Organisational Memories. - Alvaro E. Arenas; Gareth Barrera-Sanabria (KES, 2003)

An Experiment on Modelling Agents and Knowledge for the Semantic Web. - Alvaro E. Arenas; Brian Matthews (AIMSA, 2004)

Extending the Gaia Methodology with Agent-UML. - Juan C. García-Ojeda; José de Jesús Pérez Alcázar; Álvaro Enrique Arenas (AAMAS, 2004)

Toward a Library of Problem-Solving Methods on the Internet. - Alvaro E. Arenas; Brian Matthews (EKAW, 2004)

Model of Experience for Public Organisations with Staff Mobility. - Jacek Kitowski; Krzysztof Krawczyk; Marta Majewska; Mariusz Dziewierz; Renata Slota; Simon C. Lambert; Alistair J. Miles; Alvaro E. Arenas; Ladislav Hluchý; Zoltán Balogh 001; Michal Laclavik; Sabine Delaître; et al. (KMGov, 2004)

Preface. - Juan Bicarregui; Andrew Butterfield; Alvaro Arenas (FMICS, 2004)

On combining organisational modelling and graphical languages for the development of multiagent systems. - Álvaro Enrique Arenas; Juan C. García-Ojeda; José de Jesús Pérez Alcázar (Integr. Comput. Aided Eng., 2004)

Paving the Way for Implementing Multiagent Systems: Integrating Gaia with Agent-UML. - Juan C. García-Ojeda; Álvaro Enrique Arenas; José de Jesús Pérez Alcázar (AOSE, 2005)

Toward Web Services Profiles for Trust and Security in Virtual Organisations. - Alvaro E. Arenas; Ivan Djordjevic; Theo Dimitrakos; Leonid Titkov; Joris Claessens; Christian Geuer-Pollmann; Emil C. Lupu; Nilufer Tuptuk; Stefan Wesner; Lutz Schubert (PRO-VE, 2005)

Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures. - Adomas Svirskas; Michael D. Wilson; Alvaro E. Arenas; Emil C. Lupu; Nilufer Tuptuk; David W. Chadwick; Pablo Giambiagi; Theodosis Dimitrakos; Bob Roberts (CEC Workshops, 2005)

Preface. - Alvaro E. Arenas; Jin Song Dong; Andrew P. Martin; Brian Matthews (WLFM@FM, 2005)

Editorial. - Álvaro Enrique Arenas; José de Jesús Pérez Alcázar (Rev. Colomb. de Computación, 2005)

Editorial. - Álvaro Enrique Arenas; José de Jesús Pérez Alcázar; Eduardo Carrillo Zambrano (Rev. Colomb. de Computación, 2005)

A framework for Experience Management in Public Organisations. - Simon C. Lambert; Alvaro E. Arenas; Alistair J. Miles (Rev. Colomb. de Computación, 2005)

Deriving Policies from Grid Security Requirements Model. - Syed Naqvi; Alvaro E. Arenas; Philippe Massonet (CoreGRID Integration Workshop, 2006)

Security Requirements Model for Grid Data Management Systems. - Syed Naqvi; Philippe Massonet; Alvaro Arenas (CRITIS, 2006)

Security Requirements Analysis for Large-Scale Distributed File Systems. - Syed Naqvi; Olivier Poitou; Philippe Massonet; Alvaro Arenas (Euro-Par Workshops, 2006)

The TrustCoM Approach to Enforcing Agreements between Interoperating Enterprises. - Michael D. Wilson; Alvaro Arenas; David W. Chadwick; Theo Dimitrakos; Jürgen Doser; Pablo Giambiagi; David Golby; Christian Geuer-Pollmann; Jochen Haller; Ketil Stølen; Tobias Mahler; Lorenzo Martino; et al. (I-ESA, 2006)

Scope of Forensics in Grid Computing - Vision and Perspectives. - Syed Naqvi; Philippe Massonet; Alvaro Arenas (ISPA Workshops, 2006)

Applying Unifying Theories of Programming to Real-Time Programming. - Alvaro E. Arenas; Juan Bicarregui (Trans. SDPS, 2006)

The FMICS View on the Verified Software Repository. - Alvaro E. Arenas; Juan Bicarregui; Tiziana Margaria (Trans. SDPS, 2006)

On trust management in grids. - Alvaro Arenas; Michael D. Wilson; Brian Matthews (Autonomics, 2007)

A Utility-Based Reputation Model for Service-Oriented Computing. - Gheorghe Cosmin Silaghi; Alvaro E. Arenas; Luís Moura Silva (CoreGRID, 2007)

Tackling the Collusion Threat in P2P-enhanced Internet Desktop Grids. - Gheorghe Cosmin Silaghi; Luís Moura Silva; Patrício Domingues; Álvaro Enrique Arenas (CoreGRID Workshop - Making Grids Work, 2007)

Topic 6 Grid and Cluster Computing. - Rosa M. Badia; Christian Pérez; Artur Andrzejak 001; Alvaro Arenas (Euro-Par, 2007)

An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations. - Gautier Dallons; Philippe Massonet; Jean-François Molderez; Christophe Ponsard; Alvaro Arenas (SecureComm, 2007)

Managing Conflicts of Interest in Virtual Organisations. - Alvaro Arenas; Benjamin Aziz; Juan Bicarregui; Brian Matthews (STM@ESORICS, 2007)

Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. - Andrew Butterfield; Juan Bicarregui; Alvaro Arenas (Formal Methods Syst. Des., 2007)

Modelling Security Properties in a Grid-based Operating System with Anti-Goals. - Alvaro Arenas; Benjamin Aziz; Juan Bicarregui; Brian Matthews; Erica Y. Yang (ARES, 2008)

Towards Modelling Obligations in Event-B. - Juan Bicarregui; Alvaro Arenas; Benjamin Aziz; Philippe Massonet; Christophe Ponsard (ABZ, 2008)

NetFailPAC: A Single Failure Protection Algorithm with QoS Provision for Optical WDM Networks. - Walter Grote; Alvaro Arenas; Alejandra Zapata (ICONS, 2008)

Reputation Management in Grid-based Virtual Organisations. - Álvaro Enrique Arenas; Benjamin Aziz; Gheorghe Cosmin Silaghi (SECRYPT, 2008)

Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. - Syed Naqvi; Philippe Massonet; Benjamin Aziz; Alvaro Arenas; Fabio Martinelli; Paolo Mori; Lorenzo Blasi; Giovanni Cortese (ServiceWave, 2008)

Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. - Benjamin Aziz; Alvaro Arenas; Fabio Martinelli; Ilaria Matteucci; Paolo Mori (TrustBus, 2008)

Contracts as Trust Substitutes in Collaborative Business. - Alvaro Arenas; Michael D. Wilson (Computer, 2008)

Bridging the Gap between Legal and Technical Contracts. - Alvaro Arenas; Michael D. Wilson; Shirley Y. Crompton; Dana Cojocarasu; Tobias Mahler; Lutz Schubert (IEEE Internet Comput., 2008)

Self-managed Microkernels: From Clouds towards Resource Fabrics. - Lutz Schubert; Stefan Wesner; Alexander Kipp; Alvaro Arenas (CloudComp, 2009)

On Usage Control in Data Grids. - Federico Stagni; Alvaro Arenas; Benjamin Aziz; Fabio Martinelli (IFIPTM, 2009)

Data Processing Frame for Airborne SAR Prototype Development. - Beatriz Gómez; María José González Bonilla; Juan Manuel Cuerda Muñoz; Juan Cores; Nuria Casal Vázquez; Nuria Gimeno Martínez; Patricia Cifuentes Revenga; Alvaro Arenas; Adolfo Lopez (IGARSS (4), 2009)

From Goal-Oriented Requirements to Event-B Specifications. - Benjamin Aziz; Alvaro Arenas; Juan Bicarregui; Christophe Ponsard; Philippe Massonet (NASA Formal Methods, 2009)

Detecting Conflicts in ABAC Policies with Rule-Reduction and Binary-Search Techniques. - Cheng-chun Shu; Erica Y. Yang; Alvaro E. Arenas (POLICY, 2009)

Developing Autonomic and Secure Virtual Organisations with Chemical Programming. - Alvaro E. Arenas; Jean-Pierre Banâtre; Thierry Priol (SSS, 2009)

Defeating Colluding Nodes in Desktop Grid Computing Platforms. - Gheorghe Cosmin Silaghi; Filipe Araújo; Luís Moura Silva; Patrício Domingues; Alvaro E. Arenas (J. Grid Comput., 2009)

A Secure and Scalable Grid-Based Content Management System. - Benjamin Aziz; Alvaro Arenas; Giovanni Cortese; Bruno Crispo; Silvio Causetti (ARES, 2010)

An Event-B Approach to Data Sharing Agreements. - Alvaro E. Arenas; Benjamin Aziz; Juan Bicarregui; Michael D. Wilson (IFM, 2010)

Management of Security Policies in Virtual Organisations. - Benjamin Aziz; Alvaro Arenas; Ian Johnson; Matej Artac; Ales Cernivec; Philip Robinson (SECRYPT, 2010)

Special section: Security, trust and privacy in Grid systems. - Álvaro Enrique Arenas; Philippe Massonet (Future Gener. Comput. Syst., 2010)

Reputation management in collaborative computing systems. - Alvaro E. Arenas; Benjamin Aziz; Gheorghe Cosmin Silaghi (Secur. Commun. Networks, 2010)

Model-Based Refinement of Security Policies in Collaborative Virtual Organisations. - Benjamin Aziz; Alvaro E. Arenas; Michael D. Wilson (ESSoS, 2011)

An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper). - Alvaro E. Arenas; Benjamin Aziz; Szymon Maj; Brian Matthews (ServiceWave, 2011)

SecPAL4DSA: A Policy Language for Specifying Data Sharing Agreements. - Benjamin Aziz; Alvaro Arenas; Michael D. Wilson (STA, 2011)

Towards more Transparency in Quality of Protection for Infrastructure Clouds. - Philippe Massonet; Alvaro Arenas (QUATIC, 2012)

A Work-Systems Approach to Classifying Risks in Crowdfunding Platforms: An Exploratory Analysis. - Alvaro Arenas; Jie Mein Goh; Manan Podar (AMCIS, 2015)

Goal-Oriented Requirement Engineering Support for Business Continuity Planning. - Álvaro Enrique Arenas; Philippe Massonet; Christophe Ponsard; Benjamin Aziz (ER Workshops, 2015)

A Utility-Based Reputation Model for the Internet of Things. - Benjamin Aziz; Paul Fremantle; Rui Wei; Álvaro Enrique Arenas (SEC, 2016)

Reading between the lines: Legal risk mitigation by equity crowdfunding platforms. - Manan Podar; Alvaro E. Arenas; Jie Mein Goh; Ambuj Anand (ECIS, 2018)

How does IT affect design centricity approaches: Evidence from Spain's smart tourism ecosystem. - Alvaro E. Arenas; Jie Mein Goh; Alberto Urueña (Int. J. Inf. Manag., 2019)

Identifying the business model dimensions of data sharing: A value-based approach. - Alvaro E. Arenas; Jie Mein Goh; Brian Matthews (J. Assoc. Inf. Sci. Technol., 2019)

IT value creation in public sector: how IT-enabled capabilities mitigate tradeoffs in public organisations. - Jie Mein Goh; Alvaro E. Arenas (Eur. J. Inf. Syst., 2020)

Balancing Competition and Cooperation in IT Value Cocreation: The Case of Digital Platform Ecosystems. - Yasalde Oldair Jimenez; Alvaro E. Arenas (AMCIS, 2021)

Towards a Model of Technology Usage and Digital Maturity in children: a Grounded-Theory Approach. - Alvaro E. Arenas; Pouye Yazdi (ECIS, 2022)

Impact of digital leadership capability on innovation performance: The role of platform digitization capability. - Jose Benitez 001; Alvaro Arenas; Ana Castillo López; José Esteves 001 (Inf. Manag., 2022)

Gold Rushes and Bandwagons: Blockchain's Markets and Developers. - Benjamin Barraza; Kiron Ravindran; Alvaro E. Arenas (AMCIS, 2023)

An Analysis of Data Breach Notifications in the Educational Sector: A Situational Crisis Communication Theory Perspective. - Alfred P. Ortiz; Alvaro E. Arenas (AMCIS, 2024)

Identifying AI Bias and Mitigation Challenges Through a Socio-Technical Perspective. - Marco Smacchia; Stefano Za; Alvaro E. Arenas (ECIS, 2024)

Socially (dis)connected in a connected world: The role of young people's digital maturity. - Teresa Koch; Franziska Laaber; Alvaro Arenas; Arnd Florack (Comput. Hum. Behav., 2025)