Pubblicazioni

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]

C. Sacerdoti Coen; S. Zacchiroli, Spurious Disambiguation Errors and How to Get Rid of Them, «MATHEMATICS IN COMPUTER SCIENCE», 2008, 2, pp. 355 - 378 [Articolo in rivista]

C. Sacerdoti Coen; E. Tassi, A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita, «JOURNAL OF FORMALIZED REASONING», 2008, 1, pp. 51 - 89 [Articolo in rivista]

G. Landi; E. Loli Piccolomini; F. Zama, Regularization Methods for Discrete Ill-posed Problems in Imaging, in: null, 2008, 49, pp. 413 - 420 (atti di: Fifth International Conference of Applied Mathematics and Computing, Plovdiv, Bulgaria, August 12-18, 2008) [Contributo in Atti di convegno]

D.Sottara; P. Mello; M. Proctor, Adding Uncertainty to a Rete-OO Inference Engine., in: RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB, BERLIN, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5321, pp. 104 - 118 (atti di: INTERNATIONAL SYMPOSIUM, RULEML 2008, Orlando FL USA, 30-31 October 2008) [Contributo in Atti di convegno]

D. Sottara; P. Mello, Modelling Radial Basis Functions with Rational Logic Rules., in: Notes in Computer Science 5271 Springer 2008,, BERLIN, Springer Verlag, 2008, pp. 334 - 344 (atti di: HAIS08 Proceedings, Burgos, Spain, September 24-26, 2008.) [Contributo in Atti di convegno]

P. Mello; S. Storari; B. Valli, A Knowledge-Based System for Fashion Trend Forecasting, in: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Lecture Notes in Computer Science 5027, BERLIN, Springer Verlag, 2008, pp. 425 - 434 (atti di: Proceedings. Springer 2008, Wroclaw, Poland, June 18-20 2008) [Contributo in Atti di convegno]