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