Capítulos de Libro (15) Publicaciones en las que ha participado algún/a investigador/a

2009

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

    THIRD IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING

  2. ACL2 verification of simplicial degeneracy programs in the Kenzo system

    Intelligent Computer Mathematics (SPRINGER-VERLAG), pp. 106-121

  3. Computation of the (n-1)-st Koszul homology of monomial ideals and related algorithms

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 31-37

  4. Computer proofs of new identities in the Catalan triangle

    Proceedings of the "Segundas Jornadas de Teoría de Números" : Madrid, july, 16th-19th, 2007 (Revista Matemática Iberoamericana)

  5. Integral security model for the exchange of objects in Service Oriented Architecture

    WEBIST 2009 - Proceedings of the 5th International Conference on Web Information Systems and Technologies, pp. 60-65

  6. La responsabilidad social de la televisión en el nuevo ecosistema mediático convergente de la sociedad del conocimiento

    Telerrealidad: el mundo tras el cristal (Comunicación Social Ediciones y Publicaciones), pp. 184-191

  7. Maximal subalgebras of simple alternative superalgebras

    Algebras, Representations and Applications. Conference in Honour of Ivan Shestakov's 60th Birthday. (American Mathematical Society), pp. 161-168

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

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

    4TH INTERNATIONAL WORKSHOP ON SEMANTIC BUSINESS PROCESS MANAGEMENT

  10. Symbolic Analysis Of The Behavior Of Semantic Business Processes

    THE 2009 INTERNATIONAL CONFERENCE ON SEMANTIC WEB AND WEB SERVICES

  11. TestCaseDesigner: a tool for semi-automatic generation of test cases

    Proceedings of the IADIS International Conference Applied Computing 2009, pp. 294-298

  12. Tits constructions, triple systems and pairs

    Proccedings of the conference Algebras, Representations and Applicactions" in Honor of Ivan Shestakov's 60th bithday, Maresias, 2007, pp. 63-72

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

  14. Unital Algebra, Ternary Derivations and Local Triality

    Algebras, Representations and Applications, pp. 205-220

  15. Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

    Lectures Notes in Computer Science: Intelligent Computer Mathematics16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings (SPRINGER-VERLAG), pp. 467-473