Search the dblp DataBase

Publications of Author

1. Juan Carlos González-Moreno
   A Correctness Proof for Warren's HO into FO Translation. [Citation Graph (0, 0)][DBLP]
   GULP, 1993, pp:569-584 [Conf]
   
2. J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
   Denotational Versus Declarative Semantics for Functional Programming. [Citation Graph (0, 0)][DBLP]
   CSL, 1991, pp:134-148 [Conf]
   
3. J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
   On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
   CSL, 1992, pp:216-230 [Conf]
   
4. J. C. González-Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
   A Rewriting Logic for Declarative Programming. [Citation Graph (0, 0)][DBLP]
   ESOP, 1996, pp:156-172 [Conf]
   
5. J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
   Semantics and Types in Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:1-20 [Conf]
   
6. J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
   A Higher Order Rewriting Logic for Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
   ICLP, 1997, pp:153-167 [Conf]
   
7. Javier de Dios Castro, Juan Carlos González-Moreno
   A Graphical Environment for Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
   WFLP, 2000, pp:404-417 [Conf]
   
8. 
   Definition of Process Models for Agent-Based Development. [Citation Graph (, )][DBLP]
   
   
9. 
   Design of Multiagent System Architecture. [Citation Graph (, )][DBLP]
   
   
10. 
    Methodology vs. Development Process: A Case Study for AOSE. [Citation Graph (, )][DBLP]
    
    
11. 
    Comparing Agile Processes for Agent Oriented Software Engineering. [Citation Graph (, )][DBLP]
    
    
12. 
    Using Techniques Based on Natural Language in the Development Process of Multiagent Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    INGENIAS-SCRUM Development Process for Multi-Agent Development. [Citation Graph (, )][DBLP]
    
    
14. 
    Modeling Processes of AOSE Methodologies by Means of a New Editor. [Citation Graph (, )][DBLP]
    
    
15. 
    V-MAS: A Video Conference Multiagent System. [Citation Graph (, )][DBLP]