dblp.uni-trier.dewww.uni-trier.de

Julio Rubio

Julio Rubio Garcia

Universidad de La Rioja

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
24 Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings Springer 2008
23EEJónathan Heras, Vico Pascual, Julio Rubio: Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus 2008: 446-461
22EEJesús Aransay, Clemens Ballarin, Julio Rubio: A Mechanized Proof of the Basic Perturbation Lemma. J. Autom. Reasoning 40(4): 271-292 (2008)
2007
21EEMirian Andrés, Laureano Lambán, Julio Rubio: Executing in Common Lisp, Proving in ACL2. Calculemus/MKM 2007: 1-12
20EEEloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio: Formal Reasoning on a Web Coordination System. EUROCAST 2007: 329-336
2006
19EEEloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio: Formal Modelling of a Coordination System: From Practice to Theory, and Back Again. ESAW 2006: 229-244
18EEAna Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences CoRR abs/cs/0602064: (2006)
17EEAna Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences. J. Symb. Comput. 41(10): 1059-1079 (2006)
16EECésar Domínguez, Julio Rubio, Francis Sergeraert: Modeling Inheritance as Coercion in the Kenzo System. J. UCS 12(12): 1701-1730 (2006)
2005
15EEJesús Aransay, Clemens Ballarin, Julio Rubio: Extracting Computer Algebra Programs from Statements. EUROCAST 2005: 159-168
14EEMirian Andrés, Vico Pascual, Ana Romero, Julio Rubio: Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. International Conference on Computational Science (3) 2005: 635-642
13EEJulio Rubio Garcia: Constructive Proofs or Constructive Statements?. Mathematics, Algorithms, Proofs 2005
12EECésar Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia: Towards Diagrammatic Specifications of Symbolic Computation Systems. Mathematics, Algorithms, Proofs 2005
11EEJulio Rubio, Francis Sergeraert: Computing with locally effective matrices. Int. J. Comput. Math. 82(10): 1177-1189 (2005)
2004
10EEJesús Aransay, Clemens Ballarin, Julio Rubio: Four Approaches to Automated Reasoning with Differential Algebraic Structures. AISC 2004: 222-235
9EEEloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio: Towards an Efficient Rule-Based Coordination of Web Services. IBERAMIA 2004: 73-82
2003
8EEPedro Álvarez, José A. Bañares, Eloy J. Mata, Pedro R. Muro-Medrano, Julio Rubio: Generative Communication with Semantic Matching in Distributed Heterogeneous Environments. EUROCAST 2003: 231-242
7 Mirian Andrés, Francisco José García Izquierdo, Vico Pascual, Julio Rubio: XML-Based Interoperability Among Symbolic Computation Systems. ICWI 2003: 925-928
6EELaureano Lambán, Vico Pascual, Julio Rubio: An Object-oriented Interpretation of the EAT System. Appl. Algebra Eng. Commun. Comput. 14(3): 187-215 (2003)
2001
5EECésar Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio: Hidden Specification of a Functional System. EUROCAST 2001: 555-569
4EECésar Domínguez, Julio Rubio: Modeling inheritance as coercion in a symbolic computation system. ISSAC 2001: 109-115
2000
3EEJulio Rubio: Locally Effective Objects and Artificial Intelligence. AISC 2000: 223-226
1999
2EELaureano Lambán, Vico Pascual, Julio Rubio: Specifying Implementations. ISSAC 1999: 245-251
1997
1 Eladio Domínguez, María Antonia Zapata, Julio Rubio: A Conceptual Approach to Meta-Modelling. CAiSE 1997: 319-332

Coauthor Index

1Pedro Álvarez [8] [9] [19] [20]
2Mirian Andrés [7] [14] [21]
3Jesús Aransay [10] [15] [22]
4Serge Autexier [24]
5Clemens Ballarin [10] [15] [22]
6José A. Bañares [8] [9] [19] [20]
7John Campbell [24]
8César Domínguez [4] [5] [12] [16]
9Eladio Domínguez [1]
10Dominique Duval [12]
11Jónathan Heras [23]
12Francisco José García Izquierdo [7]
13Laureano Lambán [2] [5] [6] [12] [21]
14Eloy J. Mata [8] [9] [19] [20]
15Pedro R. Muro-Medrano [8]
16Vico Pascual [2] [5] [6] [7] [14] [23]
17Ana Romero [14] [17] [18]
18Francis Sergeraert [11] [16] [17] [18]
19Volker Sorge [24]
20Masakazu Suzuki [24]
21Freek Wiedijk [24]
22María Antonia Zapata [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)