![Foto de María José](/img/nophoto.png)
María José
Ibáñez Sáenz López
PROFESORA ASOCIADA
Publications (15) Publications de María José Ibáñez Sáenz López
2018
-
Behavioral analysis of scientific workflows with semantic information
IEEE Access, Vol. 6, pp. 66030-66046
2013
-
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
-
Mismuseos.net: Art after technology. Putting cultural data to work in a linked data platform
CEUR Workshop Proceedings, Vol. 1124
2012
-
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
-
Analyzing Behavioral Properties of Semantic Business Processes with Parametric Data
Concurrency Computation Practice and Experience, Vol. 23, Núm. 6, pp. 525-555
-
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
-
Semantically-enabled business process models discovery
International Journal of Business Process Integration and Management, Vol. 5, Núm. 3, pp. 257-272
2010
-
Semantically Enabled Business Process Discovery
Proceedings of the ACM Symposium on Applied Computing, pp. 1396-1403
2009
-
A Technique To Verify Behavioral Properties In Semantically Annotated Business Processes
THIRD IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING
-
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
-
Rdf-Annotated Petri Nets: A Formalism For The Validation And Analysis Of Processes With Semantic Information
4TH INTERNATIONAL WORKSHOP ON SEMANTIC BUSINESS PROCESS MANAGEMENT
-
Symbolic Analysis Of The Behavior Of Semantic Business Processes
THE 2009 INTERNATIONAL CONFERENCE ON SEMANTIC WEB AND WEB SERVICES
-
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
-
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
-
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