Selected Publications

 

Refereed International Journal Articles

  • FELTONI GURINI, D., GASPARETTI F., MICARELLI A., SANSONETTI G.. Temporal people-to-people recommendation on social networks with sentiment-based matrix factorization. Future Generation Computer Systems, 2017, In press (PDF,Bibtex,DOI)
  • GASPARETTI F., DE MEDIO C., LIMONGELLI C., SCIARRONE F., TEMPERINI M. Prerequisites between Learning Objects: Automatic Extraction based on a Machine Learning Approach. Telematics and Informatics, 2017, In press (PDF,Bibtex,DOI)
  • GASPARETTI F.. Modeling user interests from web browsing activities. Data Min Knowl Disc, 2016, In press (SharedItPDF,PDF,Bibtex,DOI)
  • GASPARETTI F.. Personalization and Context-awareness in Social Local Search: State-of-the-art and Future Research Challenges. Pervasive and Mobile Computing, 2016, In press (PDF,Bibtex,DOI)
  • BIANCALANA C., GASPARETTI F., MICARELLI A., SANSONETTI G.. Social Semantic Query Expansion. ACM Transactions on Intelligent Systems and Technology (TIST), 2013, Vol. 4, No. 4 (PDF,Bibtex, ©ACM, 2013. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version will be published in ACM DL)
  • BIANCALANA C., GASPARETTI F., MICARELLI A., SANSONETTI G.. An Approach to Social Recommendation for Context-Aware Mobile Services. ACM Transactions on Intelligent Systems and Technology (TIST), 2013, Vol. 4, No. 1 (PDFDOI,Bibtex, ©ACM, 2012. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version will be published in ACM DL)
  • LIMONGELLI C., SCIARRONE F., TEMPERINI M., VASTE G.. The Lecomps5 framework for personalized web-based learning: A teacher’s satisfaction perspective. Computers in Human Behavior 27(4): 1310-1320 (2011)
  • CERRITO S., CIALDEA MAYER M.. An efficient approach to nominal equalities in hybrid logic tableaux, Journal of Applied Non-Classical Logics, (2010), 20(1-2):39-61.
  • CESTA A., FINZI A., FRATINI S., ORLANDINI A., TRONCI E.. Validation and Verification Issues in a Timeline Planning System. In Knowledge Engineering Review. 25(3): 299-318. Cambridge Press. 2010.
  • LIMONGELLI C., SCIARRONE F., TEMPERINI M., VASTE G.. Automated and Flexible Comparison of Course Sequencing Algorithms in the LS-Lab Framework. Intelligent Tutoring Systems (2) 2010: 371-373
  • LIMONGELLI C., SCIARRONE F., STARACE P., TEMPERINI M.. An Ontology-Driven OLAP System to Help Teachers in the Analysis of Web Learning Object Repositories. IS Management 27(3): 198-206 (2010)
  • GASPARETTI F., MICARELLI A., SCIARRONE F.. A Web-based Training System for Business Letter Writing. Knowledge-Based Systems – Special edition: Artificial Intelligence (AI) in Blended Learning, 22(4), pp.287-291, Elsevier B.V., ISSN: 0950-7051, 2009 (Preprint PDF, DOI).Bibtex
  • GASPARETTI F., MICARELLI A., SANSONETTI G.. Cognitive Modeling of User Needs in Web Browsing Activities. Cognitive Systems (ESSCS), 7(7-2), pp. 139-164, 2009. Bibtex.
  • LIMONGELLI C., SCIARRONE F., VASTE G.. An Application of the LS-Plan system to an educational hypermedia. Int. J. of Web-Based Learning and Teaching Technologies, 4, 1, pp. 16-34, 2009.
  • LIMONGELLI C., SCIARRONE F., TEMPERINI M., VASTE G.. Adaptive Learning with the LS-Plan System: A Field Evaluation. IEEE Transactions on Learning Technologies 2(3): 203-215 (2009)
  • CARBONE A., FINZI A., ORLANDINI A., PIRRI F.. Model-based control architecture for attentive robots in rescue scenarios. Autonomous Robots, 24:87-120. ISSN 0929-5593. Springer. January 2008.
  • MICARELLI A., SCIARRONE F., GASPARETTI F.. A Case-Based Approach to Adaptive Hypermedia Navigation. International Journal of Web-Based Learning and Teaching Technologies (IJWLTT), 4(1):35-53, IGI Global, ISSN: 1548-1093, 2009. PDFBibtex
  • SANGINETO E., CAPUANO N., GAETA M., MICARELLI A.. Adaptive course generation through learning styles representation. Universal Access in the Information Society 7(1-2): 1-23 (2008).
  • CIALDEA MAYER M., LIMONGELLI C., ORLANDINI A., POGGIONI V.. Linear temporal logic as an executable semantics for planning languages. J. Logic Language and Information (2007) 16:63-89
  • GASPARETTI F., MICARELLI A.. Personalized Search based on a Memory Retrieval Theory. International Journal of Pattern Recognition and Artificial Intelligence (IJPRAI), Special Issue on Personalization Techniques for Recommender Systems and Intelligent User Interfaces, 21(2):207-224, World Scientific Publishing, ISSN: 0218-0014, 2007 (Preprint PDF, Preprint of an article submitted for consideration in IJPRAI © 2007 copyright World Scientific Publishing Company) Bibtex
  • CIALDEA MAYER M., LIMONGELLI C., ORLANDINI A., POGGIONI V.. Linear temporal logic as an executable semantics for planning languages. J. of Logic, Lang., Inf. 16, 1 (Jan. 2007), 63-89.
  • MICARELLI A., BOYLAN P., GAETA M., SCIARRONE F.. The self-directed learning paradigm for intelligent educational systems. Cognitive Systems, Publications, ISSN: 0256-663X, 6(4):387-408, April 2005.
  • CAPUANO N., GAETA M., MICARELLI A. and SANGINETO E.. Diogene: a Semantic Web-based Automatic Brokering System. AIS SIGSEMIS Bulletin, 1(3), October 2004.
  • MARINILLI M., MICARELLI A.. Generative Programming Driven by User Models. User Modeling 2005: 30-39. 2004
  • MICARELLI A., SCIARRONE F.. Anatomy and Empirical Evaluation of an Adaptive Web-Based Information Filtering System. User Model. User-Adapt. Interact. 14(2-3): 159-200 (2004).
  • GENTILI G., MICARELLI A., SCIARRONE F.. Infoweb: An Adaptive Information Filtering System for the Cultural Heritage Domain. Applied Artificial Intelligence 17(8-9): 715-744 (2003).
  • CIALDEA MAYER M., CERRITO S.. Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. Studia Logica 69: 97-131, 2001.
  • CERRITO S., CIALDEA MAYER M.. A polynomial translation of S4 into T and contraction free tableaux for S4. Logic Journal of the IGPL 5(2):287-300, 1997.
  • MICARELLI A., BOYLAN P.. Conversation Rebuilding: From the Foreign Language Classroom to Implementation in an Intelligent Tutoring System. Computers & Education, 29(4), 1997, pp. 163-180.
  • CIALDEA MAYER M., PIRRI F.. Abduction is not Deduction-in-Reverse. Journal of the Interest Group in Pure and Applied Logics (IGPL), 4(1):1-14, 1996.
  • LIMONGELLI C., PIRASTU R.. p-adic Arithmetic and Parallel Symbolic Computation: an Implementation for Solving Linear Systems over the Rationals. Computer and Artificial Intelligence, Vol. 14, n. 1, 35-62, 1996.
  • CIALDEA MAYER M., PIRRI F.. Propositional abduction in modal logic. Journal of the Interest Group in Pure and Applied Logics (IGPL), 3:907-919, 1995.
  • CIONI G., COLAGROSSI A. and MIOLA A.. A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. J. Symb. Comput. 19(1-3): 175-199 (1995)
  • AIELLO L., CIALDEA M., NARDI D.. Reasoning about student knowledge and reasoning. Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI’91), pages 1087–1093, 1991. Also in the Journal of Artificial Intelligence in Education, 3:397-413, 1993.
  • CIALDEA MAYER M., PIRRI F.. First order abduction via tableau and sequent calculi. Bulletin of the Interest Group in Pure and Applied Logics (IGPL), 1:99-117, 1993.
  • CIALDEA MAYER M.. Herbrand style proof procedures for modal logics. Journal of Applied Non-Classical Logics, 3:205-223, 1993.
  • CIONI G., COLAGROSSI A., MIOLA A.. A Desk-Top Sequent Calculus Machine, Springer Verlag LNCS, 737: 224-236 (1993).
  • LIMONGELLI C.. On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics. Journal of Symbolic Computation, vol. 15, n.2, 1993.
  • LIMONGELLI C., TEMPERINI M.. On Parallelizing p-adic Arithmetic over Big Numbers Domains. Journal of Information Science and Technology, Vol. 2, n. 4, July 1993.
  • LIMONGELLI C., TEMPERINI M.. Abstract Specification of Structures and Methods in Symbolic Mathematical Computation Theoretical Computer Science, Vol.104, pagg. 89-107, Elsevier Science Publisher, October 1992.
  • CIALDEA M.. Resolution for some first order modal systems. Theoretical Computer Science, 85:213-229, 1991.
  • AIELLO L., MICARELLI A.. SEDAF: an intelligent educational system for mathematics. Applied Artificial Intelligence 4(1): 15-36 (1990).
  • MIOLA A., MORA T.. Constructive Lifting in Graded Structures: a unified view of Buchberger and Hensel methods, Academic Press, Journal of Symbolic Computation vol. 6, n.2/3, (1989).

