Julio
Rubio García
CATEDRÁTICO DE UNIVERSIDAD
Universidad de Zaragoza
Zaragoza, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Zaragoza (10)
2023
-
Evaluación y mejora del Kit en Tecnologías Informáticas
Evaluación y mejora del Kit en Tecnologías Informáticas
2022
-
Curso 0 en Tecnologías Informáticas
Curso 0 en Tecnologías Informáticas
2007
-
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
-
Formal Reasoning on a Web Coordination System
Lecture Notes in Computational Science and Engineering, Vol. 4739 LNCS, pp. 329-336
2004
-
Towards an efficient rule-based coordination of Web Services.
Lecture Notes in Computer Science, Vol. 3315, pp. 73-82
2003
-
Generative communication with semantic matching in distributed heterogeneous environments
Lecture Notes in Computer Science, Vol. 2809, pp. 231-242
1999
-
Specifying Implementations
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
1997
-
A conceptual approach to meta-modelling
Lecture Notes in Computer Science, Vol. 1250, pp. 319-332
-
A conceptual approach to meta-modelling
Advanced information systems engineering: 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, june 16-20, 1997 : proceedings
1996
-
Integrating functional programming and symbolic computation
Mathematics and Computers in Simulation, Vol. 42, Núm. 4-6, pp. 467-473