Julio Rubio Garcia
Universidad de La Rioja
List of publications from the DBLP Bibliography Server - FAQ
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 | |
23 | EE | Jónathan Heras, Vico Pascual, Julio Rubio: Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus 2008: 446-461 |
22 | EE | Jesús Aransay, Clemens Ballarin, Julio Rubio: A Mechanized Proof of the Basic Perturbation Lemma. J. Autom. Reasoning 40(4): 271-292 (2008) |
2007 | ||
21 | EE | Mirian Andrés, Laureano Lambán, Julio Rubio: Executing in Common Lisp, Proving in ACL2. Calculemus/MKM 2007: 1-12 |
20 | EE | Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio: Formal Reasoning on a Web Coordination System. EUROCAST 2007: 329-336 |
2006 | ||
19 | EE | Eloy 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 |
18 | EE | Ana Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences CoRR abs/cs/0602064: (2006) |
17 | EE | Ana Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences. J. Symb. Comput. 41(10): 1059-1079 (2006) |
16 | EE | César Domínguez, Julio Rubio, Francis Sergeraert: Modeling Inheritance as Coercion in the Kenzo System. J. UCS 12(12): 1701-1730 (2006) |
2005 | ||
15 | EE | Jesús Aransay, Clemens Ballarin, Julio Rubio: Extracting Computer Algebra Programs from Statements. EUROCAST 2005: 159-168 |
14 | EE | Mirian 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 |
13 | EE | Julio Rubio Garcia: Constructive Proofs or Constructive Statements?. Mathematics, Algorithms, Proofs 2005 |
12 | EE | César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia: Towards Diagrammatic Specifications of Symbolic Computation Systems. Mathematics, Algorithms, Proofs 2005 |
11 | EE | Julio Rubio, Francis Sergeraert: Computing with locally effective matrices. Int. J. Comput. Math. 82(10): 1177-1189 (2005) |
2004 | ||
10 | EE | Jesús Aransay, Clemens Ballarin, Julio Rubio: Four Approaches to Automated Reasoning with Differential Algebraic Structures. AISC 2004: 222-235 |
9 | EE | Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio: Towards an Efficient Rule-Based Coordination of Web Services. IBERAMIA 2004: 73-82 |
2003 | ||
8 | EE | Pedro Á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 | |
6 | EE | Laureano 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 | ||
5 | EE | César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio: Hidden Specification of a Functional System. EUROCAST 2001: 555-569 |
4 | EE | César Domínguez, Julio Rubio: Modeling inheritance as coercion in a symbolic computation system. ISSAC 2001: 109-115 |
2000 | ||
3 | EE | Julio Rubio: Locally Effective Objects and Artificial Intelligence. AISC 2000: 223-226 |
1999 | ||
2 | EE | Laureano 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 |
1 | Pedro Álvarez | [8] [9] [19] [20] |
2 | Mirian Andrés | [7] [14] [21] |
3 | Jesús Aransay | [10] [15] [22] |
4 | Serge Autexier | [24] |
5 | Clemens Ballarin | [10] [15] [22] |
6 | José A. Bañares | [8] [9] [19] [20] |
7 | John Campbell | [24] |
8 | César Domínguez | [4] [5] [12] [16] |
9 | Eladio Domínguez | [1] |
10 | Dominique Duval | [12] |
11 | Jónathan Heras | [23] |
12 | Francisco José García Izquierdo | [7] |
13 | Laureano Lambán | [2] [5] [6] [12] [21] |
14 | Eloy J. Mata | [8] [9] [19] [20] |
15 | Pedro R. Muro-Medrano | [8] |
16 | Vico Pascual | [2] [5] [6] [7] [14] [23] |
17 | Ana Romero | [14] [17] [18] |
18 | Francis Sergeraert | [11] [16] [17] [18] |
19 | Volker Sorge | [24] |
20 | Masakazu Suzuki | [24] |
21 | Freek Wiedijk | [24] |
22 | María Antonia Zapata | [1] |