The SCEAS System
Navigation Menu

Search the dblp DataBase


Carla Limongelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Attilio Colagrossi, Carla Limongelli
    Big Numbers p-adic Arithmetic: A Parallel Approach. [Citation Graph (0, 0)][DBLP]
    AAECC, 1988, pp:169-180 [Conf]
  2. Carla Limongelli, Hans-Wolfgang Loidl
    Rational Number Artihmetic by Parallel P-adic Algorihtms. [Citation Graph (0, 0)][DBLP]
    ACPC, 1993, pp:72-86 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Carla Limongelli, Marco Temperini
    On the Uniform Representation of Mathematical Data Structures. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:319-330 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]

  19. LS-Plan: An Effective Combination of Dynamic Courseware Generation and Learning Styles in Web-Based Education. [Citation Graph (, )][DBLP]

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

  21. LS-LAB: A Framework for Comparing Curriculum Sequencing Algorithms. [Citation Graph (, )][DBLP]

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

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

  24. 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.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002