Pubblicazioni
-
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) [Contributo in Atti di convegno]
-
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) [Contributo in Atti di convegno]
-
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). [Curatela]
-
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) [Contributo in Atti di convegno]
-
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). [Curatela]
-
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) [Contributo in Atti di convegno]
-
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) [Contributo in Atti di convegno]
-
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) [Contributo in Atti di convegno]
-
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)) [Capitolo/Saggio in libro]
-
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 . [Curatela]
-
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 [Breve introduzione]
-
A.Asperti; C.Armentano, A page in number theory, «JOURNAL OF FORMALIZED REASONING», 2008, 1, No.1, pp. 1 - 23 [Articolo in rivista]
-
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 [Articolo in rivista]
-
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 [Articolo in rivista]
-
G. Landi; E. Loli Piccolomini, A projected Newton-CG method for nonnegative astronomical image deblurring, «NUMERICAL ALGORITHMS», 2008, 48, pp. 279 - 300 [Articolo in rivista]
-
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 [Articolo in rivista]
-
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 [Articolo in rivista]
-
M. Gaspari; D. Guidi, Facilitating agent development in open distributed systems, in: Languages, Methodologies and Development Tools for Multi-Agent Systems, BERLIN, Springer Verlag, 2008, pp. 243 - 260 (LNAI N. 5118) [Capitolo/Saggio in libro]
-
P. Di Lena; L. Margara, Computational complexity of dynamical systems: the case of cellular automata, «INFORMATION AND COMPUTATION», 2008, 206, pp. 1104 - 1116 [Articolo in rivista]
-
L. Benini; D. Bertozzi; M. Milano., Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming, in: Lecture Notes in Computer Science, BERLIN / HEIDELBERG, Springer, 2008, pp. 470 - 484 (atti di: Logic Programming, 24th International Conference, ICLP 2008, Proceedings., Udine, Italy, December 9-13 2008,) [Contributo in Atti di convegno]