Publicaciones (15) Publicaciones de María José Ibáñez Sáenz López

2018

  1. Behavioral analysis of scientific workflows with semantic information

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

2013

  1. Linked Data based applications for Learning Analytics Research: Faceted searches, enriched contexts, graph browsing and dynamic graphic visualisation of data

    CEUR Workshop Proceedings, Vol. 974

  2. Mismuseos.net: Art after technology. Putting cultural data to work in a linked data platform

    CEUR Workshop Proceedings, Vol. 1124

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

  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