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

Pubblicazioni

2010 Elimina filtro

318 pubblicazioni

  • M. Palmirani; M. Omair Shafiq; E. Francesconi; F. Vitali, Proceedings of the RuleML-2010 Challenge, at the 4th International Web Rule Symposium, WASHINGTON, DC, CEUR, 2010, pp. 105 (CEUR WORKSHOP PROCEEDINGS). [Curatela]

  • W. Kim; A. J. Kassler; M. Di Felice; M. Gerla, Urban-X: Towards Distributed Channel Assignment in Cognitive Multi-Radio Mesh Networks, in: Proceedings of the IEEE/IFIP Conference Wireless Days 2010, PISCATAWAY, NJ, IEEE, 2010, pp. 1 - 5 (atti di: Wireless Days 2010, Venice, Italy, October 20-22, 2010) [Contributo in Atti di convegno]

  • R. Doost; K. R. Chowdhury; M. Di Felice, Routing and Link Layer Protocol Design for Sensor Networks with Wireless Energy Transfer, in: Proceedings of the 2010 IEEE Global Telecommunications Conference (IEEE GLOBECOM 2010), PISCATAWAY, NJ, IEEE, 2010, pp. 1 - 5 (atti di: IEEE Global Telecommunications Conference (GLOBECOM 2010), Miami, FL, US, 6-10 December 2010) [Contributo in Atti di convegno]

  • W. Kim; A. J. Kassler; M. Di Felice; M. Gerla, Cognitive Multi-Radio Mesh Networks on ISM Bands: A Cross-Layer Architecture, in: Proceedings of the 29-th International Conference on Performance Computing and Communications Conference (IPCCC 2010), PISCATAWAY, NJ, IEEE, 2010, pp. 34 - 41 (atti di: 29th International Conference on Performance Computing and Communications Conference (IPCCC 2010), Albuquerque, NM, USA, 9-11 December 2010) [Contributo in Atti di convegno]

  • K. Chowdhury; C. Wu; M. Di Felice; W. Meleis, Spectrum Management of Cognitive Radio Using Multi-agent Reinforcement Learning, in: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS): Industry track, RICHLAND, SC, International Foundation for Autonomous Agents, 2010, pp. 1705 - 1712 (atti di: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010) [Contributo in Atti di convegno]

  • Andrea Nuzzolese; Aldo Gangemi; Paolo Ciancarini; Valentina Presutti, Semion: A Smart Triplification Tool, in: EKAW 2010 Posters and Demos, Aachen, M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen, «CEUR WORKSHOP PROCEEDINGS», 2010, 674, pp. 166 - 167 (atti di: EKAW 2010 - Knowledge Engineering and Knowledge Management by the Masses, Lisbona, 11-15 Oct 2010) [Contributo in Atti di convegno]

  • Coda V.; Mollona E., Governing Strategy Dynamics, in: CODA V., Entrepreneurial Values and Strategic Management., HOUNDMILLS, Bocconi University Press Palgrave Macmillan, 2010, pp. 114 - 144 [Capitolo/Saggio in libro]

  • P. Bellavista; C. Giannelli, Internet Connectivity Sharing in Multi-path Spontaneous Networks: Comparing and Integrating Network- and Application-Layer Approaches, in: Mobile Wireless Middleware, Operating Systems, and Applications : Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers, BERLIN, Springer, «LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING», 2010, 48, pp. 84 - 99 (atti di: 3rd International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, Chicago, USA, 30 Giugno-2 Luglio, 2010) [Contributo in Atti di convegno]

  • Rossi D.; Vitali F.; Gaedke M., Web Architectures: Innovative Models and Technologies (Editorial), «JOURNAL OF WEB ENGINEERING», 2010, 9(3), pp. 205 - 206 [Articolo in rivista]

  • D. Rossi; F. Vitali, Editorial Message: Special Track on Web Technologies, in: Proceedings of the 2010 ACM Symposium on Applied Computing, New York, ACM Press, 2010, pp. 797 - 798 [Breve introduzione]

  • P. Di Lena; L. Margara, On the undecidability of the limit behavior of Cellular Automata, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 1075 - 1084 [Articolo in rivista]

  • Pietro Di Lena; Luciano Margara, Optimal global alignment of signals by maximization of Pearson correlation, «INFORMATION PROCESSING LETTERS», 2010, 110, pp. 679 - 686 [Articolo in rivista]

  • R. Lanotte; A. Maggiolo-Schettini; A. Troina, Weak Bisimulation for Probabilistic Timed Automata, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 4291 - 4322 [Articolo in rivista]

  • Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina, Reachability results for timed automata with unbounded data structures, «ACTA INFORMATICA», 2010, 47, pp. 279 - 311 [Articolo in rivista]

  • R. Lanotte; A. Maggiolo-Schettini; A. Troina, Time and Probability-Based Information Flow Analysis, «IEEE TRANSACTIONS ON SOFTWARE ENGINEERING», 2010, 36, pp. 719 - 734 [Articolo in rivista]

  • Roberto Barbuti; Mariangiola Dezani; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina, A Formalism for the Description of Protein Interaction, «FUNDAMENTA INFORMATICAE», 2010, XX, pp. 1 - 29 [Articolo in rivista]

  • J. SPROSTON; A. TROINA, Simulation and Bisimulation for Probabilistic Timed Automata, in: Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), Berlin Heidelberg, Springer, 2010, 6246, pp. 213 - 227 (atti di: 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), Klosterneuburg, Austria, 8/09/2010 - 10/09/2010) [Contributo in Atti di convegno]

  • Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina, Hybrid Calculus of Wrapped Compartments, in: Proceedings 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010, 40, pp. 102 - 120 (atti di: Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 (MeCBIC 2010), Jena, Germany, 23 August 2010) [Contributo in Atti di convegno]

  • M. Coppo; F. Damiani; M. Drocco; E. Grassi; A. Troina, Stochastic Calculus of Wrapped Compartments, in: Proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), 2010, 28, pp. 82 - 98 (atti di: Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), Paphos, Cyprus, March 27-28, 2010) [Contributo in Atti di convegno]

  • Sara Capecchi; Angelo Troina, Types for BioAmbients, in: Proceedings of the Third Workshop From Biology To Concurrency and back, 2010, 19, pp. 103 - 115 (atti di: Third Workshop From Biology To Concurrency and back, Paphos, Cipro, 27 marzo 2011) [Contributo in Atti di convegno]