Pubblicazioni

  • L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina, A Calculus of Looping Sequences with Local Rules, in: Proceedings 7th International Workshop on Developments of Computational Methods, 2012, 88, pp. 43 - 58 (atti di: 7th Workshop on Developments in Computational Models (DCM'11), Zurich, Switzerland, July 2011) [Contributo in Atti di convegno]

  • A. Compagnoni; M. Dezani-Ciancaglini; P. Giannini; K. Sauer; V. Sharma; A. Troina, Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions, in: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012, 100, pp. 101 - 106 (atti di: 6th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'12), Newcastle, UK, September 2012) [Contributo in Atti di convegno]

  • Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina, On Parallelizing On-Line Statistics for Stochastic Biological Simulations, in: Euro-Par 2011: Parallel Processing Workshops, Revised Selected Papers, BERLIN HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7156, pp. 3 - 12 (atti di: 2nd International Workshop on High Performance Bioinformatics and Biomedicine (HiBB'11), Bordeaux, France, August 2011) [Contributo in Atti di convegno]

  • P. Ramón; A. Troina, Modelling Ecological Systems with the Calculus of Wrapped Compartments, in: Proceedings of the 13th International Conference on Membrane Computing (CMC13), Budapest, MTA SZTAKY, 2012, pp. 385 - 406 (atti di: CMC 2012, Budapest, Agosto 2012) [Contributo in Atti di convegno]

  • G. Ciobanu; A. Troina, Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains, in: Proc. of the 13th Italian Conference on Theoretical Computer Science (ICTCS'12), Varese, Università dell'Insubria, 2012, pp. 86 - 89 (atti di: 13th Italian Conference on Theoretical Computer Science (ICTCS'12), Varese, Italy, September 2012) [Contributo in Atti di convegno]

  • Gerla, Mario; Weng, Jui-Ting; Giordano, Eugenio; Pau, Giovanni, Vehicular testbeds - Validating models and protocols before large scale deployment, in: 2012 International Conference on Computing, Networking and Communications (ICNC), 2012, pp. 665 - 669 (atti di: 2012 International Conference on Computing, Networking and Communications, ICNC'12, Maui, HI, usa, 2012) [Contributo in Atti di convegno]

  • Matthews, Jerrid; Javadi, Farnoosh; Rane, Gauresh; Zheng, Jason; Pau, Giovanni; Gerla, Mario, Ultraviolet guardian - Real time ultraviolet monitoring: Estimating the pedestrians ultraviolet exposure before stepping outdoors, in: Proceedings of the International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), 2012, pp. 45 - 50 (atti di: 2nd ACM International Workshop on Pervasive Wireless Healthcare, MobileHealth'12, Hilton Head, SC, usa, 2012) [Contributo in Atti di convegno]

  • Angius, F.; Reineri, M.; Chiasserini, C. -F.; Gerla, M.; Pau, G., Towards a realistic optimization of urban traffic flows, in: IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, 2012, pp. 1661 - 1668 (atti di: 2012 15th International IEEE Conference on Intelligent Transportation Systems, ITSC 2012, Anchorage, AK, usa, 2012) [Contributo in Atti di convegno]

  • Tse, Rita Tan Sim; Liu, Dawei; Hou, Fen; Pau, Giovanni, Social networks: Applications and challenges, in: IET Conference Publications, 2012, 2011, pp. 684 - 688 (atti di: IET International Conference on Communication Technology and Application, ICCTA 2011, Beijing, chn, 2011) [Contributo in Atti di convegno]

  • Giordano, Eugenio; Codeca', Lara; Geffon, Brian; Grassi, Giulio; Pau, Giovanni; Gerla, Mario, MoViT: The mobile network virtualized testbed, in: VANET'12 - Proceedings of the 9th ACM International Workshop on VehiculAr Inter-NETworking, Systems, and Applications, 2012, pp. 3 - 11 (atti di: 9th ACM International Workshop on VehiculAr Inter-NETworking, Systems, and Applications, VANET'12, Low Wood Bay, Lake District, gbr, 2012) [Contributo in Atti di convegno]

  • Angius, Fabio; Gerla, Mario; Pau, Giovanni, BLOOGO: BLOOm filter based GOssip algorithm for wireless NDN, in: Proceedings of the International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), 2012, pp. 25 - 30 (atti di: 1st ACM Workshop on Emerging Name-Oriented Mobile Networking Design: Architecture, Algorithms, Applications, NoM'12, Hilton Head, SC, usa, 2012) [Contributo in Atti di convegno]

  • Bronzino, F.; Gaeta, R.; Grangetto, M.; Pau, G., An adaptive hybrid CDN/P2P solution for Content Delivery Networks, in: 2012 IEEE Visual Communications and Image Processing, VCIP 2012, 2012, pp. 1 - 6 (atti di: 2012 IEEE Visual Communications and Image Processing, VCIP 2012, San Diego, CA, usa, 2012) [Contributo in Atti di convegno]

  • A. Gherardi, A. Bevilacqua, Real-time whole slide mosaicing for non-automated microscopy in histopathology analysis, in: Proceedings of Histopathology Image Analysis (HIMA 2012) Workshop of the 15th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI 2012), 2012, pp. 1 - 1 (atti di: The 15th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI 2012), Acropolis Convention Center, Nice, France, 1-5 October 2012) [Poster]

  • BAGDANOV, ANDREW DAVID; DEL BIMBO, ALBERTO; LISANTI, GIUSEPPE; MASI, IACOPO, Multi-pose face detection for accurate face logging, in: 21st International Conference on Pattern Recognition (ICPR), IEEE, 2012, pp. 2448 - 2451 (atti di: International Conference on Pattern Recognition (ICPR), sukuba Science City, JAPAN, November 11-15, 2012) [Contributo in Atti di convegno]

  • Bujari, A., A survey of opportunistic data gathering and dissemination techniques, in: 2012 21st International inproceedings on Computer Communications and Networks, ICCCN 2012 - Proceedings, 2012, pp. 1 - 6 (atti di: 2012 International Conference on Computer Communications and Networks, ICCCN, Munich, Germany, 30 July-2 Aug. 2012) [Contributo in Atti di convegno]

  • Bujari, A.; Palazzi, C.E.; Maggiorini, D.; Quadri, C.; Rossi, G.P., A solution for mobile DTN in a real urban scenario, in: 2012 IEEE Wireless Communications and Networking inproceedings Workshops, WCNCW 2012, 2012, pp. 344 - 349 (atti di: 2012 IEEE Wireless Communications and Networking Conference Workshops (WCNCW), Paris, France, 1-1 April 2012) [Contributo in Atti di convegno]

  • Bujari, A.; Licar, B.; Palazzi, C.E., Movement pattern recognition through smartphone's accelerometer, in: 2012 IEEE Consumer Communications and Networking inproceedings, CCNC'2012, 2012, pp. 502 - 506 (atti di: 2012 IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas, NV, USA, 14-17 Jan. 2012) [Contributo in Atti di convegno]

  • GRECO GIANLUIGI; MALIZIA E; SCARCELLO FRANCESCO; PALOPOLI LUIGI, Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary, in: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), 2012, 242, pp. 372 - 377 (atti di: ECAI 2012, Montpellier, France, 27/08/2012 - 31/08/2012) [Contributo in Atti di convegno]

  • NITTI, MICHELE; GIRAU, ROBERTO; ATZORI, LUIGI; IERA, ANTONIO; Morabito G., A subjective model for trustworthiness evaluation in the social Internet of Things, in: Personal Indoor and Mobile Radio Communications (PIMRC), 2012 IEEE 23rd International Symposium on, 2012, pp. 18 - 23 (atti di: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2012, Sydney, 2012) [Contributo in Atti di convegno]

  • Janes A; Piatov D; Sillitti A; Succi G, Using the Eclipse C/C++ Development Tooling as a Robust, Fully Functional, Actively Maintained, Open Source C++ Parser, in: 8th International Conference on Open Source System (OSS2012), 2012, pp. 399 - 399 (atti di: 8th International Conference on Open Source System (OSS2012), Hammamet, Tunisi, September, 10-13/09/2012) [Contributo in Atti di convegno]