Go to the University of Bologna homepage
Department of Computer Science and Engineering

Publications

  • Sbaraglia Marco; Casadei Matteo; Viroli Mirko, Programming coordination laws of artifacts in CArtAgO, in: Proceedings of the ACM Symposium on Applied Computing, 2011, pp. 885 - 886 (atti di: 26th Annual ACM Symposium on Applied Computing, SAC 2011, TaiChung, twn, 2011) [Poster]

  • Bujari, A.; Licar, B.; Palazzi, C.E., Road crossing recognition through smartphone's accelerometer, in: IFIP Wireless Days, 2011, pp. 1 - 3 (atti di: 2011 IFIP Wireless Days (WD, Niagara Falls, ON, Canada, 10-12 Oct. 2011) [Contribution to conference proceedings]

  • GRECO GIANLUIGI; MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, On the complexity of core, kernel, and bargaining set, «ARTIFICIAL INTELLIGENCE», 2011, 175, pp. 1877 - 1910 [Scientific article]

  • MEIR RESHEF; ROSENSCHEIN JEFFREY S.; MALIZIA E, Subsidies, Stability, and Restricted Cooperation in Coalitional Games, in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 2011, pp. 301 - 306 (atti di: IJCAI-11, Barcelona, Spain, 16/07/2011 - 22/07/2011) [Contribution to conference proceedings]

  • GRECO GIANLUIGI; MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, On the Complexity of the Core over Coalition Structures, in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 2011, pp. 216 - 221 (atti di: IJCAI-11, Barcelona, Spain, 16/07/2011 - 22/07/2011) [Contribution to conference proceedings]

  • Roccetti M.; El Rhalibi A.; Palazzi C., Message from NIME11 co-organizers, in: Proceedings - International Conference on Computer Communications and Networks, ICCCN, IEEE, 2011, pp. 1 - 2 (atti di: 2011 20th International Conference on Computer Communications and Networks, ICCCN 2011, Maui, HI, usa, 2011) [Abstract]

  • Bujari A.; Palazzi C.E.; Bonaldo D., Performance evaluation of a file sharing DTN protocol with realistic mobility, in: IFIP Wireless Days, «IFIP WIRELESS DAYS», 2011, pp. 1 - 6 (atti di: 2011 IFIP Wireless Days, WD 2011, Niagara Falls, ON, CANADA, 2011) [Contribution to conference proceedings]

  • Jocelyne Elias; Fabio Martignon; Antonio Capone; Eitan Altman, Non-cooperative spectrum access in cognitive radio networks: A game theoretical model, «COMPUTER NETWORKS», 2011, 55, pp. 3832 - 3846 [Scientific article]

  • Elias, J; Martignon, F; Avrachenkov, K; Neglia, G, A game theoretic analysis of network design with socially-aware users, «COMPUTER NETWORKS», 2011, 55, pp. 106 - 118 [Scientific article]

  • Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca, On Global Types and Multi-Party Sessions, in: Formal Techniques for Distributed Systems, DEU, Springer, 2011, LNCS 6722, pp. 1 - 28 (atti di: 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, Reykjavík, Iceland, 6-9 june 2011) [Contribution to conference proceedings]

  • Padovani, Luca, Session Types = Intersection Types + Union Types, in: Proceedings of the 5th Workshop on Intersection Types and Related Systems (ITRS’10), Waterloo, Open Publishing Association, 2011, 45, pp. 71 - 89 (atti di: 5th Workshop on Intersection Types and Related Systems, Edinburgh, Scotland, 10-14 july 2010) [Contribution to conference proceedings]

  • Bono, Viviana; Chiara, Messa; Padovani, Luca, Typing Copyless Message Passing, in: Programming Languages and Systems, DEU, Springer, 2011, LNCS 6602, pp. 57 - 76 (atti di: 20th European Symposium on Programming, Saarbrücken, Germany, 26 march - 3 april 2011) [Contribution to conference proceedings]

  • Padovani, Luca, Fair Subtyping for Multi-Party Session Types, in: Coordination Models and Languages, DEU, Springer, 2011, LNCS 6721, pp. 127 - 141 (atti di: 13th International Conference on Coordination Models and Languages, Reykjavík, Iceland, 6-9 june 2011) [Contribution to conference proceedings]

  • Bono, Viviana; Padovani, Luca, Polymorphic Endpoint Types for Copyless Message Passing, in: Proceedings of the 4th Workshop on Interaction and Concurrency Experience (ICE'11), Waterloo, Open Publishing Association, 2011, 59, pp. 52 - 67 (atti di: 4th Workshop on Interaction and Concurrency Experience, Reykjavík, Iceland, 9 june 2011) [Contribution to conference proceedings]

  • V. Ghini; S. Ferretti; F. Panzieri, Mobile Games Through the Nets: a Cross-Layer Architecture for Seamless Playing, in: Proceedings of the 3rd ACM/ICST International Conference on Simulation Tools and Techniques (SIMUTools 2010), BRUSSELS, ICST, 2010, pp. 1 - 8 (atti di: 3rd ACM/ICST Conference on Simulation Tools and Techniques (SIMUTools 2010), Torremolinos, Spain, March 15-19, 2010) [Contribution to conference proceedings]

  • S. Ferretti; V. Ghini; F. Panzieri; M. Pellegrini; E. Turrini, QoS-aware Clouds, in: Proceedings of the 3rd International Conference on Cloud Computing (IEEE Cloud 2010), LOS ALAMITOS, CALIFORNIA, IEEE Computer Society, 2010, pp. 321 - 328 (atti di: 3rd International Conference on Cloud Computing (IEEE Cloud 2010), Miami (USA), Luglio 2010) [Contribution to conference proceedings]

  • S. Ferretti, A General Framework to Analyze the Fault-Tolerance of Unstructured P2P Systems, in: Proceedings of the UKSim 4th European Modelling Symposium on Computer Modelling and Simulation (ESM 2010), PISCATAWAY, IEEE Computer Society, 2010, pp. 338 - 343 (atti di: UKSim 4th European Modelling Symposium on Computer Modelling and Simulation (ESM 2010), Pisa (Italy), 17-19 Novembre 2010) [Contribution to conference proceedings]

  • Ambra Molesini; Enrico Denti; Andrea Omicini, HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence, in: Agents and Artificial Intelligence, HEIDELBERG, Springer, 2010, pp. 205 - 218 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Chapter or essay]

  • Giordano, Eugenio; Frank, Raphael; Pau, Giovanni; Gerla, Mario, CORNER: A realistic urban propagation model for VANET, in: WONS 2010 - 7th International Conference on Wireless On-demand Network Systems and Services, 2010, pp. 57 - 60 (atti di: 7th International Conference on Wireless On-demand Network Systems and Services, WONS 2010, Kranjska Gora, svn, 2010) [Contribution to conference proceedings]

  • Jianfei Cai; Shivkumar Kalyanraman; M. Roccetti; Hwangjun Song; Dapeng Oliver Wu (a cura di): JIANFEI CAI, SHIVKUMAR KALYANRAMAN, M. ROCCETTI, HWANGJUN SONG, DAPENG OLIVER WU, Special Issue on Network Technologies for Emerging Broadband Multimedia Services, NEW YORK, Elsevier, 2010, pp. 118 (Journal of Visual Communication and Image Representation). [Editorship]