Pedro Álvarez

Affiliations:
  • University of Zaragoza, Spain


According to our database1, Pedro Álvarez authored at least 57 papers between 1999 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Automatic linguistic reporting of customer activity patterns in open malls.
Multim. Tools Appl., 2022

Defense and Attack Techniques Against File-Based TOCTOU Vulnerabilities: A Systematic Review.
IEEE Access, 2022

2021
A learning experience toward the understanding of abstraction-level interactions in parallel applications.
J. Parallel Distributed Comput., 2021

2020
Mobile music recommendations for runners based on location and emotions: The DJ-Running system.
Pervasive Mob. Comput., 2020

Log-Based Session Profiling and Online Behavioral Prediction in E-Commerce Websites.
IEEE Access, 2020

Estimation of Customer Activity Patterns in Open Malls by Means of Combining Localization and Process Mining Techniques.
Proceedings of the Advances in Physical Agents II, 2020

2019
Reducing the price of resource provisioning using EC2 spot instances with prediction models.
Future Gener. Comput. Syst., 2019


An Automatic Emotion Recognition System for Annotating Spotify's Songs.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

A cloud-based parallel system for locating customers in indoor malls.
Proceedings of the Short Paper Proceedings of the Tenth International Conference on Indoor Positioning and Indoor Navigation - Work-in-Progress Papers (IPIN-WiP 2019) co-located with the Tenth International Conference on Indoor Positioning and Indoor Navigation (IPIN 2019), Pisa, Italy, September 30th, 2019

DJ-Running: An Emotion-based System for Recommending Spotify Songs to Runners.
Proceedings of the 7th International Conference on Sport Sciences Research and Technology Support, 2019

2018
Analysis of Innovative Approaches in the Class Using Conceptual Maps and Considering the Learning Styles of Students.
Rev. Iberoam. de Tecnol. del Aprendiz., 2018

Cost-driven provisioning and execution of a computing-intensive service on the Amazon EC2.
Comput. J., 2018

Behavioral Analysis of Scientific Workflows With Semantic Information.
IEEE Access, 2018

On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction.
Proceedings of the Fifth International Conference on Social Networks Analysis, 2018

DJ-Running: Wearables and Emotions for Improving Running Performance.
Proceedings of the Human Systems Engineering and Design, 2018

Semantics and service technologies for the automatic generation of online MCQ tests.
Proceedings of the 2018 IEEE Global Engineering Education Conference, 2018

2017
Parallel computation of the reachability graph of petri net models with semantic information.
Softw. Pract. Exp., 2017

Analysis of Users' Behavior in Structured e-Commerce Websites.
IEEE Access, 2017

Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2016
Alignment of teacher's plan and students' use of LMS resources. Analysis of Moodle logs.
Proceedings of the 15th International Conference on Information Technology Based Higher Education and Training, 2016

A History-Based Model for Provisioning EC2 Spot Instances with Cost Constraints.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2016

2015
Integration of grid, cluster and cloud resources to semantically annotate a large-sized repository of learning objects.
Concurr. Comput. Pract. Exp., 2015

Cost Estimation for the Provisioning of Computing Resources to Execute Bag-of-Tasks Applications in the Amazon Cloud.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2015

2014
Solving the Interoperability Problem by Means of a Bus - An Experience on the Integration of Grid, Cluster and Cloud Infrastructures.
J. Grid Comput., 2014

2013
A practical experience concerning the parallel semantic annotation of a large-scale data collection.
Proceedings of the I-SEMANTICS 2013 - 9th International Conference on Semantic Systems, 2013

Cost Evaluation of Migrating a Computation Intensive Problem from Clusters to Cloud.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

A Reliable and Scalable Service Bus Based on Amazon SQS.
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

2012
Model Checking Analysis of Semantically Annotated Business Processes.
IEEE Trans. Syst. Man Cybern. Part A, 2012

Automatic execution of business process models: Exploiting the benefits of Model-driven Engineering approaches.
J. Syst. Softw., 2012

Simulation and Realistic Workloads to Support the Meta-scheduling of Scientific Workflows.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2012

A Simulation-based Scheduling Strategy for Scientific Workflows.
Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

2011
Analyzing behavioral properties of semantic business processes with parametric data.
Concurr. Comput. Pract. Exp., 2011

Control and data flow compatibility in the interaction between dynamic business processes.
Concurr. Comput. Pract. Exp., 2011

DENEB: a platform for the development and execution of interoperable dynamic Web processes.
Concurr. Comput. Pract. Exp., 2011

2010
An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows.
J. Comput. Syst. Sci., 2010

Adaptive exception handling for scientific workflows.
Concurr. Comput. Pract. Exp., 2010

2009
Symbolic Analysis of the Behavior of Semantic Business Processes.
Proceedings of the 2009 International Conference on Semantic Web & Web Services, 2009

RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes.
Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009

2008
Exception handling patterns for hierarchical scientific workflows.
Proceedings of the 6th International Workshop on Middleware for Grid Computing (MGC 2008), 2008

On Interlinking of Grids: A Proposal for Improving the Flexibility of Grid Service Interactions.
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes.
Proceedings of the ECOWS 2008, 2008

Flow and Data Compatibility for the Correct Interaction between Web Processes.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Runtime Protocol Binding: Flexible Service Integration by Means of Flexible Service Interactions.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Vega: A Service-Oriented Grid Workflow Management System.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Formal Reasoning on a Web Coordination System.
Proceedings of the Computer Aided Systems Theory, 2007

DRLinda: A Distributed Message Broker for Collaborative Interactions Among Business Processes.
Proceedings of the E-Commerce and Web Technologies, 8th International Conference, 2007

2006
Formal Modelling of a Coordination System: From Practice to Theory, and Back Again.
Proceedings of the Engineering Societies in the Agents World VII, 2006

RLinda: A Petri Net Based Implementation of the Linda Coordination Paradigm for Web Services Interactions.
Proceedings of the E-Commerce and Web Technologies, 7th International Conference, 2006

A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems.
Proceedings of the Business Process Management, 4th International Conference, 2006

2005
OGC Catalog Services: a key element for the development of Spatial Data Infrastructures.
Comput. Geosci., 2005

Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm.
Proceedings of the Service-Oriented Computing, 2005

2004
Towards an Efficient Rule-Based Coordination of Web Services.
Proceedings of the Advances in Artificial Intelligence, 2004

2003
An Architectural Pattern to Extend the Interaction Model between Web-Services: The Location-Based Service Context.
Proceedings of the Service-Oriented Computing, 2003

Generative Communication with Semantic Matching in Distributed Heterogeneous Environments.
Proceedings of the Computer Aided Systems Theory, 2003

2002
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

1999
Desarrollo de una Arquitectura Distribuida Orientada a Objeto para la Monitorización Automática de Vehículos.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999


  Loading...