The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Julio Rubio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jesús Aransay, Clemens Ballarin, Julio Rubio
    Four Approaches to Automated Reasoning with Differential Algebraic Structures. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:222-235 [Conf]
  2. Julio Rubio
    Locally Effective Objects and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    AISC, 2000, pp:223-226 [Conf]
  3. Eladio Domínguez, María Antonia Zapata, Julio Rubio
    A Conceptual Approach to Meta-Modelling. [Citation Graph (0, 0)][DBLP]
    CAiSE, 1997, pp:319-332 [Conf]
  4. Pedro Álvarez, José A. Bañares, Eloy J. Mata, Pedro R. Muro-Medrano, Julio Rubio
    Generative Communication with Semantic Matching in Distributed Heterogeneous Environments. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2003, pp:231-242 [Conf]
  5. Jesús Aransay, Clemens Ballarin, Julio Rubio
    Extracting Computer Algebra Programs from Statements. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2005, pp:159-168 [Conf]
  6. César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio
    Hidden Specification of a Functional System. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:555-569 [Conf]
  7. Mirian Andrés, Francisco J. García, Vico Pascual, Julio Rubio
    XML-Based Interoperability Among Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
    ICWI, 2003, pp:925-928 [Conf]
  8. Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
    Towards an Efficient Rule-Based Coordination of Web Services. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:73-82 [Conf]
  9. Mirian Andrés, Vico Pascual, Ana Romero, Julio Rubio
    Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (3), 2005, pp:635-642 [Conf]
  10. César Domínguez, Julio Rubio
    Modeling inheritance as coercion in a symbolic computation system. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2001, pp:109-115 [Conf]
  11. Laureano Lambán, Vico Pascual, Julio Rubio
    Specifying Implementations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1999, pp:245-251 [Conf]
  12. Laureano Lambán, Vico Pascual, Julio Rubio
    An Object-oriented Interpretation of the EAT System. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2003, v:14, n:3, pp:187-215 [Journal]
  13. Julio Rubio, Francis Sergeraert
    Computing with locally effective matrices. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2005, v:82, n:10, pp:1177-1189 [Journal]
  14. Ana Romero, Julio Rubio, Francis Sergeraert
    Computing spectral sequences. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:10, pp:1059-1079 [Journal]
  15. César Domínguez, Julio Rubio, Francis Sergeraert
    Modeling Inheritance as Coercion in the Kenzo System. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:12, pp:1701-1730 [Journal]
  16. Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
    Formal Modelling of a Coordination System: From Practice to Theory, and Back Again. [Citation Graph (0, 0)][DBLP]
    ESAW, 2006, pp:229-244 [Conf]
  17. Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
    Formal Reasoning on a Web Coordination System. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:329-336 [Conf]
  18. Mirian Andrés, Laureano Lambán, Julio Rubio
    Executing in Common Lisp, Proving in ACL2. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:1-12 [Conf]
  19. Ana Romero, Julio Rubio, Francis Sergeraert
    Computing spectral sequences [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  20. Mediated Access to Symbolic Computation Systems. [Citation Graph (, )][DBLP]


  21. Computing in Coq with Infinite Algebraic Data Structures. [Citation Graph (, )][DBLP]


  22. Integrating Multiple Sources to Answer Questions in Algebraic Topology. [Citation Graph (, )][DBLP]


  23. Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. [Citation Graph (, )][DBLP]


  24. ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. [Citation Graph (, )][DBLP]


  25. Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. [Citation Graph (, )][DBLP]


  26. Applicable algebra and artificial intelligence. [Citation Graph (, )][DBLP]


  27. Computing in Coq with Infinite Algebraic Data Structures [Citation Graph (, )][DBLP]


  28. Integrating multiple sources to answer questions in Algebraic Topology [Citation Graph (, )][DBLP]


Search in 0.057secs, Finished in 0.059secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002