Refereed National Journal Articles

  • ORLANDINI A., RASCONI R.. Il ruolo dell’autonomia nella robotica spaziale. MEDIA2000. ISSN 0393-0599. Nr. 260. October 2008.
  • POGGIONI V., CIALDEA M., LIMONGELLI C., ORLANDINI A.. A Proposal for Planning with graded fluents and actions. Intelligenza Artificiale. ISSN 1724-8035. 2005.

Chapters in Books

  • CESTA A., FINZI A., FRATINI S., ORLANDINI A., TRONCI E.. Flexible Timeline-based Plan Verification with UPPAAL-TIGA . In Proc. of the 32nd Annual German Conference on Artificial Intelligence (KI). To appear. 2009.
  • BIANCALANA C., MICARELLI A., LAPOLLA A.. Personalized Web Search using Correlation Matrix for Query Expansion. In Joaquim Filipe, José Cordeiro, Vitor Pedrosa (Eds.): Web Information Systems and Technologies, LNBIP, 2009.
  • GASPARETTI F., MICARELLI A.. A Deep Evaluation of Two Cognitive User Models for Personalized Search. In Uchyigit, G., Ma M. (eds.): Series in Machine Perception and Artificial Intelligence, Personalization Techniques and Recommender Systems – Vol. 70, pp.3-32, World Scientific Publishing Co., New Jersey, USA, March 2008, ISBN: 9812797017, 2008.
  • GAUCH S., SPERETTA M., CHANDRAMOULI A., MICARELLI A.. User Profiles for Personalized Information Access. The Adaptive Web: Methods and Strategies of Web Personalization. Volume 4321 of Lecture Notes in Computer Science, pp.54-89, Springer-Verlag, Berlin Heidelberg New York, ISBN: 978-3-540-72078-2, 2007.
  • MICARELLI A., GASPARETTI F.. Adaptive Focused Crawling. In Brusilovsky, P., Kobsa, A., Nejdl, W. (eds.): The Adaptive Web: Methods and Strategies of Web Personalization. Volume 4321 of Lecture Notes in Computer Science, pp.231-262, Springer-Verlag, Berlin Heidelberg New York, ISBN: 978-3-540-72078-2, 2007 (Preprint PDF, The original publication is available at www.springerlink.com) Bibtex.
  • MICARELLI A., GASPARETTI F., SCIARRONE F., GAUCH S.. Personalized Search on the World Wide Web. In Brusilovsky, P., Kobsa, A., Nejdl, W. (eds.): The Adaptive Web: Methods and Strategies of Web Personalization. Volume 4321 of Lecture Notes in Computer Sciente, pp.195-230, Springer-Verlag, Berlin Heidelberg New York, ISBN: 978-3-540-72078-2, 2007 (Preprint PDF, The original publication is available at www.springerlink.com) Bibtex
  • MICARELLI A., SCIARRONE F., MARINILLI M.. Web Document Modeling. In Brusilovsky, P., Kobsa, A., Nejdl, W. (eds.): The Adaptive Web: Methods and Strategies of Web Personalization. Volume 4321 of Lecture Notes in Computer Sciente, pp.155-192, Springer-Verlag, Berlin Heidelberg New York, ISBN: 978-3-540-72078-2, 2007.
  • MICARELLI A., GASPARETTI F.., BIANCALANA C.. Intelligent Search on the Internet. In O. Stock, M. Schaerf (eds.): Reasoning, Action and Interaction in AI Theories and Systems, LNAI Festschrift Volume 4155 of the Lecture Notes in Computer Science, pp.247-264, Springer-Verlag, Berlin Heidelberg New York, ISBN: 978-3-540-37901-0, 2006. (Preprint PDF, The original publication is available at www.springerlink.com) Bibtex
  • CIALDEA MAYER M., LIMONGELLI C., ORLANDINI A., POGGIONI V.. Planning under Uncertainty in Linear Time Logic. In A. Cappelli, F. Turini (eds.), AI*IA 2003: Advances in Artificial Inteligence. LNAI 2829, pages 324-335, Springer, 2003.
  • CAPUANO N., GAETA M., GASPARETTI F., MICARELLI A.. HOLMES: A Prototype for the Targeted Research of Information about Hi-Tech Companies. In: Abraham et al. (eds.): Computational Intelligence and Applications, pp.233-240, Dynamic Publishers, Atlanta, USA, ISBN: 096403980X, 2002.
  • CERRITO S., CIALDEA MAYER M.. Labelled Tableaux for Propositional Linear Time Logic over Finite Frames. In D. Basin, M. D’Agostino, D. M. Gabbay, S. Matthews, L. Viganò (eds.), Labelled Deduction, pages 135-159, Kluwer, 2000.
  • LIMONGELLI C., MIOLA A.. Elaborazione Algebrica e Simbolica. In Manuale d’Informatica. G.Cioffi e D.Falzone (a cura di), Calderini, (1993).  Calderini Editore. 2000.
  • CIONI G., COLAGROSSI A., MIOLA A.. Deduction and abduction using a sequent calculus in: Advances in the Design of Symbolic Computation Systems. In: A. Miola, M. Temperini (Eds), RISC Series in Symbolic Computation, Springer-Verlag, (1997).
  • COLAGROSSI A., LIMONGELLI C., A MIOLA.. p-adic arithmetic: a tool for error free computation. In: MIOLA A., TEMPERINI M. (Eds). Advances in Design of Symbolic Computation Systems. RISC Series in Symbolic Computation, Springer-Verlag 1997.
  • LIMONGELLI C.. Exact solution of computational problems via parallel truncated p-adic arithmetic. In: MIOLA A., TEMPERINI M. (Eds). Advances in Design of Symbolic Computation Systems. RISC Series in Symbolic Computation, Springer-Verlag 1997.
  • LIMONGELLI C., TEMPERINI M.. The uniform representation of mathematical objects by truncated power series. In: MIOLA A., TEMPERINI M. (Eds). Advances in Design of Symbolic Computation Systems. RISC Series in Symbolic Computation, Springer-Verlag 1997.
  • MIOLA A.. An Overview of TASSO Project, in: Advances in the Design of Symbolic Computation Systems, MIOLA A. e TEMPERINI M. (Eds), RISC Series in Symbolic Computation, Springer-Verlag, (1997).
  • AIELLO L., CIALDEA M., NARDI D., M. Shaerf.. Modal and meta-languages: consistency and expressiveness. In K. Apt and F. Turini, editors, Meta-Logics and Logic Programming, pages 243-265. MIT Press, 1995.
  • AIELLO L.C., COLAGROSSI A., MICARELLI A., MIOLA A.. Building the Expert Module for ITS in Mathematics: A General Reasoning Apparatus, in Mathematical Intelligent Learning Environments, H. S. Nwana (Ed.), Intellect Books, Oxford (1993).
  • LIMONGELLI C., MIOLA A., TEMPERINI M.. Design and Implementation of Symbolic Computation Systems. Programming Environments for High-Level Scientific Problem Solving, IFIP Transaction A-2, ISSN 0926-5473, Gaffney, Houstis editors, North-Holland, 1992.
  • CIALDEA M.. Meta reasoning and student modelling. In E. Costa, editor, New Directions for Intelligent Tutoring Systems, pages 71-90. Springer, 1991.
  • MIOLA A.. Symbolic Computation and Artificial Intelligence, Springer Verlag LNCS, 535: 244-255, (1991).
  • LIMONGELLI C., MIOLA A., TEMPERINI M.. Design and Implementation of Symbolic Computation Systems. in Programming Environments for High-Level Scientific Problem Solving 1991: 217-227.
  • MIOLA A.. Computing tools today, in Computing tools for scientific problem solving, Academic Press (1990).
  • MIOLA A.. Functional programming approach to modularity in large software systems,  in Advanced Programming Methodologies, Academic Press, (1989).

