Pubblicazioni

  • M. Bravetti; G. Zavattaro (a cura di): AUTORI VARI, CONCUR 2009 - Concurrency theory, HEIDELBERG, Springer, 2009, pp. 638 (Lecture Notes in Computer Science). [Curatela]

  • A. Lanza; L. Di Stefano; L. Soffritti, Bayesian Order-Consistency Testing with Class Priors Derivation for Robust Change Detection, in: Proceedings of the 2009 Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS), WASHINGTON, IEEE Computer Society, 2009, pp. 460 - 465 (atti di: Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, Genova, September 02-04 2009) [Contributo in Atti di convegno]

  • S. Carpineti; C. Laneve; L. Padovani, PiDuce - A project for experimenting Web services technologies, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74/10, pp. 777 - 811 [Articolo in rivista]

  • A. Carbonaro, Building a Collaborative Semantic-Aware Framework for Search, in: Visioning and engineering the knowledge society, BERLIN, Springer, 2009, pp. 268 - 275 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • A. Carbonaro, Un ambiente semantico per la gestione e il reperimento di video, «JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY», 2009, 5, pp. 87 - 97 [Articolo in rivista]

  • A. Carbonaro, Ontology-based video retrieval, «INTERNATIONAL JOURNAL OF DIGITAL CULTURE AND ELECTRONIC TOURISM», 2009, 1, pp. 302 - 311 [Articolo in rivista]

  • A. Carbonaro, Collaborative and Semantic Information Retrieval for Technology-Enhanced Learning, in: Social Information Retrieval for Technology-Enhanced Learning 2009, s.l, CEUR-WS, 2009, 535, pp. 18 - 25 (atti di: 3rd International Workshop on Social Information Retrieval for Technology-Enhanced Learning, Aachen, Germany, August 2009) [Contributo in Atti di convegno]

  • A. Carbonaro, Building a collaborative semantic-aware framework for search: the SWS2 project, in: Proceedings of 2nd International Conference on Human System Interaction, Italy, N. J., IEEE, 2009, pp. 491 - 494 (atti di: 2nd International Conference on Human System Interaction, Italy, Italy, May 2009) [Contributo in Atti di convegno]

  • SACERDOTI COEN, Claudio; Tassi, Enrico, Natural Deduction Environment for Matita, in: Intelligent Computer Mathematics, BERLIN, Springer-Verlag, 2009, 5625, pp. 486 - 491 (atti di: 8th International Conference on Mathematical Knowledge Management (MKM 09), Grand Bend, Canada, 10-12/07/2009) [Contributo in Atti di convegno]

  • Carette, J.; Dixon, L.; SACERDOTI COEN, Claudio; Watt, S. M., Intelligent Computer Mathematics, BERLIN, Springer, 2009, pp. 494 (Lecture Notes in Artificial Intelligence). [Curatela]

  • M. MILANO; A. GUERRI, Bid evaluation in combinatorial auctions: optimization and learning, «SOFTWARE-PRACTICE & EXPERIENCE», 2009, 39(13), pp. 1127 - 1155 [Articolo in rivista]

  • M. LOMBARDI; M. MILANO, A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations, in: International Conference on Principles and Practice of Constraint Programming, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5732, pp. 569 - 583 (atti di: International Conference on Principles and Practice of Constraint Programming, Lisbona Portogallo, September 20-24, 2009) [Contributo in Atti di convegno]

  • F. Callegati; J. Aracil; V. Lopez, Introduction, in: Enabling Optical Internet with Advanced Netwrok Technologies, LONDON, Springer, 2009, pp. 1 - 4 (Computer Communications and Networks) [Capitolo/Saggio in libro]

  • F. Callegati; A. Campi, Network Resource Description Language, in: IEEE GLOBECOM Workshops, PISCATAWEY, IEEE, 2009, pp. 1 - 6 (atti di: IEEE GLOBAL COMMUNICATIONS CONFERENCE, Honolulu, Hawaii, USA, Nov. 30 -- Dec. 4 2009) [Contributo in Atti di convegno]

  • Franco callegati; Aldo Campi, Calling Procedures in Hybrid SIP Network, in: First International Conference on Advances in P2P Systems, PISCATAWAY, IEEE, 2009, pp. 203 - 208 (atti di: First International Conference on Advances in P2P Systems, Sliema, Malta, October 11-16, 2009) [Contributo in Atti di convegno]

  • Franco Callegati; Marco Ramilli, Frightened by Links, «IEEE SECURITY & PRIVACY», 2009, 7, pp. 72 - 76 [Articolo in rivista]

  • Roli, Andrea; Blum, C., Tabu Search for the Founder Sequence Reconstruction Problem: A Preliminary Study, in: null, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5518, pp. 1035 - 1042 (atti di: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca (Spain), June 10-12, 2009) [Contributo in Atti di convegno]

  • J. Aracil; F. Callegati, Enabling the Optical Internet, LONDON, Springer, 2009, pp. 232 (Computer Communications and Networks). [Curatela]

  • M.Lombardi; M.Milano; A.Roli; A.Zanarini, Deriving information from sampling and diving, in: XI International Conference of the Italian Association for Artificial Intelligence, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5883, pp. 82 - 91 (atti di: XI International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia (Italy), December 9-12, 2009) [Contributo in Atti di convegno]

  • S. Montagna; A. Roli, Parameter tuning of a stochastic biological simulator by metaheuristics, in: AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings, 2009, 5883, pp. 466 - 475 (atti di: XI International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia (Italy), December 9-12, 2009) [Contributo in Atti di convegno]