Álvaro Enrique Arenas

Orcid: 0000-0003-1183-1283

According to our database1, Álvaro Enrique Arenas authored at least 68 papers between 1987 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Gold Rushes and Bandwagons: Blockchain's Markets and Developers.
Proceedings of the 29th Americas Conference on Information Systems, 2023

2022
Impact of digital leadership capability on innovation performance: The role of platform digitization capability.
Inf. Manag., 2022

Towards a Model of Technology Usage and Digital Maturity in children: a Grounded-Theory Approach.
Proceedings of the 30th European Conference on Information Systems, 2022

2021
Balancing Competition and Cooperation in IT Value Cocreation: The Case of Digital Platform Ecosystems.
Proceedings of the 27th Americas Conference on Information Systems, 2021

2020
IT value creation in public sector: how IT-enabled capabilities mitigate tradeoffs in public organisations.
Eur. J. Inf. Syst., 2020

2019
Identifying the business model dimensions of data sharing: A value-based approach.
J. Assoc. Inf. Sci. Technol., 2019

How does IT affect design centricity approaches: Evidence from Spain's smart tourism ecosystem.
Int. J. Inf. Manag., 2019

2018
Reading between the lines: Legal risk mitigation by equity crowdfunding platforms.
Proceedings of the 26th European Conference on Information Systems: Beyond Digitization, 2018

2016
A Utility-Based Reputation Model for the Internet of Things.
Proceedings of the ICT Systems Security and Privacy Protection, 2016

2015
Goal-Oriented Requirement Engineering Support for Business Continuity Planning.
Proceedings of the Advances in Conceptual Modeling, 2015

A Work-Systems Approach to Classifying Risks in Crowdfunding Platforms: An Exploratory Analysis.
Proceedings of the 21st Americas Conference on Information Systems, 2015

2012
Towards more Transparency in Quality of Protection for Infrastructure Clouds.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

2011
SecPAL4DSA: A Policy Language for Specifying Data Sharing Agreements.
Proceedings of the Secure and Trust Computing, Data Management and Applications, 2011

An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper).
Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

Model-Based Refinement of Security Policies in Collaborative Virtual Organisations.
Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

2010
Reputation management in collaborative computing systems.
Secur. Commun. Networks, 2010

Special section: Security, trust and privacy in Grid systems.
Future Gener. Comput. Syst., 2010

Management of Security Policies in Virtual Organisations.
Proceedings of the SECRYPT 2010, 2010

An Event-B Approach to Data Sharing Agreements.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

A Secure and Scalable Grid-Based Content Management System.
Proceedings of the ARES 2010, 2010

2009
Defeating Colluding Nodes in Desktop Grid Computing Platforms.
J. Grid Comput., 2009

Developing Autonomic and Secure Virtual Organisations with Chemical Programming.
Proceedings of the Stabilization, 2009

Detecting Conflicts in ABAC Policies with Rule-Reduction and Binary-Search Techniques.
Proceedings of the POLICY 2009, 2009

From Goal-Oriented Requirements to Event-B Specifications.
Proceedings of the First NASA Formal Methods Symposium, 2009

Data Processing Frame for Airborne SAR Prototype Development.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

On Usage Control in Data Grids.
Proceedings of the Trust Management III, Third IFIP WG 11.11 International Conference, 2009

Self-managed Microkernels: From Clouds towards Resource Fabrics.
Proceedings of the Cloud Computing - First International Conference, 2009

2008
Bridging the Gap between Legal and Technical Contracts.
IEEE Internet Comput., 2008

Contracts as Trust Substitutes in Collaborative Business.
Computer, 2008

Controlling Usage in Business Process Workflows through Fine-Grained Security Policies.
Proceedings of the Trust, 2008

Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach.
Proceedings of the Towards a Service-Based Internet, 2008

Reputation Management in Grid-based Virtual Organisations.
Proceedings of the SECRYPT 2008, 2008

NetFailPAC: A Single Failure Protection Algorithm with QoS Provision for Optical WDM Networks.
Proceedings of the Third International Conference on Systems, 2008

Towards Modelling Obligations in Event-B.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Modelling Security Properties in a Grid-based Operating System with Anti-Goals.
Proceedings of the The Third International Conference on Availability, 2008

2007
Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria.
Formal Methods Syst. Des., 2007

Managing Conflicts of Interest in Virtual Organisations.
Proceedings of the 3rd International Workshop on Security and Trust Management, 2007

An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations.
Proceedings of the Third International Conference on Security and Privacy in Communication Networks and the Workshops, 2007

Topic 6 Grid and Cluster Computing.
Proceedings of the Euro-Par 2007, 2007

Tackling the Collusion Threat in P2P-enhanced Internet Desktop Grids.
Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

A Utility-Based Reputation Model for Service-Oriented Computing.
Proceedings of the Towards Next Generation Grids, 2007

On trust management in grids.
Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

2006
The FMICS View on the Verified Software Repository.
Trans. SDPS, 2006

Applying Unifying Theories of Programming to Real-Time Programming.
Trans. SDPS, 2006

Scope of Forensics in Grid Computing - Vision and Perspectives.
Proceedings of the Frontiers of High Performance Computing and Networking, 2006

The TrustCoM Approach to Enforcing Agreements between Interoperating Enterprises.
Proceedings of the Enterprise Interoperability, 2006

Security Requirements Analysis for Large-Scale Distributed File Systems.
Proceedings of the Euro-Par 2006 Workshops: Parallel Processing, 2006

Security Requirements Model for Grid Data Management Systems.
Proceedings of the Critical Information Infrastructures Security, 2006

Deriving Policies from Grid Security Requirements Model.
Proceedings of the Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006, 2006

2005
A framework for Experience Management in Public Organisations.
Rev. Colomb. de Computación, 2005

Editorial.
Rev. Colomb. de Computación, 2005

Preface.
Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures.
Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 2005

Toward Web Services Profiles for Trust and Security in Virtual Organisations.
Proceedings of the Collaborative Networks and Their Breeding Environments, 2005

Paving the Way for Implementing Multiagent Systems: Integrating Gaia with Agent-UML.
Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

2004
On combining organisational modelling and graphical languages for the development of multiagent systems.
Integr. Comput. Aided Eng., 2004

Preface.
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Model of Experience for Public Organisations with Staff Mobility.
Proceedings of the Knowledge Management in Electronic Government, 2004

Toward a Library of Problem-Solving Methods on the Internet.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

Extending the Gaia Methodology with Agent-UML.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

An Experiment on Modelling Agents and Knowledge for the Semantic Web.
Proceedings of the Artificial Intelligence: Methodology, 2004

2003
Modelling Intelligent Agents for Organisational Memories.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

2002
Editorial.
Rev. Colomb. de Computación, 2002

Editorial.
Rev. Colomb. de Computación, 2002

An Algebraic Approach for Compiling Real-Time Programs.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2002

An Abstract Model for Scheduling Real-Time Programs.
Proceedings of the Formal Methods and Software Engineering, 2002

2000
Editorial.
Rev. Colomb. de Computación, 2000

1987
Position verification of a mobile robot using standard pattern.
IEEE J. Robotics Autom., 1987


  Loading...