Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2011 Elimina filtro

309 pubblicazioni

  • M. Bartoletti; L. Caires; I. Lanese; F. Mazzanti; D. Sangiorgi; H. T. Vieira; R. Zunino, Tools and Verification, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 408 - 427 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • F. Callegati; W. Cerroni; G. Di Maio, Power Consumption Reduction in OPS with Wavelength Conversion, in: 13th International Conference on Transparent Optical Networks, PISCATAWAY, IEEE, 2011, pp. 1 - 4 (atti di: 13th International Conference on Transparent Optical Networks (ICTON), 2011, Stockolm, 26-30 June 2011) [Contributo in Atti di convegno]

  • Martini B. ; Cerroni W. ; Gharbaoui M. ; Campi A. ; Castoldi P. ; Callegati F., Integrated Signaling Framework for Joint Reservation of Application and Network Resources for the Future Internet, in: IEEE Global Telecommunications Conference, PISCATAWAY, IEEE, 2011, pp. 1 - 5 (atti di: GLOBECOM, Houston, 5-9 Dec. 2011) [Contributo in Atti di convegno]

  • M. A. Boschetti; V. Maniezzo, Combining Exact Methods and Heuristics, in: J.J. COCHRAN L.A. COX P. KESKINOCAK J.P. KHAROUFEH J. COLE SMITH, Wiley Encyclopedia of Operations Research and Management Science, HOBOKEN, John Wiley & Sons, Inc, 2011, pp. 747 - 755 [Voce in dizionario o enciclopedia]

  • S. Martini, Lingua Universalis, «ANNALI DELLA PUBBLICA ISTRUZIONE», 2011, 4-5(2011), pp. 65 - 70 [Articolo in rivista]

  • C. Sacerdoti Coen; E. Tassi, Formalising Overlap Algebras in Matita, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2011, 21(4), pp. 763 - 793 [Articolo in rivista]

  • F.Rabe; M.Kohlhase; C.Sacerdoti Coen, A Foundational View on Integration Problems, in: Intelligence Computer Mathematics - Lecture Notes in Artificial Intelligence, HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6824, pp. 107 - 122 (atti di: International Conference on Intelligent Computer Mathematics (CICM 2011), Bertinoro (Italy), 18-23/07/2011) [Contributo in Atti di convegno]

  • S. Bragaglia; F. Chesani; E. Fry; P. Mello; M. Montali; D. Sottara, Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems, in: Rule-Based Modeling and Computing on the Semantic Web, BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 7018, pp. 267 - 281 (atti di: RuleML 2011 - America. The 5th International Symposium on Rules: Research Based and Industry Focused, Fort Lauderdale, Florida, USA, November 3-5, 2011) [Contributo in Atti di convegno]

  • S. Bragaglia; F. Chesani; P. Mello; M. Montali; D. Sottara, Fuzzy Conformance Checking of Observed Behaviour with Expectations, in: AI*IA 2011: Artificial Intelligence Around Man and Beyond, BERLIN, Springer-Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2011, 6934, pp. 80 - 91 (atti di: AI*IA 2011 - Artificial Intelligence Around Man and Beyond - Twelfth International Conference on Advances in Artificial Intelligence - Italian Association for Artificial Intelligence (AI*IA)., Palermo, Italy, September 15-17, 2011) [Contributo in Atti di convegno]

  • L. Nanni; A. Franco, Reduced Reward-Punishment Editing for building ensembles of classifiers, «EXPERT SYSTEMS WITH APPLICATIONS», 2011, 38 (3), pp. 2395 - 2400 [Articolo in rivista]

  • R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sacerdoti Coen; I. Stark, Certified Complexity, «PROCEDIA COMPUTER SCIENCE», 2011, 7, pp. 175 - 177 [Articolo in rivista]

  • Di Iorio A.; Peroni S.; Vitali F., Using Semantic Web technologies for analysis and validation of structural markup, «INTERNATIONAL JOURNAL OF WEB ENGINEERING AND TECHNOLOGY», 2011, 6, pp. 375 - 398 [Articolo in rivista]

  • Di Iorio A.; Peroni S.; Vitali F., A Semantic Web Approach To Everyday Overlapping Markup, «JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY», 2011, 62, pp. 1696 - 1716 [Articolo in rivista]

  • Peroni S.; Gangemi A.; Vitali F., Dealing with Markup Semantics, in: Proceedings the 7th International Conference on Semantic Systems, NEW YORK, ACM, 2011, pp. 111 - 118 (atti di: The 7th International Conference on Semantic Systems (i-Semantics 2011), Graz, Austria, September 07-09, 2011) [Contributo in Atti di convegno]

  • F. Callegati; A. Campi; W. Cerroni, Automated transport service management in the future Internet: concepts and operations, «JOURNAL OF INTERNET SERVICES AND APPLICATIONS», 2011, 2, pp. 69 - 79 [Articolo in rivista]

  • M. Fornaciari; D. Sottara; A. Prati; P. Mello; R. Cucchiara, An evidential fusion architecture for people surveillance in wide open areas, in: Proceedings of the 6th international conference on Hybrid Artificial Intelligent Systems, BERLIN, Springer-Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2011, 6678, pp. 239 - 246 (atti di: The 6th international conference on Hybrid artificial intelligent systems, Wroclaw, Poland, May 23-25, 2011) [Contributo in Atti di convegno]

  • A. Carbonaro, Forum Summarization to Support Tutor and Teacher in group interaction management, in: LYTRAS M.D. DE PABLOS P.O. DAMIANI E, Semantic Web Personalization and Context Awareness: Management of Personal Identities and Social Networking, HERSHEY, Information Science Reference, 2011, pp. 22 - 31 [Capitolo/Saggio in libro]

  • P. Ciaccia; R. Torlone, Modeling the Propagation of User Preferences, in: Conceptual Modeling - ER 2011, 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6998, pp. 304 - 317 (atti di: Conceptual Modeling – ER 2011, 30th International Conference, Brussels, Belgium, October 31 - November 3, 2011) [Contributo in Atti di convegno]

  • L. Di Gaspero; G. di Tollo; A. Roli; A. Schaerf, Local Search for Constrained Financial Portfolio Selection Problems with Short Sellings, in: Learning and Intelligent Optimization, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6683, pp. 450 - 453 (atti di: LION 5, Roma, Jan 17-21, 2011) [Contributo in Atti di convegno]

  • A. Brutschy; N.-L. Tran; N. Baiboun; M. Frison; G. Pini; A. Roli; M. Dorigo; M. Birattari, Costs and benefits of behavioral specialization, in: Towards Autonomous Robotic Systems, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6856, pp. 90 - 101 (atti di: TAROS 2011, Sheffield, UK, Aug 31, 2011 - Sep 2, 2011) [Contributo in Atti di convegno]