Refereed Conference Papers

  • F.  GASPARETTI, C. LIMONGELLI, F. SCIARRONE. A Content-based Approach for Supporting Teachers in Discovering Dependency Relationships Between Instructional Units in Distance Learning Environments. Accepted in Proc. HCI 2015.
  • F.  GASPARETTI, A. MICARELLI, G. SANSONETTI. Mining Navigation Histories for User Need Recognition. Proc. HCI (26) 2014: 169-173. Springer 2014.(PDF,Bibtex)
  • D. FELTONI GURINI, F. GASPARETTI, A. MICARELLI, G. SANSONETTI. iSCUR: Interest and Sentiment-Based Community Detection for User Recommendation on Twitter. Proc. 22nd International Conference, UMAP 2014: 314-319. Aalborg, Denmark, July 7-11, Springer 2014. (PDF,Bibtex)
  • C. BIANCALANA, F. GASPARETTI, A. MICARELLI, G. SANSONETTI: SocialSearch – A Social Platform for Web 2.0 Search. WEBIST (1) 2014:70-81. SciTePress 2014.
  • F. GASPARETTI, A. Micarelli, G. SANSONETTI: A General Evaluation Framework for Adaptive Focused Crawlers. WEBIST (2) 2014:350-358. SciTePress 2014.
  • D. FELTONI GURINI, F. GASPARETTI, A. MICARELLI, G. SANSONETTI. A Sentiment-Based Approach to Twitter User Recommendation. Proc. 5th ACM RecSys Workshop on Recommender Systems and the Social Web (RSWeb 2013), Hong Kong, 13 Ottobre, 2013.
  • G. ARRU, D. FELTONI GURINI, F. GASPARETTI, A. MICARELLI, G. SANSONETTI. Signal-Based User Recommendation on Twitter. Proc. 4th International Workshop on Social Recommender Systems (SRS 2013), Rio de Janeiro, Brasile, 14 May 2013 (PDF,Bibtex)
  • D. FELTONI GURINI, F. GASPARETTI. TREC Microblog 2012 Track: Real-Time Algorithm for Microblog Ranking Systems. In Proc. of The 21st Text REtrieval Conference, TREC 2012, Gaithersburg, Maryland, November 6-9, 2012. National Institute of Standards and Technology (NIST) 2012
  • BIANCALANA C., GASPARETTI F., MICARELLI A., MIOLA A., SANSONETTI G.. Enhancing Query Expansion through Folksonomies and Semantic Classes. Proceedings of the 2012 International Conference on and 2012 International Confernece on Social Computing (SocialCom), Amsterdam, The Netherlands, September 3-5, 2012, pp.611-616. (PDF,DOI,Bibtex)
  • BIANCALANA C., GASPARETTI F., MICARELLI A., MIOLA A., SANSONETTI G.. Wavelet-based Music Recommendation. Proceedings of the 8th International Conference on Web Information Systems and Technologies (WEBIST 2012). Karl-Heinz Krempels, José Cordeiro (Eds.). Porto, Portugal, 18 – 21 April, 2012.  SciTePress 2012, ISBN 978-989-8565-08-2 (PDF,Bibtex)
  • BIANCALANA C., FLAMINI A., GASPARETTI F., MICARELLI A., MILLEVOLTE S., SANSONETTI G.. Enhancing Traditional Local Search Recommendations with Context-Awareness. User Modeling, Adaption and Personalization. Lecture Notes in Computer Science, 2011, Volume 6787/2011, pp335-340 (Preprint PDF, The original publication is available at www.springerlink.com).Bibtex.
  • CIALDEA MAYER M., CERRITO S.. Nominal Substitution at work with the Global and Converse Modalities. L. Beklemishev, V. Goranko and V. Shehtman (Eds.): Advances in Modal Logic, volume 8, College Publications, pp. 57-74, 2010.
  • CIALDEA MAYER M., CERRITO S.. Herod and Pilate: two tableau provers for basic hybrid logic. J. Giesl and R. Haehnle (Eds.): IJCAR 2010, LNAI 6173, pp. 255-262, 2010.
  • LIMONGELLI C., SCIARRONE F., TEMPERINI M., VASTE G.. A Module for Adaptive Course Configuration and Assessment in Moodle. WSKS (1) 2010: 267-276
  • CIALDEA MAYER M.. Abduction and consequence generation in a support system for the design of logical multiple-choice questions. In M. Giese and A. Waaler (eds.), Automated Resoning with Analytic Tableaux and Related Methods (TABLEAUX 2009). LNAI 5607, pages 167-172, Springer, 2009.
  • BIANCALANA C.. Social Tagging for Personalized Web Search. In Proceedings of the 11th Conference of the Italian Association for Artificial Intelligence (AI*IA 2009), Reggio Emilia, Italy, 9-12 December, 2009.
  • BIANCALANA C., MICARELLI A.. Social Tagging in Query Expansion: a New Way for Personalized Web Search. In proceedings of SocialCom-09 the 2009 IEEE International Conference on Social Computing 2009, 29th – 31st August 2009, Vancouver, Canada.
  • SCIARRONE F., STARACE P., FEDERICI T.. A Business Intelligence Process to Support Information Retrieval in an Ontology-Based Environment. ISDA 2009: 896-901
  • LIMONGELLI C., SCIARRONE F., VASTE G.. LS-LAB: A Framework for Comparing Curriculum Sequencing Algorithms. ISDA 2009: 950-955
  • SCIARRONE F., STARACE P.. Ontological Warehousing on Semantically Indexed Data – Reusing Semantic Search Engine Ontologies to Develop Multidimensional Schemas. KDIR 2009: 315-318
  • LIMONGELLI C., SCIARRONE F., TEMPERINI M., VASTE G.. Virtual Cultural Tour Personalization by Means of an Adaptive E-Learning System: A Case Study. WSKS (1) 2009: 40-49
  • CESTA A., FINZI A., FRATINI S., ORLANDINI A., TRONCI E.. Merging Planning, Scheduling & Verification – A Preliminary Analysis. In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA). 2008.
  • CESTA A., FINZI A., FRATINI S., ORLANDINI A., TRONCI E.. Validation and Verification Issues in a Timeline-based Planning System. In E-Proc. of ICAPS Workshop on Knowledge Engineering for Planning and Scheduling. 2008.
  • BIANCALANA C., GASPARETTI F., MICARELLI A.. Personalization in Virtual Enterprise. In Proc. Of the 5th Web Information Systems and Technologies WEBIST 2009, Lisbona, Portogallo, 23-26 Marzo, 2009. PDFBibtex
  • BIANCALANA C., PROFITI F.S., RAIMONDI F.. Extended Government, an interoperability point of view. In proceedings of the 5th Web Information Systems and Technologies WEBIST 2009, Lisboa, Portugal, 23-26 March, 2009.
  • BIANCALANA C., PISU C., PROFITI F.S., RAIMONDI F.. Security and Privacy Preserving Data in e-Government Integration, SIRFARMA Experience. In proceedings of the International Conference on Information Security and Privacy ISP 2009, July 13-16 2009 in Orlando, FL, USA.
  • BIANCALANA C., LAPOLLA A., MICARELLI A.. Query Expansion with Matrix Correlation Techniques: a Systematic Approach. In Proceedings of the 4th International Conference on Web Information Systems and Technologies, Funchal, Madeira – Portugal, 4-7 May, 2008.
  • LIMONGELLI C., SCIARRONE F., TEMPERINI M., VASTE G.. Lecomps5: a Framework for the Automatic Building of Personalized Learning Sequences. In: Emerging Technologies and Information Systems for the Knowledge Society. 1st World summit on the Knowledge Society WSKS 2008. Athens, Greece. 24-28 September 200. (vol. LNAI 5288, pp. 296-303). ISBN/ISSN: 978-354087780-6. BERLIN HIDELBERG: Springer (GERMANY). 2008.
  • LIMONGELLI C., SCIARRONE F., TEMPERINI M., VASTE G.. Personalized Learning and Personalized Tours: Two Sides of the Same Coin. In: Proc. AI*IA-IABC,. Cagliari (Italia), Sept. 11-13 2008
  • LIMONGELLI C., SCIARRONE F., VASTE G.. LS-Plan: An Effective Combination of Dynamic Courseware Generation and Learning Styles in Web-Based Education. In: Proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems. Adaptive Hypermedia and Adaptive Web-Based Systems. Hannover. 29 July – 1 august 2008. (vol. LNCS 5149, pp. 133-142). ISBN/ISSN: 978-3-540-70984-8. BERLIN HIDELBERG: Springer (GERMANY). 2008.
  • LIMONGELLI C., SCIARRONE F., TEMPERINI M., VASTE G.. Lecomps5: a Web-Based Learning System for Course Personalization and Adaptation. In: M.B.Nunes and M.McPherson (Eds.) Proc. e-Learning 2008. Amsterdam (The Nederlands), Jul. 22-25, p. 325-333, 2008.
  • BIANCALANA C., MICARELLI A., Text Categorization in non-Linear semantic space, Proceedings of the 10th Conference of the Italian Association for Artificial Intelligence (AI*IA 2007), Rome 2007, Lecture notes in Computer Science series, Springer Verlag.
  • FANTI I., PROSPERI M.C.F., ULIVI G., MICARELLI A.. HIV-1 Coreceptor Usage Prediction via Indexed Local Kernel Smoothing Methods and Grid-Based Multiple Statistical Validation. CBMS 2007: 465-470
  • GASPARETTI F., MICARELLI A.. Exploiting Web Browsing Histories to Identify User Needs, In Proc. of the 12th international conference on Intelligent user interfaces IUI 2007, Honolulu, Hawaii, USA, pp.325-328, 28-31 January 2007.  (ACM, 2011. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in IUI ’07 Proceedings of the 12th international conference on Intelligent user interfaces DOIPDFBibtex
  • LIMONGELLI C., SAMPIETRO G., TEMPERINI M.. UNITAG: Extending Moodle Functionalities to Create Personalized Courses by Means of Automated Planning. In: Proc. 8th International Conference on Information Technology Based Higher Education and Training (ITHET2007). Kumamoto, Japan, July 10-13, 2007.
  • LIMONGELLI C., SAMPIETRO G., TEMPERINI M.. Configuration of Personalized e-Learning Courses in Moodle. The IEEE Region 8 Eurocon 2007 International Conference: Computer as a Tool, 9-12 Sept. 2007 Page(s):2680-2686, 2007.
  • MICARELLI A., SANSONETTI G.. Case-Based Anomaly Detection, in Proc. of the 7th International Conference on Case-Based Reasoning ICCBR-2007, Belfast, UK, August 2007, Springer, LNAI 4626, pp. 269-283.
  • MICARELLI A., PANZIERI S., SANSONETTI G.. Case-Based Reasoning in Robot Indoor Navigation. ICCBR 2007: 284-298.
  • MICARELLI A., SANSONETTI G.. A Case-Based Approach to Anomaly Intrusion Detection. MLDM 2007: 434-448.
  • CIALDEA MAYER M., LIMONGELLI C., ORLANDINI A., POGGIONI V.. Pdk: The System and Its Language Bernhard Beckert (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings. Lecture Notes in Computer Science 3702 Springer 2005
  • CARBONE A., FINZI A., ORLANDINI A., PIRRI F., UGAZIO G.. Augmenting Situation Awareness via Model-Based Control in Rescue Robots. In Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). ISBN 0-7803-8913-1. 2005.
  • CIALDEA MAYER M., LIMONGELLI C., ORLANDINI A., POGGIONI V.. Planning with Graded Fluents and Actions. Leslie Pack Kaelbling, Alessandro Saffiotti (Eds.): IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. Professional Book Center 2005, p. 1711-1712.
  • FINZI A., ORLANDINI A.. Human-Robot Interaction through Mixed-Initiative Planning for Rescue and Search Rovers. In Proc. of 9th Congress of the Italian Association for Artificial Intelligence Intelligence. LNAI 3673, Bandini S., Manzoni S. (Eds.) XIV, ISBN 3-540-29041-9. 2005.
  • LIMONGELLI C., A. Sterbini, TEMPERINI M.. Automated course configuration based on automated planning: framework and first experiments. In G. Chiazzese et. al.. Methods and Technologies for Learning ICMTL-05 (International Conference on Methods and Technologies for Learning). WIT Press, 2005.
  • CIALDEA M., LIMONGELLI C., ORLANDINI A., POGGIONI V.. Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic. 9 Convegno Italiano di Intelligenza Artificiale AI*IA, Perugia, Italy, September 2004.
  • DI NUNZIO G.M., MICARELLI A.. Pushing Underfitting to the Limit: Learning in Bidimensional Text Categorization, in Proc. of the 16th European Conference on Artificial Intelligence ECAI-2004, Valencia, Spain, August 2004, pp. 465-469.
  • GASPARETTI F., MICARELLI A.. Swarm Intelligence: Agents for Adaptive Web Search. In Proc. of the 16th European Conference on Artificial Intelligence ECAI 2004, Valencia, Spain, 23-27 Agosto 2004 (Preprint PDFBibtex.
  • ANELLI M., MICARELLI A., SANGINETO E.. Content Based Image Retrieval for Unsegmented Images. AI*IA 2003: 398-409
  • ANELLI M., MICARELLI A., SANGINETO E.. A New Content Based Image Retrieval Method Based on a Sketch-Driven Interpretation of Line Segments. IJCAI 2003: 1551-1552.
  • DE ROSA M.P., MICARELLI A., SANSONETTI G.. An Integrated System for Automatic Face Recognition. SCIA 2003: 140-147
  • DI NUNZIO G.M.,  MICARELLI A.. Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization, in Proc. of the 18th International Joint Conference on Artificial Intelligence IJCAI-2003, Acapulco, Mexico, 9-15 August, 2003, pp. 581-586.
  • LIMONGELLI C., ORLANDINI A., POGGIONI V.. A Parallel Computation Technique for Linear Time Logic Tableaux. In M. Cialdea Mayer, F. Pirri, Tableaux 2003, Positioin Papers and Tutorials. Aracne Ed., 2003.
  • CALVO C., MICARELLI A., SANGINETO E.. Automatic Annotation of Tennis Video Sequences. DAGM-Symposium 2002: 540-547
  • CIALDEA M., LIMONGELLI C.. Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge. In U. Egly and C. G. Fermüller (eds.), Automated Resoning with Analytic Tableaux and Related Methods (Tableaux 2002). LNAI 2381, pages 70-84, Springer, 2002.
  • GASPARETTI F., MICARELLI A.. Un Sistema per la Ricerca di Informazioni sul Web Basato su una Architettura ad Agenti. In Proc. of the 9th Conference AI*IA 2002, Siena, Italy, 10-13 September, 2002.
  • THION V., CERRITO S., CIALDEA M.. A General Theorem Prover for Quantified Modal Logics. In U. Egly and C. G. Fermüller (eds.), Automated Resoning with Analytic Tableaux and Related Methods (Tableaux 2002). LNAI 2381, pages 266-280, Springer, 2002.
  • ANELLI M., MICARELLI A., SANGINETO E.. A Deformation Tolerant Version of the Generalized Hough Transform for Image Retrieval. ECAI 2002: 721-725, 2001.
  • CIALDEA MAYER M., CERRITO S.. Free-Variable Tableaux for Constant-Domain Quantified Modal Logic with Rigid and Non-rigid Designation. In R. Gore, A. Leitsch, T. Nipkow (eds.), Automated Reasoning. First International Joint Conference, IJCAR 2001. Springer-Verlag, LNAI 2083, pages 137-151.
  • GENTILI G., MARINILLI M., MICARELLI A., SCIARRONE F.. Text Categorization in an Intelligent Agent for Filtering Information on the Web. IJPRAI 15(3): 527-549 (2001)
  • CIALDEA MAYER M., ORLANDINI A.. BALESTRERI G., LIMONGELLI C.. A Planner Fully Based on Linear Time Logic. In Proc. of the 5th Int. Conf. on Artificial Intelligence Planning and Scheduling (AIPS-2000), pages 347-354. AAAI Press, 2000.
  • CIALDEA MAYER M., CERRITO S.. Variants of First-Order Modal Logics. In R. Dyckhoff (ed.), Automated Resoning with Analytic Tableaux and Related Methods (Tableaux 2000). LNAI 1847, pages 175-189, Springer, 2000.
  • CERRITO S., CIALDEA MAYER M., PRAUD S.. First Order Linear Temporal Logic over Finite Time Structures. In Ganzinger, H., McAllester, D., Voronkov, A. (editors), Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR’99), pages 62-76. LNAI 1705, Springer 1999.
  • MARINILLI M., MICARELLI A., SCIARRONE F.. A Hybrid Case-Based Architecture for Information Filtering on the Web. ICCBR Workshops 1999: 23-32
  • MICARELLI A., NERI A., SANSONETTI G.. A Case-Based Approach to Image Recognition. EWCBR 2000: 443-454, 1999.
  • CERRITO S., CIALDEA MAYER M.. Using Linear Temporal Logic to Model and Solve Planning Problems, in F. Giunghiglia (ed.), Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA’98), pages 141-152. Springer, 1998.
  • CERRITO S., CIALDEA MAYER M.. Bounded Model Search in Linear Temporal Logic and its Application to Planning, in H. De Swart (ed.), Automated Resoning with Analytic Tableaux and Related Methods (Proc. of TABLEAUX’98), pages 124-140. LNAI 1397, Springer 1998.
  • MARINILLI M., MICARELLI A., SCIARRONE F.. A Hybrid Architecture for Filtering Information on the Web. WebNet 1999: 690-695, 1998.
  • AMBROSINI L., CIRILLO V., MICARELLI A.. A User-Adapted Interface for a Search Engine on the World Wide Web. WebNet 1997
  • PAPAGNI M., CIRILLO V., MICARELLI A.. Ocram-CBR: A Shell for Case-Based Educational Systems. ICCBR 1997: 104-114
  • CERRITO S., CIALDEA MAYER M.. Hintikka multiplicities in matrix decision methods for some propositional modal logics. In D. Galmiche, ed., Automated Reasoning with Analytic Tableaux and Related Methods (Proc. of TABLEAUX’97), pages 138-152. LNAI 1227, Springer 1997.
  • CIALDEA MAYER M., PIRRI F.. A study on the logic of abduction. Proc. of the 12th European Conference on Artificial Intelligence (ECAI-96), pages 18-27, 1996.
  • GEHRKE W., LIMONGELLI C.. Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. Proc. of International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO ’96), LNCS Series n. 1128 pagg. 98-111,Springer-Verlag, 1996.
  • LIMONGELLI C., MALERBA G., TEMPERINI M.. Uniform Representation of Basic Algebraic Structures in Computer Algebra. Proc. of International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO ’96), LNCS Series n. 1128 pagg. 202-203,Springer-Verlag, 1996.
  • MICARELLI A., SCIARRONE F., AMBROSINI L., CIRILLO V.: A Case-Based Approach to User Modeling. EWCBR 1998: 310-321, 1996.
  • MICARELLI A., SCIARRONE F.. A Case-Based System for Adaptive Hypermedia Navigation. EWCBR 1996: 266-279, 1996.
  • MICARELLI A., SCIARRONE F.. An intelligent agent for supporting user navigation in a hyperspace. IFIP World Conference on IT Tools 1996.
  • LIMONGELLI C., PIRASTU R.. Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic. Proc. of Third Joint International Conference on Vector and Parallel processing CONPAR 94 – VAPP VI, LNCS Series n. 854, Springer-Verlag, 1994.
  • LIMONGELLI C., LOIDL H.W.. Rational number arithmetic by parallel p-adic algorithms. Proc. of Second International Conference of the Austrian Center for Parallel Computation (ACPC), LNCS Series n. 734, Springer-Berlin, 1993.
  • LIMONGELLI C., TEMPERINI M.. On the Uniform Representation of Mathematical Data Structures. Proc. of International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO ’93), LNCS Series n.722 pagg. 319-330, Springer-Verlag, 1993.
  • MIOLA A. (ed). Design and Implementation of Symbolic Computation Systems, International Symposium. DISCO ’93, Gmunden, Austria, September 15-17, 1993, Proceedings Springer 1993.
  • MIOLA A.. Symbolic Computation Systems, in Encyclopedia of Computer Science and Technology, A.Kent and J.G.Williams (Eds.), Marcel Dekker, (1993).
  • CIONI G., COLAGROSSI A., MIOLA A.. A Desk-Top Sequent Calculus Machine. AISMC 1992: 224-236.
  • AIELLO L., CIALDEA M., NARDI D.. A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. In Proceedings of the Sixth International Annual PEG Conference – Knowledge Based Environments for Teaching and Learning, pages 437-442, 1991.
  • MIOLA A.. Symbolic Computation and Artificial Intelligence. FAIR 1991: 244-255.
  • COLAGROSSI A., LIMONGELLI C., MIOLA A.. Scientific computation by error-free arithmetic. Proc. of ICC’90: Computing Trend and Applications, Indian Computing Congress, pages 27–35, 1990.
  • LIMONGELLI C., MIOLA A.. Abstract specification of numeric and algebraic computation method. Proc. of ICC’90: Computing Trend and Applications, Indian Computing Congress, pages 63–72, 1990.
  • LIMONGELLI C., M.B. Mele, M. Regio, TEMPERINI M.. Abstract specification of mathematical structures and methods. Proc. of International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO ’90), LNCS Series n. 492 pagg. 61-70, Springer-Verlag, 1990.
  • MIOLA A.. Design and Implementation of Symbolic Computation Systems. Proc. of International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO ’90), LNCS Series n. 492 pagg. 61-70, Springer-Verlag, 1990.

