Pubblicazioni
-
A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro, nanoK: a Calculus for the Modeling and Simulation of nano devices, «THEORETICAL COMPUTER SCIENCE», 2008, 408(1), pp. 17 - 30 [Articolo in rivista]
-
N. Kobayashi; D. Sangiorgi, A Hybrid Type System for Lock-Freedom of Mobile Processes, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, 5123, pp. 80 - 93 (atti di: 20th International Conference on Computer Aided Verification (CAV'08), Princeton, NJ, USA, July 7-14) [Contributo in Atti di convegno]
-
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) [Capitolo/Saggio in libro]
-
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) [Contributo in Atti di convegno]
-
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) [Contributo in Atti di convegno]
-
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]