Pubblicazioni

C. Versari; R.Gorrieri, pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi, in: Formal Methods for Computational Systems Biology, HEIDELBERG, Springer-Verlag, 2008, pp. 449 - 506 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

P. Azzari; L. Di Stefano; F. Tombari; S. Mattoccia, Markerless augmented reality using image mosaics, in: A. ELMOATAZ ET AL., Lecture Notes in Computer Science - Volume 5099/2008Proccedings of International Conference on Image and Signal Processing (ICISP 2008), BERLIN, Springer, 2008, - Volume 5099/2008, pp. 413 - 420 (atti di: International Conference on Image and Signal Processing (ICISP 2008), Cherbourg-Octeville, Normandy, France, July 1-3, 2008) [Contributo in Atti di convegno]

P. Azzari; L. Di Stefano; S. Mattoccia, An Evaluation Methodology for Image Mosaicing Algorithms, in: J. BLANC-TALON ET AL., Advanced Concepts for Intelligent Vision Systems, Lecture Notes on Computer Science, LNCS 5259, BERLINO, Springer-Verlag, 2008, pp. 89 - 100 (atti di: Advanced Concepts for Intelligent Vision Systems, Juan les Pins, Francia, 20-24 Ottobre 2008) [Contributo in Atti di convegno]

F. Tombari; L. Di Stefano; S. Mattoccia; A. Zanetti, Graffiti Detection Using a Time-Of-Flight Camera, in: J. BLANC-TALON ET AL., Advanced Concepts for Intelligent Vision Systems, Lecture Notes on Computer Science, LNCS 5259, BERLINO, Springer Verlag, 2008, pp. 645 - 654 (atti di: Advanced Concepts for Intelligent Vision Systems, Juan les Pins, Francia, 20-24 Ottobre 2008) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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) [Capitolo/Saggio in libro]

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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]