Departamento
Matemáticas y Computación
Capítulos de Libro (15) Publicaciones en las que ha participado algún/a investigador/a
2009
-
A Technique To Verify Behavioral Properties In Semantically Annotated Business Processes
THIRD IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING
-
ACL2 verification of simplicial degeneracy programs in the Kenzo system
Intelligent Computer Mathematics (SPRINGER-VERLAG), pp. 106-121
-
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
-
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)
-
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
-
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
-
Proyecto FEDAI: Formación de equipos para el desarrollo de aplicaciones informáticas
Investigación educativa e innovación docente en el proceso de convergencia europea (Prensas de la Universidad de Zaragoza), pp. 84-84
-
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
-
TestCaseDesigner: a tool for semi-automatic generation of test cases
Proceedings of the IADIS International Conference Applied Computing 2009, pp. 294-298
-
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
-
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
-
Unital Algebra, Ternary Derivations and Local Triality
Algebras, Representations and Applications, pp. 205-220
-
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