| 2008 |
|---|
| 14 | EE | Iván García-Magariño,
Alma Gómez-Rodríguez,
Juan Carlos González Moreno:
Definition of Process Models for Agent-Based Development.
AOSE 2008: 60-73 |
| 13 | EE | Juan Carlos González Moreno,
Luis Vázquez López:
Design of Multiagent System Architecture.
COMPSAC 2008: 565-568 |
| 12 | EE | Iván García-Magariño,
Alma Gómez-Rodríguez,
Jorge J. Gómez-Sanz,
Juan Carlos González Moreno:
INGENIAS-SCRUM Development Process for Multi-Agent Development.
DCAI 2008: 108-117 |
| 11 | EE | Juan Carlos González Moreno,
Luis Vázquez López:
Using Techniques Based on Natural Language in the Development Process of Multiagent Systems.
DCAI 2008: 269-273 |
| 10 | EE | Iván García-Magariño,
Alma Gómez-Rodríguez,
Juan Carlos González Moreno:
Modeling Processes of AOSE Methodologies by Means of a New Editor.
DCAI 2008: 672-681 |
| 2001 |
|---|
| 9 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Polymorphic Types in Functional Logic Programming.
Journal of Functional and Logic Programming 2001(1): (2001) |
| 2000 |
|---|
| 8 | | Javier de Dios Castro,
Juan Carlos González Moreno:
A Graphical Environment for Functional Logic Languages.
WFLP 2000: 404-417 |
| 1999 |
|---|
| 7 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Semantics and Types in Functional Logic Programming.
Fuji International Symposium on Functional and Logic Programming 1999: 1-20 |
| 6 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
An Approach to Declarative Programming Based on a Rewriting Logic.
J. Log. Program. 40(1): 47-87 (1999) |
| 1997 |
|---|
| 5 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
A Higher Order Rewriting Logic for Functional Logic Programming.
ICLP 1997: 153-167 |
| 1996 |
|---|
| 4 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Rewriting Logic for Declarative Programming.
ESOP 1996: 156-172 |
| 1993 |
|---|
| 3 | | Juan Carlos González Moreno:
A Correctness Proof for Warren's HO into FO Translation.
GULP 1993: 569-584 |
| 1992 |
|---|
| 2 | | Juan Carlos 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.
CSL 1992: 216-230 |
| 1991 |
|---|
| 1 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Denotational Versus Declarative Semantics for Functional Programming.
CSL 1991: 134-148 |
