Publications dans lesquelles il/elle collabore avec Pedro Álvarez Pérez-Aradros (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

2009

  1. A Technique To Verify Behavioral Properties In Semantically Annotated Business Processes

    THIRD IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING

  2. 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

  3. Rdf-Annotated Petri Nets: A Formalism For The Validation And Analysis Of Processes With Semantic Information

    4TH INTERNATIONAL WORKSHOP ON SEMANTIC BUSINESS PROCESS MANAGEMENT

  4. Symbolic Analysis Of The Behavior Of Semantic Business Processes

    THE 2009 INTERNATIONAL CONFERENCE ON SEMANTIC WEB AND WEB SERVICES

  5. 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