Publications

  • 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) [Contribution to conference proceedings]

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

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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 [Scientific article]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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 [Comment or similar]

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

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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 [Scientific article]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • Carbonaro, Antonella; Ferrini, Rodolfo, Personalized information retreival in a semantic-based learning environment, in: Social information Retrieval Systems: emerging technologies and applications for searching the web efficiently, New York City, InformatIon scIence reference, 2007, pp. 270 - 288 [Chapter or essay]

  • Marfia, Gustavo*; Pau, Giovanni; Giordano, Eugenio; De Sena, Enzo; Gerla, Mario, VANET: On mobility scenarios and urban infrastructure. A case study, in: 2007 Mobile Networking for Vehicular Environments, MOVE, 2007, pp. 31 - 36 (atti di: 2007 Mobile Networking for Vehicular Environments, MOVE, Anchorage, AK, usa, 2007) [Contribution to conference proceedings]

  • Marfia, Gustavo*; Pau, Giovanni; De Sena, Enzo; Giordano, Eugenio; Gerla, Mario, Evaluating vehicle network strategies for downtown Portland: Opportunistic infrastructure and the importance of realistic mobility models, in: Marfia, Gustavo*, MobiOpp'07: Proceedings of the First International MobiSys Workshop on Mobile Opportunistic Networking, 2007, pp. 47 - 51 (atti di: 5th International Conference on Mobile Systems, Applications and Services, San Juan, pri, 2007) [Contribution to conference proceedings]