Julio Rubio

Julio Rubio Garcia

Universidad de La Rioja

	2009
26		Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina: ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Calculemus/MKM 2009: 106-121
25		Jónathan Heras, Vico Pascual, Julio Rubio: Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. Calculemus/MKM 2009: 467-473
	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		Jónathan Heras, Vico Pascual, Julio Rubio: Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus 2008: 446-461
22		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		Mirian Andrés, Laureano Lambán, Julio Rubio: Executing in Common Lisp, Proving in ACL2. Calculemus/MKM 2007: 1-12
20		Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio: Formal Reasoning on a Web Coordination System. EUROCAST 2007: 329-336
	2006
19		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		Ana Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences CoRR abs/cs/0602064: (2006)
17		Ana Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences. J. Symb. Comput. 41(10): 1059-1079 (2006)
16		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		Jesús Aransay, Clemens Ballarin, Julio Rubio: Extracting Computer Algebra Programs from Statements. EUROCAST 2005: 159-168
14		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		Julio Rubio Garcia: Constructive Proofs or Constructive Statements?. Mathematics, Algorithms, Proofs 2005
12		César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia: Towards Diagrammatic Specifications of Symbolic Computation Systems. Mathematics, Algorithms, Proofs 2005
11		Julio Rubio, Francis Sergeraert: Computing with locally effective matrices. Int. J. Comput. Math. 82(10): 1177-1189 (2005)
	2004
10		Jesús Aransay, Clemens Ballarin, Julio Rubio: Four Approaches to Automated Reasoning with Differential Algebraic Structures. AISC 2004: 222-235
9		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		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		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		César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio: Hidden Specification of a Functional System. EUROCAST 2001: 555-569
4		César Domínguez, Julio Rubio: Modeling inheritance as coercion in a symbolic computation system. ISSAC 2001: 109-115
	2000
3		Julio Rubio: Locally Effective Objects and Artificial Intelligence. AISC 2000: 223-226
	1999
2		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

Coauthor Index

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] [25]
12	Francisco José García Izquierdo	[7]
13	Laureano Lambán	[2] [5] [6] [12] [21]
14	Francisco-Jesús Martín-Mateos	[26]
15	Eloy J. Mata	[8] [9] [19] [20]
16	Pedro R. Muro-Medrano	[8]
17	Vico Pascual	[2] [5] [6] [7] [14] [23] [25]
18	Ana Romero	[14] [17] [18]
19	José-Luis Ruiz-Reina	[26]
20	Francis Sergeraert	[11] [16] [17] [18]
21	Volker Sorge	[24]
22	Masakazu Suzuki	[24]
23	Freek Wiedijk	[24]
24	María Antonia Zapata	[1]

Colors in the list of coauthors