Publications

S. Mattoccia; F. Tombari; L. Di Stefano, Reliable rejection of mismatching candidates for efficient ZNCC template matching, in: RAMA CHELLAPPA, B.S. MANJUNATH, BERND GIROD, ANTONIO ORTEGA, Proceedings of the 2008 IEEE International Conferenceon Image Processing (ICIP 2008), PISCATAWAY, NJ, IEEE, 2008, 1, pp. 849 - 852 (atti di: 2008 IEEE International Conferenceon Image Processing (ICIP 2008), San Diego, California, U.S.A., October 12–15, 2008) [Contribution to conference proceedings]

L. Di Stefano; F. Tombari; S. Mattoccia; M. Balasso, Multi-view access monitoring and singularization in interlocks, in: MOHAN TRIVEDI, BIR BHANU, IOANNIS PAVLIDIS, Proceedings of the IEEE Fifth International Conference on Advanced Video and Signal Based Surveillance (AVSS 2008), LOS ALAMITOS, IEEE Computer Society, 2008, pp. 143 - 150 (atti di: IEEE Fifth International Conference on Advanced Video and Signal Based Surveillance, Santa Fe, 1-3 Settembre 2008) [Contribution to conference proceedings]

F. Tombari; L. Di Stefano; S. Mattoccia, Robust visual correspondence: theory and applications, in: ASIM BHATTI, Stereo Vision, VIENNA, I-Tech Education and Publishing Kirchengasse 43/3,, 2008, pp. 317 - 334 (Stereo Vision) [Chapter or essay]

M. Magnani; D. Montesi, Preference-Based Uncertain Data Integration, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, pp. 136 - 145 (atti di: Knowledge Engineering: Practice and Patterns, 16th International Conference, Acitrezza (Italy), Ottobre 2008) [Contribution to conference proceedings]

M. Magnani; D. Montesi, Optimization of Queries over Interval Probabilistic Data, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, 5291, pp. 298 - 311 (atti di: Scalable Uncertainty Management, Second International Conference, Naples (Italy), Ottobre 2008) [Contribution to conference proceedings]

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 [Scientific article]

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) [Contribution to conference proceedings]

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]