Pubblicazioni

  • Y. Deng; D. Sangiorgi, Towards an Algebraic Theory of Typed Mobile Processes, in: Lecture Notes in Computer Science, BERLIN, Springer, 2004, 3142, pp. 445 - 456 (atti di: ICALP 2004, Turku, Finland, July 12-16, 2004.) [Contributo in Atti di convegno]

  • D. Sangiorgi, Bisimulation: From The Origins to Today, in: LICS 2004, LOS ALAMITOS, IEEE Computer Society, 2004, pp. 298 - 302 (atti di: 19th IEEE Symposium on Logic in Computer Science, Turku, Finland, 14-17 July 2004) [Contributo in Atti di convegno]

  • A. Carbonaro, Learning objects recommendation in a collaborative information management system, «LEARNING TECHNOLOGY», 2004, 6 [Articolo in rivista]

  • C. Bighini; A. Carbonaro, InLinx: Intelligent Agents for Personalized Classification, Sharing and Recommendation, «INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE AND APPLICATIONS», 2004, 2, pp. . - . [Articolo in rivista]

  • A. Andronico; A. Carbonaro; L. Colazzo; A. Molinari; M. Ronchetti, Designing Models and Services for Learning Management Systems in Mobile Settings, in: Lecture Notes in Computer Science MobileHCI, BERLIN, Springer-Verlag, 2004, 2954, pp. 90 - 106 (atti di: MobileHCI, null, .) [Contributo in Atti di convegno]

  • A. Carayol; D. Hirschkoff; D.Sangiorgi, On the Representation of McCarthy's amb in the pi-calculus, in: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2004, 96, pp. 73 - 89 (atti di: 10th International Workshop on Expressiveness in Concurrency, Marseille; France, 2 September 2003 through 2 September 2003) [Contributo in Atti di convegno]

  • A. Carbonaro; G. Casadei; S. Riccucci, An adaptive assessment system to evaluate student ability level, in: Proceedings of International Conference on Artificial Intelligence Application and Innovations, MA, Kluwer Academic Publishers, 2004, pp. 257 - 265 (atti di: International Conference on Artificial Intelligence Application and Innovations. 18th IFIP World Computer Congress, Toulouse, France, August 2004) [Contributo in Atti di convegno]

  • A. Carbonaro, Building a Framework to Assist in Programming Learning, in: Proceedings ICICTE 2004 (International Conference on Information Communications Technologies in Education), s.l, s.n, 2004(atti di: 5th International Conference on Information Communication Technologies in Education, Samos, Greece / University of Athens, 1-3 July 2004) [Contributo in Atti di convegno]

  • C. Bighini; A. Carbonaro, Collaborative Document Recommendation in a CIS Framework, in: Proccedings of International Symposium on Collaborative Technologies and Systems, 2004, pp. 89 - 95 (atti di: International Symposium on Collaborative Technologies and Systems, San Diego (California), January 18-23, 2004) [Contributo in Atti di convegno]

  • F.S. de Boer; M. Gabbrielli; M.C. Meo., A Timed Linda Language and its Denotational Semantics., «FUNDAMENTA INFORMATICAE», 2004, 63 (4), pp. ? - ? [Articolo in rivista]

  • Vitali F.; Di Iorio A.; Ventura Campori E., Rule-based structural analysis of web pages, in: Lecture Notes in Computer Science, BERLIN, Springer Verlag, 2004, 3163, pp. 425 - 437 (atti di: 6th International Workshop on Document Analysis Systems, DAS 2004, Firenze, September 8-10, 2004) [Contributo in Atti di convegno]

  • Gessa N.; Novelli C.; Busuoli M.; Vitali F., Use and extension of ebXML business profiles for Textile/Clothing firms, in: Lecture notes in computer science, AMSTERDAM, Springer Verlag, 2004, 3182, pp. 186 - 195 (atti di: 5th International Conference on Electronic Commerce and Web Technologies, EC-Web 2004, Zaragoza (SP), August 30 - September 3, 2004) [Contributo in Atti di convegno]

  • Fiorello D.; Gessa N.; Marinelli P.; Vitali F., DTD++ 2.0: Adding support for co-constraints, in: Proceedings, ALEXANDRIA (VA), IDEAlliance, 2004(atti di: Extreme Markup Languages 2004 Conference, Montreal (Canada), August 2-6, 2004) [Contributo in Atti di convegno]

  • Gessa N.; De Sabbata P.; Marzocchi M.; Vitali F., Moda-ML: Building a collaborative sectoral framework based on ebXML, in: null, 2004, 125, pp. 297 - 300 (atti di: CAISE '04 Workshop, Riga (Latvia), June 7-11 2004) [Contributo in Atti di convegno]

  • G. Cattaneo; A. Dennunzio; L. Margara, Solution of Some Conjectures about Topological Properties of Linear Cellular Automata, «THEORETICAL COMPUTER SCIENCE», 2004, 325, pp. 249 - 271 [Articolo in rivista]

  • L. Margara; A. Pistocchi; M. Vassura, Perfect Token Distribution on Trees, in: LNCS, 11th Colloquium on Structural Information and Communication Complexity, BERLIN, Springer-Verlag, 2004, 3104, pp. 221 - 232 (atti di: 11th Colloquium on Structural Information and Communication Complexity (SIROCCO 2004), Slovakia, June, 21-23) [Contributo in Atti di convegno]

  • V.Ciaschini; R.Gorrieri, Contrasting Malicious Applets by Modifying the Java Virtual Machine, in: Security and Protection in Information Processing Systems, NEW YORK, Kluwer, 2004, pp. 47 - 64 (atti di: IFIP 18th WorldComputer Congress, TC11 19th International Information Security Conference, Toulouse, France., 22-27 August 2004,) [Contributo in Atti di convegno]

  • A. Bolognesi; P. Ciancarini, Computer Programming of Kriegspiel Endings: the case of KR vs K, in: Advances in Computer Games. Many Games, Many challenges. IFIP International Federation for Information Processing, BERLIN - HEIDELBERG, Kluwer, 2004, IFIP 135, pp. 325 - 342 (atti di: Advances in Computer Games 10, Ganz, Austria, Sept. 2003) [Contributo in Atti di convegno]

  • P. Ciancarini; V. Presutti, Towards Ontology Driven Software Design, in: Radical Innovations of Software and Systems Engineering in the Future, RISSEF, Revised Papers, BERLIN HEIDELBERG, Springer, 2004, LNCS 2941, pp. 122 - 136 (atti di: Monterey Workshop, Venezia, Italy, 2003) [Contributo in Atti di convegno]

  • M. MILANO; M. TRICK, Constraint and Integer Programming, in: Constraint and Integer Programming - Toward a Unified Methodology, BOSTON, Kluwer Academic Publisher, 2004, pp. 1 - 32 (OR/CS series) [Capitolo/Saggio in libro]

Torna su