Publicacións en colaboración con investigadores/as de Universidad de Zaragoza (10)

2012

  1. Model Checking Analysis of Semantically Annotated Business Processes = Modelo Comprobación de Análisis de Procesos de Negocio anotados semánticamente

    IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans., Vol. 2, Núm. 42, pp. 854-867

2011

  1. Analyzing Behavioral Properties of Semantic Business Processes with Parametric Data

    Concurrency Computation Practice and Experience, Vol. 23, Núm. 6, pp. 525-555

  2. Control And Data Flow Compatibility In The Interaction Between Dynamic Business Processes

    Concurrency Computation Practice and Experience, Vol. 23, Núm. 1, pp. 57-85

  3. Semantically-enabled business process models discovery

    International Journal of Business Process Integration and Management, Vol. 5, Núm. 3, pp. 257-272

2010

  1. Semantically Enabled Business Process Discovery

    Proceedings of the ACM Symposium on Applied Computing, pp. 1396-1403

2008

  1. Checking Necessary Conditions For Control And Data Flow Compatibility In The Synchronizations Between Business And Interactions Logics In Web Processes

    Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08, pp. 92-101

  2. Flow And Data Compatibility For The Correct Interaction Between Web Processes

    2008 International Conference on Computational Intelligence for Modelling Control and Automation, CIMCA 2008, pp. 715-721