Search the dblp DataBase
Carla Limongelli :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Attilio Colagrossi , Carla Limongelli Big Numbers p-adic Arithmetic: A Parallel Approach. [Citation Graph (0, 0)][DBLP ] AAECC, 1988, pp:169-180 [Conf ] Carla Limongelli , Hans-Wolfgang Loidl Rational Number Artihmetic by Parallel P-adic Algorihtms. [Citation Graph (0, 0)][DBLP ] ACPC, 1993, pp:72-86 [Conf ] Marta Cialdea Mayer , Carla Limongelli , Andrea Orlandini , Valentina Poggioni Planning under Uncertainty in Linear Time Logic. [Citation Graph (0, 0)][DBLP ] AI*IA, 2003, pp:324-335 [Conf ] Marta Cialdea Mayer , Andrea Orlandini , Giulio Balestreri , Carla Limongelli A Planning Fully Based on Linear Time Logic. [Citation Graph (0, 0)][DBLP ] AIPS, 2000, pp:347-354 [Conf ] Carla Limongelli , Roberto Pirastu Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic. [Citation Graph (0, 0)][DBLP ] CONPAR, 1994, pp:313-323 [Conf ] Wolfgang Gehrke , Carla Limongelli Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. [Citation Graph (0, 0)][DBLP ] DISCO, 1996, pp:98-111 [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 ] 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 ] Marta Cialdea , Carla Limongelli , Andrea Orlandini , Valentina Poggioni Planning with graded fluents and actions. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:1711-1712 [Conf ] Marta Cialdea Mayer , Carla Limongelli Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2002, pp:70-84 [Conf ] Marta Cialdea Mayer , Carla Limongelli , Andrea Orlandini , Valentina Poggioni Pdk: The System and Its Language. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2005, pp:307-311 [Conf ] Carla Limongelli , Roberto Pirastu p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems Over Rationals. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 1996, v:15, n:1, pp:- [Journal ] Marta Cialdea , Carla Limongelli , Andrea Orlandini , Valentina Poggioni A Proposal for Planning with Graded Fluents and Actions. [Citation Graph (0, 0)][DBLP ] Intelligenza Artificiale, 2005, v:2, n:4, pp:66-73 [Journal ] Marta Cialdea Mayer , Carla Limongelli , Andrea Orlandini , Valentina Poggioni Linear temporal logic as an executable semantics for planning languages. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 2007, v:16, n:1, pp:63-89 [Journal ] Carla Limongelli On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1993, v:15, n:2, pp:181-197 [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 ] LS-Plan: An Effective Combination of Dynamic Courseware Generation and Learning Styles in Web-Based Education. [Citation Graph (, )][DBLP ] Lecomps5: A Web-Based Learning System For Course Personalization And Adaptation. [Citation Graph (, )][DBLP ] LS-LAB: A Framework for Comparing Curriculum Sequencing Algorithms. [Citation Graph (, )][DBLP ] Automated and Flexible Comparison of Course Sequencing Algorithms in the LS-Lab Framework. [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 ] Search in 0.002secs, Finished in 0.003secs