Concepedia

Juan Carlos González Moreno

JC

6

Publications

320

Citations

6

H-Index

1993

Active since

Affiliations

Universidade de Vigo(Current)

Universidad Complutense de Madrid

Juan Carlos González Moreno is an author at Universidade de Vigo specializing in engineering, computer science, and software engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSystems EngineeringSoftware EngineeringDesignSoftware DesignLogic ProgrammingFormal Verification

Publications per year

1993–2015

6

Publications

6

An approach to declarative programming based on a rewriting logic

Juan Carlos González Moreno, M.Teresa Hortalá-González, Francisco J. López-Fraguas et al. · The Journal of Logic Programming · 1999 · 189 citations

Declarative Programming, Engineering, Program Analysis +10

Polymorphic Types in Functional Logic Programming.

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo · Journal of functional and logic programming · 2001 · 42 citations

Polymorphic Types, Engineering, Lazy Narrowing +16

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 et al. · Engineering Applications of Artificial Intelligence · 2015 · 31 citations

Agent Development Tool, Engineering, Efficient Agent-based Simulators +9

A technique for defining agent-oriented engineering processes with tool support

Rubén Fuentes‐Fernández, Iván García‐Magariño, Alma Gómez-Rodríguez et al. · Engineering Applications of Artificial Intelligence · 2009 · 29 citations

Agent Development Tool, Engineering, Industrial Engineering +11

Modeling serious games using AOSE methodologies

Alma Gómez-Rodríguez, Juan Carlos González Moreno, David Ramos-Valcárcel et al. · 2011 · 17 citations

Artificial Intelligence, Game Ai, Engineering +25

Rows per page

1–5 of 6