C. Domínguez, L. Lambán, V. Pascual, J. Rubio, "Hidden specification of a functional system", in Proceedings Eurocast’2001, Universidad de Las Palmas (2001) 177-180.

C. Domínguez, L. Lambán, V. Pascual, J. Rubio, "Modelling implementations as institutions morphisms", in Actas Prole’2001, Universidad de Castilla-La Mancha (2001) 229-239.

C. Domínguez, L. Lambán, V. Pascual, J. Rubio, "Hidden specification of a functional system", Lecture Notes in Computer Science 2178 (2001) 555-569.

C. Domínguez, L. Lambán, V. Pascual, J. Rubio, "Instituciones: matemáticas para la especificación en computación", in Margarita Mathematica en memoria de José Javier (Chicho) Guadalupe, Universidad de La Rioja (2001) 221-233.

C. Domínguez, J. Rubio, "Dealing with inheritance in a symbolic computation system", in Actas EACA’2000, Universidad Politécnica de Catalunya (2000) 179-188.

C. Domínguez, J. Rubio, "Modeling inheritance as coercion in a symbolic computation system", in Proceedings ISSAC’2001, ACM Press (2001) 109-115.

E. Domínguez, A. L. Rubio, M. A. Zapata, "Meta-modelling of dynamic aspects: the Noesis approach", in Proceedings International Workshop on Model Engineering, ECOOP’2000 (2000) 28-35. >>>>>Download PDF

E. Domínguez, A. L. Rubio, M. A. Zapata, "A way of dealing with behaviour of state machines", in Proceedings Workshop on Dynamic Behaviour in UML Models, UML’2000 (2000) 32-37.>>>>>Download PDF

E. Domínguez, A. L. Rubio,  M. A. Zapata. "Mapping Models Between Different Modeling Languages", in Proceedings Workshop on Integration and  Transformation of UML models, ECOOP’2002 (2002) 18–22. >>>>>Download PDF

E. Domínguez, A. L. Rubio, M. A. Zapata. "Dynamic Semantics of UML State Machines: a Metamodeling Perspective". Journal of Database Management, 13(4), 20-38, Oct.-Dec. 2002.

L. Español, L. Lambán, "A tensor-hom adjunction in a topos related to vector topologies and bornologies", Journal of Pure and Applied Algebra 154 (2000) 143-158.

L. Español, L. Lambán, "On bornologies, locales and toposes of M-sets", Journal of Pure and Applied Algebra 176 (2002) 113-125.

L. Lambán, V. Pascual, J. Rubio, "Algebraic Specification and Symbolic Computation". In Proceedings ACA’2002, 114-115.

E. J. Mata, J. Ansó, J. A. Bañares, P. R. Muro-Medrano, J. Rubio, "Enriquecimiento de tesauros con WordNet : una aproximación heurística", in Actas CAEPIA’2001 (2001) 593-602.

E. J. Mata, J. A. Bañares, J. Gutiérrez, P. R. Muro-Medrano, J. Rubio, "Semantic disambiguation of thesaurus as a mechanism to facilitate multilingual and thematic interoperability of Geographical Information Catalogues", in Proceedings 5^th AGILE Conference, Universitat de les Illes Balears (2002) 61-66.

V. Pascual, "Objetos localmente efectivos y tipos abstractos de datos". Tesis Doctoral, Universidad de La Rioja. ProQuest Information and Learning. Publicación electrónica ISBN 0-493-82725-0. 2003.

A. L. Rubio, "Metamodeling and Formalisms for Representation of Behavior", in Workshop for PhD Students in Object-Oriented Systems, ECOOP'2002 (2002). >>>>>Download PDF

J. Rubio, "Locally effective objects and Artificial Intelligence", Revista Academia Ciencias Zaragoza 55 (2000) 67-77.

J. Rubio, "Informática en Topología", in Un paseo por la Geometría, Departamento de Matemáticas, Universidad del País Vasco, Bilbao (2001) 73-96.

J. Rubio, "Locally effective objects and Artificial Intelligence", Lecture Notes in Artificial Intelligence 1930 (2001) 223-226.

J. Rubio (Editor), "Actas EACA’2001", Universidad de La Rioja, 2001.

J. Rubio, F. Sergeraert, "Constructive Algebraic Topology", Bulletin des Sciences Mathématiques 126 (2002) 389-412.

 J. Rubio, "Formal analysis of Symbolic Computation Systems for Algebraic Topology",  talk in Seminar on Verification and Constructive Algebra, Schloss Dagstuhl International Conference and Research Center for Computer Science (2003). >>>>> Download slices