Julio Rubio

Julio Rubio Garcia

Universidad de La Rioja

	2013
i6		Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz: Verifying a platform for digital imaging: a multi-tool strategy. CoRR abs/1303.1420 (2013)
	2012
j12		Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina: Formalization of a normalization theorem in simplicial topology. Ann. Math. Artif. Intell. 64(1): 1-37 (2012)
j11		Ana Romero, Julio Rubio: Computing the homology of groups: The geometric way. J. Symb. Comput. 47(7): 752-770 (2012)
c28		Jónathan Heras, María Poza, Julio Rubio: Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. AISC/MKM/Calculemus 2012: 216-230
i5		Jónathan Heras, María Poza, Julio Rubio: Verifying an algorithm computing Discrete Vector Fields for digital imaging. CoRR abs/1207.3315 (2012)
	2011
j10		Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert: fKenzo: A user interface for computations in Algebraic Topology. J. Symb. Comput. 46(6): 685-698 (2011)
j9		César Domínguez, Julio Rubio: Effective homology of bicomplexes, formalized in Coq. Theor. Comput. Sci. 412(11): 962-970 (2011)
c27		Jónathan Heras, Vico Pascual, Julio Rubio: A Certified Module to Study Digital Images with the Kenzo System. EUROCAST (1) 2011: 113-120
c26		María José González, Julio Rubio, Tomás Recio, Laureano González-Vega, Abel Pascual: Teaching Geometry with TutorMates. ICCSA (4) 2011: 384-398
c25		Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina: Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. ITP 2011: 200-215
c24		Jónathan Heras, Vico Pascual, Julio Rubio: A System for Computing and Reasoning in Algebraic Topology. Calculemus/MKM 2011: 295-297
i4		Ana Romero, Julio Rubio: Computing the homology of groups: the geometric way. CoRR abs/1107.3396 (2011)
	2010
j8		Jesús Aransay, Clemens Ballarin, Julio Rubio: Generating certified code from formal proofs: a case study in homological algebra. Formal Asp. Comput. 22(2): 193-213 (2010)
c23		César Domínguez, Julio Rubio: Computing in Coq with Infinite Algebraic Data Structures. AISC/MKM/Calculemus 2010: 204-218
c22		Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio: Integrating Multiple Sources to Answer Questions in Algebraic Topology. AISC/MKM/Calculemus 2010: 331-335
c21		Jónathan Heras, Vico Pascual, Julio Rubio: Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. LOPSTR 2010: 37-51
i3		César Domínguez, Julio Rubio: Computing in Coq with Infinite Algebraic Data Structures. CoRR abs/1004.4998 (2010)
i2		Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio: Integrating multiple sources to answer questions in Algebraic Topology. CoRR abs/1005.0749 (2010)
	2009
j7		Julio Rubio, Werner Seiler: Applicable algebra and artificial intelligence. Ann. Math. Artif. Intell. 56(3-4): 241-243 (2009)
c20		Ana Romero, Graham Ellis, Julio Rubio: Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. ISSAC 2009: 303-310
c19		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
c18		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
j6		Jesús Aransay, Clemens Ballarin, Julio Rubio: A Mechanized Proof of the Basic Perturbation Lemma. J. Autom. Reasoning 40(4): 271-292 (2008)
c17		Jónathan Heras, Vico Pascual, Julio Rubio: Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus 2008: 446-461
e1		Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Eds.): 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. Lecture Notes in Computer Science 5144, Springer 2008, isbn 978-3-540-85109-7
	2007
j5		César Domínguez, Laureano Lambán, Julio Rubio: Object oriented institutions to specify symbolic computation systems. ITA 41(2): 191-214 (2007)
c16		Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio: Formal Reasoning on a Web Coordination System. EUROCAST 2007: 329-336
c15		Mirian Andrés, Laureano Lambán, Julio Rubio: Executing in Common Lisp, Proving in ACL2. Calculemus/MKM 2007: 1-12
	2006
j4		Ana Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences. J. Symb. Comput. 41(10): 1059-1079 (2006)
j3		César Domínguez, Julio Rubio, Francis Sergeraert: Modeling Inheritance as Coercion in the Kenzo System. J. UCS 12(12): 1701-1730 (2006)
c14		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
i1		Ana Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences. CoRR abs/cs/0602064 (2006)
	2005
j2		Julio Rubio, Francis Sergeraert: Computing with locally effective matrices. Int. J. Comput. Math. 82(10): 1177-1189 (2005)
c13		César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia: Towards Diagrammatic Specifications of Symbolic Computation Systems. Mathematics, Algorithms, Proofs 2005
c12		Julio Rubio Garcia: Constructive Proofs or Constructive Statements?. Mathematics, Algorithms, Proofs 2005
c11		Jesús Aransay, Clemens Ballarin, Julio Rubio: Extracting Computer Algebra Programs from Statements. EUROCAST 2005: 159-168
c10		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
	2004
c9		Jesús Aransay, Clemens Ballarin, Julio Rubio: Four Approaches to Automated Reasoning with Differential Algebraic Structures. AISC 2004: 222-235
c8		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
j1		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)
c7		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
c6		Mirian Andrés, Francisco José García Izquierdo, Vico Pascual, Julio Rubio: XML-Based Interoperability Among Symbolic Computation Systems. ICWI 2003: 925-928
	2001
c5		César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio: Hidden Specification of a Functional System. EUROCAST 2001: 555-569
c4		César Domínguez, Julio Rubio: Modeling inheritance as coercion in a symbolic computation system. ISSAC 2001: 109-115
	2000
c3		Julio Rubio: Locally Effective Objects and Artificial Intelligence. AISC 2000: 223-226
	1999
c2		Laureano Lambán, Vico Pascual, Julio Rubio: Specifying Implementations. ISSAC 1999: 245-251
	1997
c1		Eladio Domínguez, María Antonia Zapata, Julio Rubio: A Conceptual Approach to Meta-Modelling. CAiSE 1997: 319-332

Coauthor Index

Colors in the list of coauthors

Last update Sun May 19 09:29:09 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page