Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. Laureano Lambán, Vico Pascual, Julio Rubio
   Specifying Implementations. [Citation Graph (0, 0)][DBLP]
   ISSAC, 1999, pp:245-251 [Conf]
   
5. 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]
   
6. 
   Mediated Access to Symbolic Computation Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Integrating Multiple Sources to Answer Questions in Algebraic Topology. [Citation Graph (, )][DBLP]
   
   
8. 
   Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Integrating multiple sources to answer questions in Algebraic Topology [Citation Graph (, )][DBLP]