Workshops

  • DAVIDE FELTONI GURINI, FABIO GASPARETTI, ALESSANDRO MICARELLI AND GIUSEPPE SANSONETTI. Analysis of Sentiment Communities in Online Networks. In Proc. The 6th Int. Workshop on Social Personalization & Search (SPS2015). Santiago, Chile, 9-13 August 2015. (PDF, Bibtex)
  • DAVIDE FELTONI GURINI, FABIO GASPARETTI, ALESSANDRO MICARELLI AND GIUSEPPE SANSONETTI. A Sentiment-based Approach to Twitter  User Recommendation. Proc. of the 5th ACM RecSys workshop on Recommender systems and the social web (RSWEB 2013) (PDFBibtex, ©ACM, 2013. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version will be published in ACM DL)
  • GIULIANO ARRU, DAVIDE FELTONI GURINI, FABIO GASPARETTI, ALESSANDRO MICARELLI AND GIUSEPPE SANSONETTI. Signal-Based User Recommendation on Twitter. Proc. 4th International Workshop on Social Recommender Systems (SRS 2013) (PDFBibtex)
  • FELTONI GURINI D., GASPARETTI F.. TREC Microblog 2012 Track: Real-Time Algorithm for Microblog Ranking Systems. Proc. of The 21st Text REtrieval Conference, TREC 2012, Gaithersburg, Maryland, November 6-9, 2012 (PDFBibtex)
  • BIANCALANA C., GASPARETTI F., MICARELLI A., MIOLA A., SANSONETTI G.. Context-aware Movie Recommendation based on Signal Processing and Machine Learning, Proceedings of the Workshop on Context-Aware Movie Recommendation (CAMRa 2011), at the 5th ACM Conference on Recommender Systems (RecSys 2011), pp5-10, October 23-27, 2011. (ACM, 2011. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in CAMRa ’11 Proceedings of the 2nd Challenge on Context-Aware Movie Recommendation 2011 DOIPDFBibtex
  • DI NAPOLI A., GASPARETTI F., SANSONETTI G., MICARELLI A.. A Step toward Personalized Social Geotagging. In Proc. of IUI 2010 Workshop on Social Recommender Systems, Hong Kong, China, 7-10 February, 2010.
  • BIANCALANA C., GASPARETTI F., MICARELLI A., SANSONETTI G.. Social Tagging for Personalized Location-Based Services in Social Recommender Systems (SRS), a Workshop of The 2011 ACM Conference on Computer Supported Cooperative Work March 19-23, 2011, Hangzhou, China.
  • BIANCALANA C., PISU C., PROFITI S., RAIMONDI F., VITUZZI A.. Security Infrastructure in the Electronic Government, Proceedings of Second Interop-Vlab.IT Workshop, Rome, Italy, 4-6 November 2009.
  • BIANCALANA C., MICARELLI A., SQUARCELLA C.. Nereau: Query Expansion Using Social Bookmark. In proceedings of the 10th ACM International Workshop on Web Information and Data Management (WIDM 2008), Napa Valley, California, USA, October 2008.
  • BIANCALANA C., MICARELLI A., SQUARCELLA C.. Query Expansion and Social bookmarking for Personalization. In Mining Social Data (MSoDa), a Workshop of the 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21-25 July, 2008.
  • GASPARETTI F., MICARELLI A., SANSONETTI G.. Towards Modeling of Information Needs in Web-Browsing Activities, In Proc. of the 25th Annual Workshop of European Society for the Study of Cognitive Systems, Genova, Italy, 2-4 July 2008.
  • MICARELLI A., SANSONETTI G.. Case-based indoor navigation. VISAPP (Workshop on on Robot Vision) 2007: 97-106.
  • GASPARETTI F., MICARELLI A.. User Profile Generation Based on a Memory Retrieval Theory. In Proc. of the 1st International Workshop on Web Personalization, Recommender Systems and Intelligent User Interfaces (WPRSIUI’05), Reading, UK, pp.66-75, 3-7 October 2005.Bibtex
  • BORDEGONI M., CIALDEA M., NARDI D., PIRRI F.. Simulation and robotic systems for operations in emergency scenarios. IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 04), 2004.
  • GASPARETTI F., MICARELLI A.. Adaptive Web Search Based on a Colony of Cooperative Distributed Agents. In Proc. of the Cooperative Information Agents VII, 7th International Workshop, CIA 2003, pp.168-183, Helsinki, Finland, 27-29 August 2003. Bibtex
  • BOYLAN P., MICARELLI A., SCIARRONE F.. Il paradigma self-direct learning per i sistemi intelligenti di supporto all’apprendimento. Proc. Workshop Intelligenza Artificiale e Didattica, sesto congresso dell’associazione italiana per l’intelligenza artificiale, Bologna, Italy (1999).
  • CERRITO S., CIALDEA MAYER M., PRAUD S.. First Order Linear Temporal Logic over Finite Time Structures is not semi-decidable. Technical Report LRI n. 1208, 1999. Presented at the Workshop Methods for Modalities 1 – M4M (Amsterdam, May 1999).
  • CIALDEA MAYER M., PIRRI F., PIZZUTI C.. Natural properties of abductive hypotheses in three-valued logic. In ICLP ’93 Postconference Workshop on Abductive Reasoning, 1993.

