Publicaciones en colaboración con investigadores/as de Universidad de Zaragoza (10)

2023

  1. Evaluación y mejora del Kit en Tecnologías Informáticas

    Evaluación y mejora del Kit en Tecnologías Informáticas

2022

  1. Curso 0 en Tecnologías Informáticas

    Curso 0 en Tecnologías Informáticas

2007

  1. Formal Modelling of a Coordination System: from Practice to Theory, and back again

    Lecture Notes in Computer Science, 2007, Volume 4457 (Springer), pp. 229-244

  2. Formal Reasoning on a Web Coordination System

    Lecture Notes in Computational Science and Engineering, Vol. 4739 LNCS, pp. 329-336

2004

  1. Towards an efficient rule-based coordination of Web Services.

    Lecture Notes in Computer Science, Vol. 3315, pp. 73-82

2003

  1. Generative communication with semantic matching in distributed heterogeneous environments

    Lecture Notes in Computer Science, Vol. 2809, pp. 231-242

1999

  1. Specifying Implementations

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

1997

  1. A conceptual approach to meta-modelling

    Lecture Notes in Computer Science, Vol. 1250, pp. 319-332

  2. A conceptual approach to meta-modelling

    Advanced information systems engineering: 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, june 16-20, 1997 : proceedings

1996

  1. Integrating functional programming and symbolic computation

    Mathematics and Computers in Simulation, Vol. 42, Núm. 4-6, pp. 467-473