Joaquín Ezpeleta
Orcid: 0000-0002-9622-8186
According to our database1,
Joaquín Ezpeleta
authored at least 64 papers
between 1991 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
A biobjective model for resource provisioning in multi-cloud environments with capacity constraints.
Oper. Res., 2023
CoRR, 2023
2021
A learning experience toward the understanding of abstraction-level interactions in parallel applications.
J. Parallel Distributed Comput., 2021
2020
IEEE Access, 2020
2019
Reducing the price of resource provisioning using EC2 spot instances with prediction models.
Future Gener. Comput. Syst., 2019
Proceedings of the Workshop on Computer Architecture Education, 2019
2018
Cost-driven provisioning and execution of a computing-intensive service on the Amazon EC2.
Comput. J., 2018
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
2017
Parallel computation of the reachability graph of petri net models with semantic information.
Softw. Pract. Exp., 2017
Bioinform., 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
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
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2016
2015
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
Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015
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
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013
2012
IEEE Trans. Syst. Man Cybern. 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
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
Concurr. Comput. Pract. Exp., 2010
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
Unary RDF-annotated petri nets: a formalism for the modeling and validation of business processes with semantic information.
Proceedings of the 4th International Workshop on Semantic Business Process Management, 2009
2008
Proceedings of the Emerging Technologies and Information Systems for the Knowledge Society, 2008
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
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
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. Syst. Man Cybern. Part A, 2006
A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems.
IEEE Trans. Syst. Man Cybern. 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
IEEE Trans. Syst. Man Cybern. 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
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 Autom., 2002
2000
Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources.
IEEE Trans. Autom. Control., 2000
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000
1998
Proceedings of the Application and Theory of Petri Nets 1998, 1998
1997
IEEE Trans. Robotics Autom., 1997
1995
IEEE Trans. Robotics Autom., 1995
1993
A Distributed Algorithm for Resource Management.
Proceedings of the Decentralized and Distributed Systems, 1993
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