dblp.uni-trier.dewww.uni-trier.de

Carla Limongelli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
23EECarla 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
22EECarla Limongelli, Filippo Sciarrone, Giulia Vaste: LS-Plan: An Effective Combination of Dynamic Courseware Generation and Learning Styles in Web-Based Education. AH 2008: 133-142
21EECarla Limongelli, Filippo Sciarrone, Marco Temperini, Giulia Vaste: Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences. WSKS (1) 2008: 296-303
20 Carla Limongelli, Filippo Sciarrone, Marco Temperini, Giulia Vaste: Lecomps5: A Web-Based Learning System For Course Personalization And Adaptation. e-Learning 2008: 325-332
2007
19EEMarta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: Linear temporal logic as an executable semantics for planning languages. Journal of Logic, Language and Information 16(1): 63-89 (2007)
2005
18EEMarta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: Planning with graded fluents and actions. IJCAI 2005: 1711-1712
17EEMarta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: Pdk: The System and Its Language. TABLEAUX 2005: 307-311
16 Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: A Proposal for Planning with Graded Fluents and Actions. Intelligenza Artificiale 2(4): 66-73 (2005)
2003
15EEMarta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: Planning under Uncertainty in Linear Time Logic. AI*IA 2003: 324-335
2002
14EEMarta Cialdea Mayer, Carla Limongelli: Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. TABLEAUX 2002: 70-84
2000
13 Marta Cialdea Mayer, Andrea Orlandini, Giulio Balestreri, Carla Limongelli: A Planning Fully Based on Linear Time Logic. AIPS 2000: 347-354
1996
12 Jacques Calmet, Carla Limongelli: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings Springer 1996
11EECarla Limongelli, Giuseppina Malerba, Marco Temperini: Uniform Representation of Basic Algebraic Structures in Computer Algebra. DISCO 1996: 202-203
10EEWolfgang Gehrke, Carla Limongelli: Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. DISCO 1996: 98-111
9 Carla Limongelli, Roberto Pirastu: p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems Over Rationals. Computers and Artificial Intelligence 15(1): (1996)
1994
8EECarla Limongelli, Roberto Pirastu: Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic. CONPAR 1994: 313-323
1993
7 Carla Limongelli, Hans-Wolfgang Loidl: Rational Number Artihmetic by Parallel P-adic Algorihtms. ACPC 1993: 72-86
6EECarla Limongelli, Marco Temperini: On the Uniform Representation of Mathematical Data Structures. DISCO 1993: 319-330
5 Carla Limongelli: On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics. J. Symb. Comput. 15(2): 181-197 (1993)
1992
4 Carla Limongelli, Marco Temperini: Abstract Specification of Structures and Methods in Symbolic Mathematical Computation. Theor. Comput. Sci. 104(1): 89-107 (1992)
1991
3 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
2EECarla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini: Abstract Specification Of Mathematical Structures And Methods. DISCO 1990: 61-70
1988
1EEAttilio Colagrossi, Carla Limongelli: Big Numbers p-adic Arithmetic: A Parallel Approach. AAECC 1988: 169-180

Coauthor Index

1Giulio Balestreri [13]
2Jacques Calmet [12]
3Attilio Colagrossi [1]
4Wolfgang Gehrke [10]
5Hans-Wolfgang Loidl [7]
6Giuseppina Malerba [11]
7Marta Cialdea Mayer [13] [14] [15] [16] [17] [18] [19]
8M. Beatrice Mele [2]
9Alfonso Miola [3]
10Andrea Orlandini [13] [15] [16] [17] [18] [19]
11Roberto Pirastu [8] [9]
12Valentina Poggioni [15] [16] [17] [18] [19]
13Mauro Regio [2]
14Filippo Sciarrone [20] [21] [22] [23]
15Marco Temperini [2] [3] [4] [6] [11] [20] [21] [23]
16Giulia Vaste [20] [21] [22] [23]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)