## Roberto Moriyón

**Last publications registered in ORCID :**

A tool for the reinforcement of conceptual learning: Description and use experiences, 2005,

*Journal of Universal Computer Science*

Modeling interactivity for mathematics learning by demonstration, 2004,

*Mathematical Knowledge Management, Proceedings*

Role-based specification of the behaviour of an agent for the interactive resolution of mathematical problems, 2004,

*Intelligent Tutoring Systems, Proceedings*

Solving mathematical exercises that involve symbolic computations, 2004,

*Computing in Science & Engineering*. DOI: 10.1109/mcise.2004.1255826

Building mathematics learning applications by means of ConsMath, 2003,

*33rd Annual Frontiers in Education (IEEE Cat. No.03CH37847C)*

Developing applications with a framework for the analysis of the learning process and collaborative tutoring, 2003,

*International Journal of Continuing Engineering Education and Life-Long Learning*. DOI: 10.1504/ijceell.2003.003275

Strategies for the interactive resolution of calculus problems, 2003,

*Computational Science - Iccs 2003, Pt I, Proceedings*

Collaborative analysis and tutoring: The FACT Framework, 2001,

*Ieee International Conference on Advanced Learning Technologies, Proceedings*

Collaborative analysis and tutoring: the FACT framework, 2001,

*Proceedings IEEE International Conference on Advanced Learning Technologies*. DOI: 10.1109/icalt.2001.943861

Guided collaborative chess tutoring through game history analysis, 2001,

*Computers and Education: Towards an Interconnected Society*

Symbolic calculus training by means of Math Trainer, 2001,

*Computers and Education: Towards an Interconnected Society*

Distributed task management by means of workflow atoms, 2000,

*SADIO Electronic Journal of Informatics and Operation Research*

Interactive mathematics teaching with MathEdu, 2000,

*Computers and Education in the 21st Century*

Towards agent-oriented assistance for framework instantiation, 2000,

*SIGPLAN Notices*

Help generation for task based applications with HATS, 1999,

*Engineering For Human-Computer Interaction*

Teaching tasks in an adaptive learning environment, 1999,

*Human-Computer Interaction: Ergonomics and User Interfaces. Proceedings of HCI International '99 (8th International Conference on Human-Computer Interaction)*

KIISS: a system for visual specification of model-based user interfaces, 1998,

*Proceedings 1998 Australasian Computer Human Interaction Conference. OzCHI'98 (Cat. No.98EX234)*. DOI: 10.1109/ozchi.1998.732229

Reducing the effort of building object-oriented visualizations, 1998,

*Twenty-Second Annual International Computer Software & Applications Conference - Proceedings*. DOI: 10.1109/cmpsac.1998.716720

Analytic conjugation of diffeomorphisms in T-n, 1997,

*Ergodic Theory and Dynamical Systems*. DOI: 10.1017/s0143385797069897

PROGENES: solving mathematical problems that involve reasoning and calculations, 1995,

*Proceedings of the ISCA International Conference, Fourth Golden West Conference on Intelligent Systems*

Automatic generation of help from interface design models, 1994,

*CHI '94 Conference Proceedings. Human Factors in Computing Systems `Celebrating Interdependence'*

A model of knowledge in elementary mechanics, 1993,

*ICCE '93. Proceedings of the 1993 International Conference on Computers in Education (Applications of Intelligent Computer Technologies)*

THE INTEGRATED USER-SUPPORT ENVIRONMENT (IN-USE) GROUP AT USC ISI, 1993,

*Human Factors in Computing Systems*

INVARIANTS FOR SMOOTH CONJUGACY OF HYPERBOLIC DYNAMICAL-SYSTEMS .4., 1988,

*Communications in Mathematical Physics*

INVARIANTS FOR SMOOTH CONJUGACY OF HYPERBOLIC DYNAMIC-SYSTEMS .1., 1987,

*Communications in Mathematical Physics*. DOI: 10.1007/bf01208962

INVARIANTS FOR SMOOTH CONJUGACY OF HYPERBOLIC DYNAMIC-SYSTEMS .3., 1987,

*Communications in Mathematical Physics*. DOI: 10.1007/bf01217815

CANONICAL PERTURBATION-THEORY OF ANOSOV SYSTEMS AND REGULARITY RESULTS FOR THE LIVSIC COHOMOLOGY EQUATION, 1986,

*Annals of Mathematics*. DOI: 10.2307/1971334

Canonical perturbation theory for Anosov diffeomorphisms, 1986,

*USMG, NATO ASI, Les Houches Session XLIII: Critical Phenomena, Random Systems, Gauge Theories*

THE DEGENERATE COMPLEX MONGE-AMPERE EQUATION ON THIN ANNULI, 1986,

*Communications in Partial Differential Equations*. DOI: 10.1080/03605308608820461

CANONICAL PERTURBATION-THEORY OF ANOSOV SYSTEMS, AND REGULARITY RESULTS FOR THE LIVSIC COHOMOLOGY EQUATION, 1985,

*Bulletin of the American Mathematical Society*. DOI: 10.1090/s0273-0979-1985-15298-x

REGULARITY OF THE DIRICHLET PROBLEM FOR THE DEGENERATE COMPLEX MONGE-AMPERE EQUATION, 1982,

*Communications on Pure and Applied Mathematics*. DOI: 10.1002/cpa.3160350102

REGULARITY OF THE DIRICHLET PROBLEM FOR THE COMPLEX MONGE-AMPERE EQUATION, 1979,

*Proceedings of the National Academy of Sciences of the United States of America*. DOI: 10.1073/pnas.76.3.1022

DIFFERENTIATION OF INTEGRALS IN RN AND HALO-CONJECTURE, 1975,

*Notices of the American Mathematical Society*