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

2018

  1. Behavioral analysis of scientific workflows with semantic information

    IEEE Access, Vol. 6, pp. 66030-66046

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

2009

  1. RDF model checking: A technique to verify behavioral properties in semantically annotated business processes

    ICSC 2009 - 2009 IEEE International Conference on Semantic Computing, pp. 245-252

  2. Unary RDF-Annotated Petri Nets: A formalism for the modeling and validation of business processes with semantic information

    ACM International Conference Proceeding Series, pp. 1-4

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