Pubblicazioni

  • N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro, Linguaggi di Programmazione e Sistemi Software, in: Fondamenti di Informatica, BOLOGNA, Zanichelli, 2007, pp. 137 - 177 [Capitolo/Saggio in libro]

  • Alfonsi C. R.; Calzarossa M.; Ciancarini P.; Maresca P.; Mich L.; Sala F.; Scarabottolo N., The CampusOne Project: ECDL in Italian Universities, in: Dnevi Slovenske Informatike 2007, Slovenja:Slovensko drustvo informatika, s.l, s.n, 2007, pp. 133 - 141 (atti di: DSI 2007, Portoroz Slovenia, 11 aprile 2007) [Contributo in Atti di convegno]

  • Lupo C.; Vitali F.; Francesconi E.; Palmirani M.; Winkels R.; de Maat E.; Boer A.; Mascellani P., General XML format(s) for legal Sources., AMSTERDAM, UVA, 2007, pp. 102 . [Monografia/Trattato scientifico in forma di libro]

  • Sonia Bergamaschi; Francesco Guerra; Mirko Orsini; Claudio Sartori, Relevant values: new metadata to provide insight on attribute values at schema level, in: JORGE CARDOSO, JOSÈ CORDEIRO, JOAQUIM FILIPE, ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, SINE LOCO, ICEIS, 2007, DISI, pp. 12 - 16 (atti di: Ninth International Conference on Enterprise Information Systems, Funchal, Madeira, Portugal, 12-16 June 2007) [Contributo in Atti di convegno]

  • M. Marzolla; M. Mordacchini; S. Orlando, Peer-to-Peer Systems for Discovering Resources in a Dynamic Grid, «PARALLEL COMPUTING», 2007, 33, pp. 339 - 358 [Articolo in rivista]

  • Z. Ali Shah; P. Andreetto; S. van de Berghe; A. Ferraro; F. Hedman; V. Li; M. Marzolla; Shabaz Memon; Shiraz Memon; M. Riedel; D. Snelling; K. Stamou; A. Streit; B. Twedell; V. Venturi, Open Standards-based Interoperability of Job Submission and Management Interfaces across the Grid Middleware Platforms gLite and UNICORE, in: Proceedings of International Interoperability and Interoperation Workshop (IGIIW) 2007 at the 3rd IEEE International Conference on e-Science and Grid Computing, LOS ALAMITOS, CA, IEEE Computer Society, 2007, pp. 592 - 599 (atti di: 3rd IEEE International Conference on e-Science and Grid Computing, Bangalore, India, december 10-13, 2007) [Contributo in Atti di convegno]

  • M.S. Memon; A.S. Memon; M. Riedel; B. Schuller; D. Mallmann; B. Tweddell; A. Streit; S. van den Berghe; D. Snelling; V. Li; M. Marzolla; P. Andreetto, Enhanced Resource Management Capabilities using Standardized Job Management and Data Access Interfaces within UNICORE Grids, in: Proceedings of 3rd Workshop on Scheduling and Resource Management for Parallel and Distributed Systems SRMPDS 2007, ICPADS'07—The 13th International Conference on Parallel and Distributed Systems, LOS ALAMITOS, CA, IEEE Computer Society, 2007, pp. 1 - 6 (atti di: 3rd Workshop on Scheduling and Resource Management for Parallel and Distributed Systems SRMPDS 2007, ICPADS'07—The 13th International Conference on Parallel and Distributed Systems, Hsinchu, Taiwan, December 5-7, 2007) [Contributo in Atti di convegno]

  • M. Marzolla; R. Mirandola, Performance Prediction of Web Service Workflows, in: Software Architectures, Components, and Applications / Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11–13, 2007, Revised Selected Papers, BERLIN/HEIDELBERG, Springer, 2007, 4880, pp. 127 - 144 (atti di: Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11–13, 2007) [Contributo in Atti di convegno]

  • I. LANESE; U. MONTANARI, Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming, «THEORY AND PRACTICE OF LOGIC PROGRAMMING», 2007, 7(1-2), pp. 123 - 151 [Articolo in rivista]

  • BRUNI R; LANESE I., PRISMA: A Mobile Calculus with Parametric Synchronization, in: Proceedings of TGC'06, Second Symposium on Trustworthy Global Computing, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4661, pp. 132 - 149 (atti di: Second Symposium on Trustworthy Global Computing, Lucca, Italia, 7-9/11/2006) [Contributo in Atti di convegno]

  • LANESE I., Concurrent and Located Synchronizations in Pi-Calculus, in: Proceedings of SOFSEM'07, 33rd International Conference on Current Trends in Theory and Practice of Computer Science, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4362, pp. 388 - 399 (atti di: 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, 20-26/1/2007) [Contributo in Atti di convegno]

  • LANESE I.; VASCONCELOS V.T.; MARTINS F.; RAVARA A., Disciplining Orchestration and Conversation in Service-Oriented Computing, in: Proceedings of SEFM'07, 5th IEEE International Conference on Software Engineering and Formal Methods, LOS ALAMITOS, IEEE Computer Society Press, 2007, pp. 305 - 314 (atti di: 5th IEEE International Conference on Software Engineering and Formal Methods, London, England, 10-14/09/2007) [Contributo in Atti di convegno]

  • I. Bartolini; P. Ciaccia; V. Oria; T. Özsu, Erratum: Flexible Integration of Multimedia Sub-queries with Qualitative Preferences, «MULTIMEDIA TOOLS AND APPLICATIONS», 2007, 33, pp. 273 - 273 [Replica/breve intervento (e simili)]

  • Pietro Di Lena, On Computing the Topological Entropy of one-sided Cellular Automata, «JOURNAL OF CELLULAR AUTOMATA», 2007, 2, pp. 121 - 130 [Articolo in rivista]

  • Morgan Conbere; Michael Erlinger; Renzo Davoli; Michael Goldweber, Environments for a Networking Laboratory, in: Proc. of the 20th Annual Conference of the Na- tional Advisory Committee on Computing Qualifications (NACCQ 2007), 2007, pp. 53 - 58 (atti di: the 20th Annual Conference of the Na- tional Advisory Committee on Computing Qualifications (NACCQ 2007), Nelson, New Zealand, 8 - 11 July 2007) [Contributo in Atti di convegno]

  • Willem Jan van Hoeve; Carla P. Gomes; Bart Selman; Michele Lombardi, Optimal multi-agent scheduling with constraint programming, in: PROCEEDINGS OF THE NINETEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, The AAAI Press, 2007, 2, pp. 1813 - 1818 (atti di: NINETEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, Vancouver, British Columbia, Canada, July 2007) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Parametric Probabilistic Transition Systems for System Design and Analysis, «FORMAL ASPECTS OF COMPUTING», 2007, 19, pp. 93 - 109 [Articolo in rivista]

  • R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, The Calculus of Looping Sequences for Modeling Biological Membranes, in: George Eleftherakis et al., Membrane Computing - 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, BERLIN HEIDELBERG, Springer-Verlag, 2007, LNCS 4860, pp. 54 - 76 (atti di: 8th International Workshop on Membrane Computing (WMC 2007), Thessaloniki, Greece, June 25-28, 2007) [Contributo in Atti di convegno]

  • J. GOUBAULT-LARRECQ; C. PALAMIDESSI; A. TROINA, A Probabilistic Applied Pi-Calculus, in: Zhong Shao, Programming Languages and Systems, Berlin Heidelberg, Springer, 2007, LNCS 4807, pp. 175 - 190 (atti di: 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Singapore, November 2007) [Contributo in Atti di convegno]

  • Calegari, Roberta; Musolesi, Mirco; Raimondi, Franco; Mascolo, Cecilia, CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems, in: Calegari, Roberta*, 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, ACM Press, 2007, pp. 415 - 424 (atti di: 6th Joint Meeting of the European Software Engineering Conference and the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, Dubrovnik, hrv, 2007) [Contributo in Atti di convegno]