Pubblicazioni

  • F. Montesi; C. Guidi; I. Lanese; G. Zavattaro, Dynamic fault handling mechanisms for service-oriented applications, in: Proceedings of the 6th IEEE European Conference on Web Services, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 225 - 234 (atti di: 6th IEEE European Conference on Web Services, Dublin, Ireland, 12-14 Novembre 2008) [Contributo in Atti di convegno]

  • M. Bravetti; S. Gilmore; C. Guidi; M. Tribastone, Replicating Web Services for Scalability, in: Proc. of Symposium on Trustworthy Global Computing (TGC 2007), BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 4912, pp. 204 - 221 (atti di: Symposium on Trustworthy Global Computing 2007, Sophia-Antipolis, France, November 5-6, 2007) [Contributo in Atti di convegno]

  • M. Bravetti, Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems, in: null, 2008, 194(2), pp. 31 - 57 (atti di: 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007), Lisbon, Portugal, 3 September, 2007) [Contributo in Atti di convegno]

  • M. Bravetti, Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time., in: null, 2008, 209, pp. 83 - 106 (atti di: LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), Paris (France), November 2006) [Contributo in Atti di convegno]

  • F. Callegati; A. Campi, Extension of Resource Management in SIP, in: GridNets 2008, GENT, Springer ICST, 2008, pp. 1 - 8 (atti di: The Second International Conference on Networks for Grid Applications, Beijing, China, October 8-10, 2008) [Contributo in Atti di convegno]

  • M. Bravetti; G. Zavattaro, Foundational Aspects of Contract Compliance and Choreography Conformance, in: Microsoft Research Technical Report, CAMBRIDGE, Microsoft, 2008, MSR-TR-2008-61, pp. 11 - 14 (atti di: Workshop on The Rise and Rise of the Declarative Datacentre, Cambridge (UK), May 2008) [Contributo in Atti di convegno]

  • C. Gennaro; F. Mandreoli; R. Martoglia; M. Mordacchini; S. Orlando; W. Penzo; S. Sassatelli; P. Tiberio, Toward an Effective and Efficient Query Processing in the NeP4B Project, in: itAIS 2008 - V Conference of the Italian Chapter of AIS - Challenges and Changes, s.l, s.n, 2008(atti di: itAIS 2008 - V Conference of the Italian Chapter of AIS - Challenges and Changes, Paris, France, Dec 13-14, 2008) [Contributo in Atti di convegno]

  • Mandreoli, F.; Martoglia, R.; Penzo, Wilma; Sassatelli, S.; Villani, G., Building a PDMS Infrastructure for XML Data Sharing with SUNRISE, in: Third International Workshop on Database Technologies for Handling XML Information on the Web (DataX'08), NEW YORK, ACM, 2008, pp. 51 - 59 (atti di: Third International Workshop on Database Technologies for Handling XML Information on the Web (DataX'08) - co-located with EDBT 2008, Nantes, France, March 25, 2008) [Contributo in Atti di convegno]

  • v. bryl; p. mello; m. montali; p. torroni; n. zannone, B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification, in: Computational Logic in Multi-Agent Systems, CLIMA VIII. Revised Selected and Invited Papers., BERLIN, HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5056, pp. 157 - 176 (atti di: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII., Porto, Portugal, September 2007) [Contributo in Atti di convegno]

  • G. Piancastelli; E.Denti, Designing a Development Environment for Logic and Multi-Paradigm Programming, in: Proceedings of the 3rd Italian Workshop on Eclipse Technologies Bari, Italy, November 17-18, 2008., s.l, CEUR Workshop Proceedings, 2008, 436, pp. 2-01 - 2-10 (atti di: Eclipse-IT 2008 - 3rd Italian Workshop on Eclipse Technologies, Bari, Italy, November 17-18, 2008.) [Contributo in Atti di convegno]

  • Di Lena P.; Margara L.; Vassura M.; Fariselli P.; Casadio R., A new protein representation based on fragment contacts: towards an improvement of contact maps predictions, in: 5th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, VIETRI SUL MARE (SA), s.n, 2008, pp. 42 - 42 (atti di: 5th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, Vietri sul Mare (SA), 4/10/2008) [Riassunto (Abstract)]

  • M. Mirto; I. Epicoco; S. Fiore; M. Cafaro; A. Ferramosca; V. Zara; G. Aloisio G. Scioscia; P. Leo; G. Donvito; G. Cuscela; G. Maggi; A. Pierro; F. Falciano; E. Rossi; T. Castrignanò; P. Fariselli; R. Fronza; L. Margara; L. Montanucci; P. L. Martelli; I. Rossi; M. Vassura; P. Di Lena; R. Casadio; A. Anselmo; G. Grillo; D. Horner; F. Licciulli; S. Liuni; A. Gisel; F. Mignone; G. Pavesi; G. Pesole; E. Picardi; V. Piccolo; M. Re; C. Saccone; M. Santamaria; S. Vicario; F. Zambelli, The LIBI Grid Platform an International Laboratory for Bioinformatics, in: Conferenza Nazionale Italian e-Science 2008 IES08, NAPOLI, s.n, 2008, pp. 49 - 49 (atti di: Conferenza Nazionale Italian e-Science 2008 IES08, Napoli, 27-29 maggio 2008) [Riassunto (Abstract)]

  • G. Buratti; D. Montesi, Ranking for Approximated XQuery Full-T ext Queries, in: Lecture Notes in Computer Science, CARDIFF, Springer-Verlag, 2008, 5071, pp. 165 - 176 (atti di: 25nd British National Conference on Databases, BNCOD 25, Cardiff, From 7th to 10th of July 2008) [Contributo in Atti di convegno]

  • Alfonsi C. R.; Breno E.; Calzarossa M.; Ciancarini P.; Maresca P.; Mich L.; Sala F.; Scarabottolo N., EUCIP in Italian Universities, in: IFIP World Computer Congress 2008, s.l, IFIP, 2008, 281, pp. 201 - 208 (atti di: IFIP World Computer Congress 2008, Milano, September 2008) [Contributo in Atti di convegno]

  • Abeti L.; Ciancarini P.; Moretti R., Wiki-based Requirements Management for Business Process Reengineering, in: Wikis4SE - Wikis For Software Engineering, s.l, s.n, 2008, pp. 1 - 6 (atti di: Wikis4SE @ wikiSym, Portugal, Sept 2008) [Contributo in Atti di convegno]

  • Oliveira Lima J.A.; Palmirani M.; Vitali F., A Time-aware Ontology for Legal Resources, in: Culture and identity in knowledge organization, WÜRZBURG, Ergon, 2008, pp. 63 - 69 (atti di: International ISKO Conference, Montreal (CA), August 5-8, 2008) [Contributo in Atti di convegno]

  • Casimirri M.; Marinelli P.; Vitali F., Optimized Cartesian product: A hybrid approach to derivation-chain checking in XSD 1.1, in: Proceedings of Balisage: The Markup Conference 2008. Balisage Series on Markup Technologies., s.l, s.n, 2008, 1(atti di: Balisage: The Markup Conference 2008, Montreal (CA), 12 - 15 August 2008) [Contributo in Atti di convegno]

  • Di Iorio A.; Feliziani A.A.; Mirri S.; Salomoni P.; Vitali F., Fighting technical complexity in authoring e-learning material, in: ., WASHINGTON DC, IEEE Computer Society, 2008, pp. 440 - 442 (atti di: ICALT '08 Proceedings of the 2008 Eighth IEEE International Conference on Advanced Learning Technologies, Santander (SP), Luglio 2008) [Riassunto (Abstract)]

  • Di Iorio A.; Vitali F.; Zacchiroli S., Wiki Content Templating, in: Proceedings of the 17th international conference on World Wide Web, New York, ACM Press, 2008, pp. 615 - 624 (atti di: International World Wide Web Conference, Pechino (Cina), 21-25 Aprile 2008) [Contributo in Atti di convegno]

  • Vitali F.; Duca S., Ontology-based Editor for Metadata Documents, in: null, 2008, 426(atti di: Semantic Web Applications and Perspectives, Roma, Dicembre 2008) [Contributo in Atti di convegno]