Books

  • CIALDEA MAYER M.. Logica – Linguaggio, Ragionamento, Calcolo. Progetto Leonardo. Societa’ Editrice Esculapio, 2002.
  • CIALDEA MAYER M., LIMONGELLI C.. Introduzione alla Programmazione Funzionale. Progetto Leonardo. Società Editrice Esculapio, 2002.
  • AIELLO L.C., CIALDEA MAYER M.. Invito all’Intelligenza Artificiale. Franco Angeli, 1995.
  • MIOLA A.. Discussion on The Use of Mental Imagery in Thinking by Herbert Simon, Edizioni Scientifiche Italiane, (1994).
  • AIELLO L.C., BATINI C., LENZERINI M., MARCHETTI SPACCAMELA A., MIOLA A.. Fondamenti di Informatica, Franco Angeli, 1990.

Tecnhical Reports

(pdf versions of technical reports http://www.dia.uniroma3.it/Plone/ricerca/technical-reports)

  • CIALDEA MAYER M., The abduction and consequence generation algorithm used by Logitest, a support system for logical MCQs designers, Technical Report RT-DIA-142-2009.
  • CIALDEA MAYER M., CERRITO S., E. Benassi, F. Giammarinaro, C. Varani. Two tableau provers for basic hybrid logic. Technical Report RT-DIA-145-2009.
  • LIMONGELLI C., SCIARRONE F., TEMPERINI M., VASTE G.. Adaptive Learning with the LS-Plan System: a Field Evaluation. Tech.Rep. Dip. Informatica e Automazione RT-DIA-141-2009, Technical Report; Jan. 2009,
  • LIMONGELLI C., PIRONE S., SCIARRONE F., VASTE G.. Design of a Virtual Environment for Comparing Curriculum Sequencing Algorithms. Tech.Rep. Dip. Informatica e Automazione RT-DIA-139-2009, Dec. 2008.
  • BIANCALANA C., MICARELLI A.. Text Categorization with Modified LSI. Technical Report RT-DIA-90-2004, Università degli Studi Roma Tre, September 2004.
  • CIALDEA M., LIMONGELLI C.. A Description Language for Plannig with Domain and Control Knowledge. Technical Report RT-DIA-68-2001. Università degli Studi Roma Tre, September 2001.
  • BOYLAN P., MICARELLI A., PIRROTTINA V., SCIARRONE F.. Constructivism, Self-Directed Learning and Case-Based Reasoners: A Winning Combination. AAAI 2000 Fall Symposium, Technical Report FS-00-02, Università degli Studi Roma Tre, September 2002.. Published by The AAAI Press, Menlo Park, California (2000).
  • CIALDEA MAYER M., CERRITO S., CESTA A.. Planning as model construction in linear temporal logic. Technical Report RT-DIA-23-97, Università degli Studi Roma Tre, September 1997. Presented as a poster session at IJCAI-97.
  • CERRITO S., CIALDEA MAYER M.. A prefixed tableau calculus for plan generation in linear temporal logic. Technical Report RT-DIA-24-97, Università degli Studi Roma Tre, September 1997.
  • GEHRKE W., LIMONGELLI C.. Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. Technical Report RT-INF-5-1996, Università degli Studi Roma Tre, September 1996.
  • GEHRKE W., LIMONGELLI C.. Explicit Parallel Combinators Defined on Top of CML for Symbolic Computation. Technical Report RT-INF-6-1996, Universita’ degli Studi Roma Tre, September 1996. Università degli Studi Roma Tre, September 1996.
  • BALESTRERI G., CIALDEA MAYER M.. An abstract view contexts in reduction systems. Technical Report RT-INF-10-1996, Università degli Studi Roma Tre, September 1996.
  • LIMONGELLI C., PIRASTU R.. p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems. Technical Report RT-INF-1-1995, Università degli Studi Roma Tre, September 1995.

 

Created