Denotational Versus Declarative Semantics for Functional Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (CSL, 1991)

On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (CSL, 1992)

A Correctness Proof for Warren's HO into FO Translation. - Juan Carlos González Moreno (GULP, 1993)

A Rewriting Logic for Declarative Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (ESOP, 1996)

A Higher Order Rewriting Logic for Functional Logic Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (ICLP, 1997)

Semantics and Types in Functional Logic Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (Fuji International Symposium on Functional and Logic Programming, 1999)

An Approach to Declarative Programming Based on a Rewriting Logic. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (J. Log. Program., 1999)

A Graphical Environment for Functional Logic Languages. - Javier de Dios Castro; Juan Carlos González Moreno (WFLP, 2000)

Polymorphic Types in Functional Logic Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (J. Funct. Log. Program., 2001)

Definition of Process Models for Agent-Based Development. - Iván García-Magariño; Alma Gómez-Rodríguez; Juan Carlos González Moreno (AOSE, 2008)

Design of Multiagent System Architecture. - Juan Carlos González Moreno; Luis Vázquez López (COMPSAC, 2008)

Modeling Processes of AOSE Methodologies by Means of a New Editor. - Iván García-Magariño; Alma Gómez-Rodríguez; Juan Carlos González Moreno (DCAI, 2008)

INGENIAS-SCRUM Development Process for Multi-Agent Development. - Iván García-Magariño; Alma Gómez-Rodríguez; Jorge J. Gómez-Sanz; Juan Carlos González Moreno (DCAI, 2008)

Using Techniques Based on Natural Language in the Development Process of Multiagent Systems. - Juan Carlos González Moreno; Luis Vázquez López (DCAI, 2008)

Methodology vs. Development Process: A Case Study for AOSE. - Alma Gómez-Rodríguez; Juan Carlos González Moreno (IWANN (2), 2009)

V-MAS: A Video Conference Multiagent System. - Alma Gómez-Rodríguez; Juan Carlos González Moreno; Loxo Lueiro Astray; Rubén Romero-González (PAAMS, 2009)

Process Documentation Standardization: An Initial Evaluation. - Massimo Cossentino; Juan Carlos González Moreno; Alma Gómez-Rodríguez; Andrea Omicini; Ambra Molesini (MALLOW, 2010)

Applying Process Document Standarization to INGENIAS. - Juan Carlos González Moreno; Alma Gómez-Rodríguez (MALLOW, 2010)

Application of a Modeling Standard Language on the Definition of Agent Oriented Development Processes. - Alma María Gómez-Rodríguez; Juan Carlos González Moreno (PAAMS (Special Sessions and Workshops), 2010)

Agent Collaboration Framework. - Juan Carlos González Moreno; Francisco Javier Rodríguez-Martínez; Rubén Romero-González; Cástor Sánchez-Chao (PAAMS (Special Sessions and Workshops), 2010)

Comparing Agile Processes for Agent Oriented Software Engineering. - Alma María Gómez-Rodríguez; Juan Carlos González Moreno (PROFES, 2010)

A technique fordefining agent-oriented engineering processes with tool support. - Rubén Fuentes-Fernández; Iván García-Magariño; Alma María Gómez-Rodríguez; Juan Carlos González Moreno (Eng. Appl. Artif. Intell., 2010)

Using a controlled language in Spanish to specify the architectural design of a multiagent system. - Alma Gómez-Rodríguez; Juan Carlos González Moreno; David Ramos-Varcárcel; Luis Vázquez López (ISDA, 2011)

Modeling serious games using AOSE methodologies. - Alma Gómez-Rodríguez; Juan Carlos González Moreno; David Ramos-Valcarcel; Luis Vázquez López (ISDA, 2011)

Using Multi-Agent Systems to Visualize Text Descriptions. - Edgar Bolaño-Rodríguez; Juan Carlos González Moreno; David Ramos-Valcarcel; Luis Vázquez López (PAAMS, 2011)

Agent Oriented Software Engineering for Multimedia Systems' Development - An Experimental Case Study. - Alma María Gómez-Rodríguez; Juan Carlos González Moreno; David Ramos-Varcárcel; Francisco Javier Rodríguez-Martínez (ENASE, 2012)

An Agent Oriented Development Process for Multimedia Systems, . - Alma María Gómez-Rodríguez; Juan Carlos González Moreno; David Ramos-Valcarcel; Francisco Javier Rodríguez-Martínez (ENASE (Selected Papers), 2012)

INGENIAS with the Unified Development Process. - Alma Gómez-Rodríguez; Rubén Fuentes-Fernández; Juan Carlos González Moreno; Francisco Javier Rodríguez-Martínez (Handbook on Agent-Oriented Design Processes, 2014)

INGENIAS-Scrum. - Juan Carlos González Moreno; Alma Gómez-Rodríguez; Rubén Fuentes-Fernández; David Ramos-Valcarcel (Handbook on Agent-Oriented Design Processes, 2014)

PEABS: A Process for developing Efficient Agent-Based Simulators. - Iván García-Magariño; Alma Gómez-Rodríguez; Juan Carlos González Moreno; Guillermo Palacios Navarro 001 (Eng. Appl. Artif. Intell., 2015)

A located and user personalized event's dissemination platform. - Juan Ignacio Costa-Dasilva; Alma María Gómez-Rodríguez; Juan Carlos González Moreno; David Ramos-Valcarcel (J. Intell. Fuzzy Syst., 2015)

Pentas: Using Satellites for Smart Sensing. - Lorena Otero-Cerdeira; Alma Gómez-Rodríguez; Francisco Javier Rodríguez-Martínez; Juan Carlos González Moreno; Arno Formella (IIMSS, 2016)

Teaching real-time video processing theory by using an FPGA-based educational system and the "learning-by-doing" method. - Enrique Guzmán-Ramírez; Iván A. García; Juan Carlos González Moreno; Manuel Mendoza-Manzano (Comput. Appl. Eng. Educ., 2017)