Pubblicazioni

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]

J.C.M. Baeten; M. Bravetti, A ground-complete axiomatisation of finite-state processes in a generic process algebra, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2008, 18(6), pp. 1057 - 1089 [Articolo in rivista]

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]

D. Bottazzi; R. Montanari; G. Rossi, Self-organizing Group Management Middleware for Mobile Ad-Hoc Networks, «COMPUTER COMMUNICATIONS», 2008, 31, pp. 3040 - 3048 [Articolo in rivista]

A. Toninelli; A. Corradi; R. Montanari, Semantic-based Discovery to Support Mobile Context-aware Service Access, «COMPUTER COMMUNICATIONS», 2008, 31, pp. 935 - 949 [Articolo in rivista]

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. Capodaglio; A. Ricci, Le finalità conoscitive del bilancio d’esercizio: recenti modifiche normative e prospettive future., «RIVISTA ITALIANA DI RAGIONERIA E DI ECONOMIA AZIENDALE», 2008, 11 e 12, pp. 709 - 719 [Articolo in rivista]

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)]

C. Laneve; F. Tarissan, A simple calculus for proteins and cells, «THEORETICAL COMPUTER SCIENCE», 2008, 404, pp. 127 - 141 [Articolo in rivista]

C. Laneve; L. Padovani, The Pairing of Contracts and Session Types, in: Concurrency, Graphs and Models, Heidelberg, Springer, 2008, pp. 681 - 700 (Lecture notes in computer science) [Capitolo/Saggio in libro]

C. Laneve; A. Vitale, Expressivity in the kappa Family, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 218, pp. 97 - 109 [Articolo in rivista]

R. Casadio; L. Margara; P. Fariselli; M. Vassura, The Graph Theory and the Protein Universe: selecting the close-to-the-native structures within a model decoy set, in: Biocomplexity At The Cutting Edge Of Physics, Systems Biology And Humanities, BOLOGNA, Bononia University Press, 2008, pp. 121 - 130 [Capitolo/Saggio in libro]

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)]

R. Gorrieri; F. Martinelli; M. Petrocchi, Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks, «JOURNAL OF AUTOMATED REASONING», 2008, 41(3-4), pp. 325 - 364 [Articolo in rivista]