Marco Temperini Vis

*	2009
19	EE	Pietro Longo, Andrea Sterbini, Marco Temperini: TSW: A Web-Based Automatic Correction System for C Programming Exercises. WSKS (1) 2009: 13-21
18	EE	Carla Limongelli, Filippo Sciarrone, Marco Temperini, Giulia Vaste: Virtual Cultural Tour Personalization by Means of an Adaptive E-Learning System: A Case Study. WSKS (1) 2009: 40-49
	2008
17	EE	Marco Temperini, Andrea Sterbini: Learning from Peers: Motivating Students through Reputation Systems. SAINT 2008: 305-308
16	EE	Carla Limongelli, Filippo Sciarrone, Marco Temperini, Giulia Vaste: Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences. WSKS (1) 2008: 296-303
15		Carla Limongelli, Filippo Sciarrone, Marco Temperini, Giulia Vaste: Lecomps5: A Web-Based Learning System For Course Personalization And Adaptation. e-Learning 2008: 325-332
	2001
14	EE	Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Instructing Equational Set-Reasoning with Otter. IJCAR 2001: 152-167
13	EE	Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Layered map reasoning: An experimental approach put to trial on sets. Electr. Notes Theor. Comput. Sci. 48: (2001)
	2000
12		Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Goals and Benchmarks for Automated Map Reasoning. J. Symb. Comput. 29(2): 259-297 (2000)
	1998
11		Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Plan of Activities on the Map Calculus. APPIA-GULP-PRODE 1998: 343-356
	1996
10	EE	Carla Limongelli, Giuseppina Malerba, Marco Temperini: Uniform Representation of Basic Algebraic Structures in Computer Algebra. DISCO 1996: 202-203
9	EE	Gianna Cioni, Attilio Colagrossi, Marco Temperini: An Approach to Class Reasoning in Symbolic Computation. DISCO 1996: 240-251
	1995
8		Paolo Di Blasio, Marco Temperini: Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems. J. Symb. Comput. 19(1-3): 39-63 (1995)
	1993
7	EE	Paolo Di Blasio, Marco Temperini: Subtyping Inheritance in Languages for Symbolic Computation Systems. DISCO 1993: 107-121
6	EE	Carla Limongelli, Marco Temperini: On the Uniform Representation of Mathematical Data Structures. DISCO 1993: 319-330
	1992
5		Carla Limongelli, Marco Temperini: Abstract Specification of Structures and Methods in Symbolic Mathematical Computation. Theor. Comput. Sci. 104(1): 89-107 (1992)
	1991
4		Carla Limongelli, Alfonso Miola, Marco Temperini: Design and Implementation of Symbolic Computation Systems. Programming Environments for High-Level Scientific Problem Solving 1991: 217-227
	1990
3	EE	Giorgio Forcellese, Marco Temperini: Towards A Logic Language: An Object-Oriented Implementation Of The Connection Method. DISCO 1990: 280-281
2	EE	Carla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini: Abstract Specification Of Mathematical Structures And Methods. DISCO 1990: 61-70
1	EE	Mauro Regio, Marco Temperini: Implementation and Manipulation of Formal Objects: An Object-Oriented View. SIGSMALL/PC Symposium 1990: 283-287

Coauthor Index

1	Paolo Di Blasio	[7] [8]
2	Gianna Cioni	[9]
3	Attilio Colagrossi	[9]
4	Giorgio Forcellese	[3]
5	Andrea Formisano	[11] [12] [13] [14]
6	Carla Limongelli	[2] [4] [5] [6] [10] [15] [16] [18]
7	Pietro Longo	[19]
8	Giuseppina Malerba	[10]
9	M. Beatrice Mele	[2]
10	Alfonso Miola	[4]
11	Eugenio G. Omodeo	[11] [12] [13] [14]
12	Mauro Regio	[1] [2]
13	Filippo Sciarrone	[15] [16] [18]
14	Andrea Sterbini	[17] [19]
15	Giulia Vaste	[15] [16] [18]

Colors in the list of coauthors