The SCEAS System
| |||||||

## Search the dblp DataBase
Marco Temperini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
**Plan of Activities on the Map Calculus.**[Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1998, pp:343-356 [Conf] - Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
**Instructing Equational Set-Reasoning with Otter.**[Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:152-167 [Conf] - Paolo Di Blasio, Marco Temperini
**Subtyping Inheritance in Languages for Symbolic Computation Systems.**[Citation Graph (0, 0)][DBLP] DISCO, 1993, pp:107-121 [Conf] - Carla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini
**Abstract Specification Of Mathematical Structures And Methods.**[Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:61-70 [Conf] - Carla Limongelli, Giuseppina Malerba, Marco Temperini
**Uniform Representation of Basic Algebraic Structures in Computer Algebra.**[Citation Graph (0, 0)][DBLP] DISCO, 1996, pp:202-203 [Conf] - Carla Limongelli, Marco Temperini
**On the Uniform Representation of Mathematical Data Structures.**[Citation Graph (0, 0)][DBLP] DISCO, 1993, pp:319-330 [Conf] - Gianna Cioni, Attilio Colagrossi, Marco Temperini
**An Approach to Class Reasoning in Symbolic Computation.**[Citation Graph (0, 0)][DBLP] DISCO, 1996, pp:240-251 [Conf] - Giorgio Forcellese, Marco Temperini
**Towards A Logic Language: An Object-Oriented Implementation Of The Connection Method.**[Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:280-281 [Conf] - Carla Limongelli, Alfonso Miola, Marco Temperini
**Design and Implementation of Symbolic Computation Systems.**[Citation Graph (0, 0)][DBLP] Programming Environments for High-Level Scientific Problem Solving, 1991, pp:217-227 [Conf] - Mauro Regio, Marco Temperini
**Implementation and Manipulation of Formal Objects: An Object-Oriented View.**[Citation Graph (0, 0)][DBLP] SIGSMALL/PC Symposium, 1990, pp:283-287 [Conf] - Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
**Layered map reasoning: An experimental approach put to trial on sets.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal] - Paolo Di Blasio, Marco Temperini
**Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1995, v:19, n:1-3, pp:39-63 [Journal] - Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
**Goals and Benchmarks for Automated Map Reasoning.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:29, n:2, pp:259-297 [Journal] - Carla Limongelli, Marco Temperini
**Abstract Specification of Structures and Methods in Symbolic Mathematical Computation.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:104, n:1, pp:89-107 [Journal] **Lecomps5: A Web-Based Learning System For Course Personalization And Adaptation.**[Citation Graph (, )][DBLP]**Collaborative Projects and Self Evaluation within a Social Reputation-Based Exercise-Sharing System.**[Citation Graph (, )][DBLP]**Automated and Flexible Comparison of Course Sequencing Algorithms in the LS-Lab Framework.**[Citation Graph (, )][DBLP]**Learning from Peers: Motivating Students through Reputation Systems.**[Citation Graph (, )][DBLP]**Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences.**[Citation Graph (, )][DBLP]**Virtual Cultural Tour Personalization by Means of an Adaptive E-Learning System: A Case Study.**[Citation Graph (, )][DBLP]**TSW: A Web-Based Automatic Correction System for C Programming Exercises.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |