Pubblicazioni

  • Abu-Ghazaleh, Nael; Bononi, Luciano, Proceedings of the 12th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, MSWiM'09, New York, ACM, 2009, pp. 1 . [Curatela]

  • Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina, A Type System for a Stochastic CLS, in: Proceedings 3rd Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009, 11, pp. 91 - 105 (atti di: 3rd International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09), Bologna, Italy, September 2009) [Contributo in Atti di convegno]

  • R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; A. Troina, A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection, «JOURNAL OF BIOLOGICAL SYSTEMS», 2009, 17, pp. 349 - 376 [Articolo in rivista]

  • Mariangiola Dezani; Paola Giannini; Angelo Troina, A Type System for Required/Excluded Elements in CLS, in: Proceedings 5th International Workshop on Developments of Computational Methods, 2009, 9, pp. 38 - 48 (atti di: 5th Workshop on Developments in Computational Models (DCM'09), Rhodes, Greece, July 2009) [Contributo in Atti di convegno]

  • Mario Coppo; Ferruccio Damiani; Elena Grassi; Mike Guether; Angelo Troina, Modelling an Ammonium Transporter with SCLS, in: Proceedings of the Second International Workshop on Computational Models for Cell Processes, 2009, 6, pp. 77 - 92 (atti di: Second International Workshop on Computational Models for Cell Processes (COMPMOD 2009), Eindhoven, the Netherlands, November 3, 2009) [Contributo in Atti di convegno]

  • Bogdan Aman; Mariangiola Dezani; Angelo Troina, Type Disciplines for Analysing Biologically Relevant Properties, in: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), 2009, 227, pp. 97 - 111 (atti di: MecBic 2008, Iasi, 3–4 September 2008) [Contributo in Atti di convegno]

  • Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, Verification of choreographies during execution using the reactive event calculus, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5387, pp. 55 - 72 (atti di: 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, Milan, ita, 2008) [Contributo in Atti di convegno]

  • Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, A REC-based commitment tracking tool, in: 10th Workshop on Objects and Agents, WOA'09, 2009, pp. 1 - 4 (atti di: 10th Workshop on Objects and Agents, WOA 2009, Parma, ita, 2009) [Contributo in Atti di convegno]

  • Giordano, Eugenio; Frank, Raphael; Ghosh, Abhishek; Pau, Giovanni; Gerla, Mario, Two ray or not two ray this is the price to pay, in: 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, MASS '09, 2009, pp. 603 - 608 (atti di: 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, MASS '09, Macau, chn, 2009) [Contributo in Atti di convegno]

  • Pau, Giovanni, Vehicles and the environment: The long journey from today's liabilities into tomorrow's assets, in: Asian Internet Engineeering Conference, AINTEC 2009, 2009, pp. 42 - 43 (atti di: Asian Internet Engineeering Conference, AINTEC 2009, Bangkok, tha, 2009) [Riassunto (Abstract)]

  • Sentinelli, Alexandro; Celetto, Luca; Lefol, Damien; Palazzi, Claudio; Pau, Giovanni; Zahariadis, Theodore; Jari, Ahola, Survey on P2P Overlay streaming clients, in: Towards the Future Internet, Amsterdam, IOS Press is an independent, international STM, 2009, pp. 273 - 282 [Capitolo/Saggio in libro]

  • Zahariadis, Theodore; Pau, Giovanni; Celetto, Luca; Daras, Petros, Seamless content delivery in the future mobile internet - Guest editorial, «IEEE WIRELESS COMMUNICATIONS», 2009, 16, pp. 10 - 12 [Recensione in rivista]

  • Sentinelli, Alexandro; Marfia, Gustavo; Pau, Giovanni; Celetto, Luca, IPTV-P2P clients at home, in: 2009 16th International Conference on Systems, Signals and Image Processing, IWSSIP 2009, 2009, pp. 1 - 4 (atti di: 2009 16th International Conference on Systems, Signals and Image Processing, IWSSIP 2009, Chalkida, grc, 2009) [Contributo in Atti di convegno]

  • G. Colombini; D. Sottara; L. Luccarini; P. Mello, A wawelet based heuristic to dimension Neural Networks for simple signal approximation, in: Neural Nets WIRN09 - Proceedings of the 19th Italian Workshop on Neural Nets, Vietri sul Mare, Salerno, Italy, May 28-30 2009, s.l, IOS Press, 2009, 204, pp. 110 - 115 (atti di: Neural Nets WIRN09 - 19th Italian Workshop on Neural Nets, Vietri sul Mare, Salerno, Italy, May 28-30 2009) [Contributo in Atti di convegno]

  • Barabucci G.; Cervone L.; Palmirani M.; Peroni S.; Vitali F., Multi-layer markup and ontological structures in Akoma Ntoso, in: AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue, BERLIN, Springer Verlag, 2009, 6237, pp. 133 - 149 (atti di: AICOL-II Workshop - JURIX 2009, Rotterdam (NL), 16 December 2009) [Contributo in Atti di convegno]

  • G. Barabucci; F. Vitali, XDTD as a Simple Validation Language for XML-based Legal Documents, in: Frontiers in Artificial Intelligence and Applications, AMSTERDAM, IOS Press, 2009, 205, pp. 1 - 10 (atti di: Legal Knowledge and Information Systems - JURIX 2009: The Twenty-Second Annual Conference, Rotterdam (NL), 16-18 dicembre 2009) [Contributo in Atti di convegno]

  • A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen, A new type for tactics, in: PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems, s.l, s.n, 2009, pp. 22 - 29 (atti di: International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS09), Munich, Germany, August, 21, 2009) [Contributo in Atti di convegno]

  • F. ARBAB; R. BRUNI; D. CLARKE; I. LANESE; U. MONTANARI, Tiles for Reo, in: Proceedings of the 19th International Workshop on Algebraic Development Techniques, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5486, pp. 37 - 55 (atti di: 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, 13-16/6/2008) [Contributo in Atti di convegno]

  • Bolognini V.; Di Iorio A.; Duca S.; Musetti A.; Peroni S.; Vitali F., Exploiting Ontologies To Deploy User-Friendly and Customized Metadata Editors, in: WWW/Internet 2009 Proceedings, LISBON, IADIS, 2009, pp. 1 - 8 (atti di: IADIS International Conference WWW/INTERNET 2009, Rome, Italy, November 19-22, 2009) [Contributo in Atti di convegno]

  • Di Iorio A.; Peroni S.; Vitali F.; Lumley J.; Wiley T., Towards XML Transclusions, in: Proceedings of the 1st Workshop on New Forms of Xanalogical Storage and Function, «CEUR WORKSHOP PROCEEDINGS», 2009, 508, pp. 23 - 28 (atti di: First Workshop on New Forms of Xanalogical Storage and Function, Turin (Italy), June 29, 2009) [Contributo in Atti di convegno]

Torna su