The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Temperini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
    Instructing Equational Set-Reasoning with Otter. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:152-167 [Conf]
  3. Paolo Di Blasio, Marco Temperini
    Subtyping Inheritance in Languages for Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:107-121 [Conf]
  4. 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]
  5. 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]
  6. Carla Limongelli, Marco Temperini
    On the Uniform Representation of Mathematical Data Structures. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:319-330 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]

  15. Lecomps5: A Web-Based Learning System For Course Personalization And Adaptation. [Citation Graph (, )][DBLP]


  16. Collaborative Projects and Self Evaluation within a Social Reputation-Based Exercise-Sharing System. [Citation Graph (, )][DBLP]


  17. Automated and Flexible Comparison of Course Sequencing Algorithms in the LS-Lab Framework. [Citation Graph (, )][DBLP]


  18. Learning from Peers: Motivating Students through Reputation Systems. [Citation Graph (, )][DBLP]


  19. Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences. [Citation Graph (, )][DBLP]


  20. Virtual Cultural Tour Personalization by Means of an Adaptive E-Learning System: A Case Study. [Citation Graph (, )][DBLP]


  21. TSW: A Web-Based Automatic Correction System for C Programming Exercises. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002