Publications

G. Zavattaro, A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form, in: M. BERNARDO; P. DEGANO; G. ZAVATTARO, Formal Methods for Computational Systems Biology, BERLIN, Springer, 2008, pp. 507 - 523 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

L. Cardelli; G. Zavattaro, On the Computational Power of Biochemistry, in: Proc. of Algebraic Biology, Third International Conference, AB 2008, BERLIN, Springer, 2008, pp. 65 - 80 (atti di: Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008) [Contribution to conference proceedings]

M. Ruggiero; M. Lombardi; M. Milano; L. Benini, Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor, in: Digital System Design Architectures, Methods and Tools, 2008. DSD '08. 11th EUROMICRO Conference on, s.l, IEEE, 2008, pp. 645 - 650 (atti di: DSD '08. 11th EUROMICRO Conference on Digital System Design Architectures, Parma, Italy, 3-5 SEPTEMBER 2008) [Contribution to conference proceedings]

G. Zavattaro; L. Cardelli, Termination Problems in Chemical Kinetics, in: Proc. CONCUR 2008 - Concurrency Theory, 19th International Conference, BERLIN, Springer, 2008, pp. 477 - 491 (atti di: CONCUR 2008 - Concurrency Theory, 19th International Conference, Toronto, Canada, August 19-22, 2008) [Contribution to conference proceedings]

R. Demangeon; D. Hirschkoff; D. Sangiorgi, Static and dynamic typing for the termination of mobile processes, in: IFIP, BERLIN, Springer, 2008, 273, pp. 413 - 427 (atti di: Fifth IFIP International Conference On Theoretical Computer Science (TCS 2008) of IFIP 20th World Computer Congress, Milano, September 7-10, 2008) [Contribution to conference proceedings]

D. Lea; G. Zavattaro, Proceedings of Coordination Models and Languages 10th International Conference (COORDINATION 2008), BERLINN, Springer, 2008, pp. 347 (Lecture Notes in Computer Science, vol. 50-52). [Editorship]

I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness and Decidability of Higher-Order Process Calculi, in: LICS'08, LOS ALAMITOS, IEEE Computer Society, 2008, pp. 145 - 155 (atti di: Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008,, Pittsburgh, USA, 24-27 June 2008) [Contribution to conference proceedings]

M. Bernardo; P. Degano; G. Zavattaro, Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008. Advanced lectures, BERLIN, Springer, 2008, pp. 525 (Lecture Notes in Computer Science). [Editorship]

R. Demangeon; D. l Hirschkoff; N. Kobayashi; D. Sangiorgi, On the Complexity of Termination Inference for Processes, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, 4912, pp. 140 - 155 (atti di: Trustworthy Global Computing (TGC 2007), Sophia-Antipolis, France, November 5-6, 2007) [Contribution to conference proceedings]

I. Lanese; C. Guidi; F. Montesi; G. Zavattaro, Bridging the Gap between Interaction- and Process-Oriented Choreographies, in: Proc. of Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 323 - 332 (atti di: Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, Cape Town. South Africa, 10-14 Nov. 2008) [Contribution to conference proceedings]

C. Guidi; I. Lanese; F. Montesi; G. Zavattaro, On the interplay between fault handling and request-response service invocations, in: Proc. of Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 190 - 198 (atti di: Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, Xidian, China, 23-27 June 2008) [Contribution to conference proceedings]

F. Grandi; F. Mandreoli; R. Martoglia; E. Ronchetti; M.R. Scalas; P. Tiberio, Ontology-Based Personalization of E-Government Services, in: Intelligent User Interfaces: Adaptation and Personalization Systems and Technologies, HERSHEY, PENNSYLVANIA, IGI Global, 2008, pp. 167 - 187 (Information Science Reference (ISR)) [Chapter or essay]

I.-Y. Song; M. Piattini; Y.-P. Phoebe Chen; S. Hartmann; F. Grandi; J. Trujillo; A. L. Opdahl; F. Ferri; P. Grifoni; M. C. Caschera; C. Rolland; C. Woo; C. Salinesi; E. Zimányi; C. Claramunt; F. Frasincar; G.-J. Houben; P. Thiran, Advances in Conceptual Modeling – Challenges and Opportunities, HEIDELBERG, Springer-Verlag, 2008, pp. 488 . [Editorship]

F. Grandi, Preface to ECDM 2008, in: Advances in Conceptual Modeling – Challenges and Opportunities: ER 2008 Workshops CMSLA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona, Spain, October 2008, Proceedings (LNCS 5232), HEIDELBERG, Springer-Verlag, 2008, pp. 66 - 66 [Brief introduction]

A.Asperti; C.Armentano, A page in number theory, «JOURNAL OF FORMALIZED REASONING», 2008, 1, No.1, pp. 1 - 23 [Scientific article]

Vassura M.; Margara L.; Di Lena P.; Medri F.; Fariselli P.; Casadio R., FT-COMAR: fault tolerant three-dimensional structure reconstruction from protein contact maps, «BIOINFORMATICS», 2008, 24, pp. 1313 - 1315 [Scientific article]

Vassura M.; Margara L.; Di Lena P.; Medri F.; Fariselli P.; Casadio R., Reconstruction of 3D structures from protein contact maps., «IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS», 2008, 5, pp. 357 - 367 [Scientific article]

G. Landi; E. Loli Piccolomini, A projected Newton-CG method for nonnegative astronomical image deblurring, «NUMERICAL ALGORITHMS», 2008, 48, pp. 279 - 300 [Scientific article]

G. Landi; E Loli Piccolomini; F. Zama, A Total Variation-based reconstruction method for dynamic MRI., «COMPUTATIONAL AND MATHEMATICAL METHODS IN MEDICINE», 2008, 9, pp. 69 - 80 [Scientific article]

G. Landi; E. Loli Piccolomini, . A fast projected quasi-Newton method for nonnegative Tikhonov regularization., «INTERNATIONAL JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE», 2008, 3, pp. 199 - 213 [Scientific article]