Joaquín Ezpeleta

According to our database1, Joaquín Ezpeleta authored at least 56 papers between 1991 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

Designing robust watermark barcodes for multiplex long-read sequencing.
Bioinformatics, 2017

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

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes.
Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), 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
Designing robust watermark barcodes for multiplex long-read sequencing.
CoRR, 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
CPS 2015 Track Report: Cyber Physical Society.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 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

Handling Big(ger) Logs: Connecting ProM 6 to Apache Hadoop.
Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Assessing Process Discovery Scalability in Data Intensive Environments.
Proceedings of the 2nd IEEE/ACM International Symposium on Big Data Computing, 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

Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014).
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

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. Systems, Man, and Cybernetics, Part A, 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.
Concurrency and Computation: Practice and Experience, 2011

Control and data flow compatibility in the interaction between dynamic business processes.
Concurrency and Computation: Practice and Experience, 2011

DENEB: a platform for the development and execution of interoperable dynamic Web processes.
Concurrency and Computation: Practice and Experience, 2011

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

Adaptive exception handling for scientific workflows.
Concurrency and Computation: Practice and Experience, 2010

Semantically enabled business process discovery.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009
Discovery of Business Processes based on Behavioral Descriptions.
Proceedings of the 2009 International Conference on Semantic Web & Web Services, 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
Time Orientation Device for Special Education.
Proceedings of the Emerging Technologies and Information Systems for the Knowledge Society, 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

Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform.
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

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

2006
Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2006

A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 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
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

A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

2004
A deadlock avoidance approach for nonsequential resource allocation systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2004

2003
Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Petri Nets and Manufacturing Systems: An Examples-Driven Tour.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states.
IEEE Trans. Robotics and Automation, 2002

2000
Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources.
IEEE Trans. Automat. Contr., 2000

Some Improvements to the Banker s Algorithm Based on the Process Structure.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1998
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
Automatic synthesis of colored Petri nets for the control of FMS.
IEEE Trans. Robotics and Automation, 1997

1995
A Petri net based deadlock prevention policy for flexible manufacturing systems.
IEEE Trans. Robotics and Automation, 1995

1993
A Distributed Algorithm for Resource Management.
Proceedings of the Decentralized and Distributed Systems, 1993

Synthesis of Live Models for a Class of FMS Systems.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

1991
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets.
Proceedings of the Advances in Petri Nets 1993, 1991


  Loading...