Publications

International Journals

• P. Bellini, J. Barthelemy, I. Bruno, P. Nesi, M. Spinu, "Multimedia Music Sharing among Mediateques, Archives and Distribution to their attendees", Applied Artificial Intelligence Journal on Artificial Intelligence for Cultural Heritage and Digital Libraries, in press 2003.
• P. Bellini, M. Buonopane, P. Nesi, "Assessment of a Flexible Architecture for Distributed Control", Programming and Computer Software, May-June 2003, Vol. 29, No.3, pp. 147-160, ISSN: 0361-7688, From Programmirovanie, Vol. 29, No. 3, 2003.
• P. Bellini, P. Nesi, M. B. Spinu, "Cooperative Visual Manipulation of Music Notation", ACM Transactions on Computer-Human Interaction (TOCHI) September 2002, Vol.9, N.3, PP.194-237, ISSN:1073-0516.
• P. Bellini, M. A. Bruno, P Nesi, "Verification of External Specifications of Reactive Systems ", IEEE Transactions on Systems Man and Cybernetics, IEEE Press, USA, in press 2000 or 2001.
• P. Bellini, R. Mattolini, P. Nesi, "Temporal Logics for Real-Time System Specification", ACM Computing Survey , ACM Press, Vo.31, N.4, 2000.
• P. Bellini, F. Fioravanti, P. Nesi, "Managing Music in Orchestras ", IEEE Computer, IEEE Press, pp.26-34, Settembre 1999.

Chapters, contributions in Books & Proceedings

• P. Bellini, I. Bruno, P. Nesi, "Multilingual Lyric Modeling and Management", in Visual Perception of Music Notation: On-Line and Off-Line Recognition, edited by Dr. Susan E. George, press 2003.
• P. Bellini, P. Nesi, "Modeing Music Notation in The Internet Multimedia Age", in Visual Perception of Music Notation: On-Line and Off-Line Recognition, edited by Dr. Susan E. George, press 2003.
• P. Bellini, I. Bruno, P. Nesi, "An Off-Line Optical Music Sheet Recognition", in Visual Perception of Music Notation: On-Line and Off-Line Recognition, edited by Dr. Susan E. George, press 2003.
• P. Bellini, contributor dei termini di "Software Engineering" per il "Dictionary of Computer Science, Engineering and Technology", Editor P. A. Laplante, CRC Press, USA, 2001.
• P. Bellini, I. Bruno, P. Nesi, "Music Composition", Chapter in Computer Science Book of Mac Millan Press, 2001.
• P. Nesi, P. Bellini, C. Busch, "Proceedings of first International Conference on WEB Delivering of Music'', IEEE Press, ISBN 0-7695-1284-4, pp.200, November 2001, USA.

International Conference Papers

• P. Bellini, D. Crombie, P. Nesi, MUSICNETWORK: TO BRING MUSIC INDUSTRY INTO THE INTERACTIVE MULTIMEDIA AGE, EVA Florence, March 2003.
• P. Bellini, A. Giotti, P. Nesi, D. Rogai, "TILCO Temporal Logic for Real-Time Systems Implementation in C++", SEKE2003, Proceedings of the 15th international conference on Software engineering and knowledge engineering, ACM press, 2003.
• K. Ng, D. Crombie, P. Bellini, P. Nesi, MUSICNETWORK: MUSIC INDUSTRY WITH INTERACTIVE MULTIMEDIA TECHNOLOGY, EVA London Conference 22-26 July 2003, UK.
• P. Bellini, I. Bruno, R. Della Santa, P. Nesi, M. B. Spinu, "SHARING CONTENT AMONG MUSIC-ORIENTED MEDIATEQUES AND ARCHIVES", EVA 2002 Florence Electronic Imaging & the Visual Arts 'The Foremost European Electronic Imaging Events in the Visual Arts', March 2002.
• Bellini, P.; Barthelemy, J.; Bruno, I.; Della Santa, R.; Nesi, P.; Spinu, M.; "Multimedia music distribution and sharing among mediateques, archives and their attendees", Web Delivering of Music, 2002. WEDELMUSIC 2002. Proceedings. Second International Conference, 2002, Page(s): 23-29.
• Bellini, P.; Bruno, L.; Nesi, P.; Spinu, M.B.; "Execution and synchronization of music score pages and real performance audios" Multimedia and Expo, 2002. Proceedings. 2002 IEEE International Conference on, Volume: 1, 2002, Page(s): 125-128.
• Bellini, P.; Giotti, A.; Nesi, P.; "Execution of TILCO temporal logic specifications", Engineering of Complex Computer Systems, 2002 Proceedings Eighth IEEE International Conference on, 2002, ICECCS2002, Page(s):78-87, 2002.
• P. Bellini, I. Bruno, R. Della Santa, P. Nesi, M. B. Spinu, "Music Distribution and protection", International Conference on protection, Proc. of the International Conference on Electronic Imaging & the Visual Arts, EVA 2001, Florence, ISBN 88-371-1253-X, pp.190-194, March 2001.
• P. Bellini, P. Nesi, "Communicating TILCO: a model for Real-Time System Specification", Best Paper Award, Proc. of the 7th ``IEEE International Conference on Engineering of Complex Computer Systems'', ICECCS'01, IEEE Press, Sweden, June 2001.
• P. Bellini, P. Nesi, "TILCO-X: An extension of TILCO temporal Logic", Proc. of the 7th ``IEEE International Conference on Engineering of Complex Computer Systems'', ICECCS'01, IEEE Press, Sweden, June 2001.
• P. Bellini, R. Della Santa. P. Nesi, "Automatic Formatting of Music Sheets", Proc. of the International Conference of Web Delivering of Music, IEEE Press, Florence, November 2001.
• P. Bellini, P. Nesi, "WEDELMUSIC FORMAT: An XML Music Notation Format for Emerging Applications", Proc. of the International Conference of Web Delivering of Music, IEEE Press, Florence, November 2001.
• P. Bellini, I. Bruno, P. Nesi, "Optical Music Sheet Segmentation", Proc. of the International Conference of Web Delivering of Music, IEEE Press, Florence, November 2001.
• P. Bellini, I. Bruno, R. Della Santa, P. Nesi, M. B. Spinu, Distribuzione Sicura di Oggetti Musicali Multimediali, Safe Distribution of Multimedia Musical Objects, AICA 2001, Tecnologie Innovazione e Società, pp.101-112, 19-22 Settembre, Villa Erba, Cernobbio Como 2001.
• P. Bellini, M. A. Bruno, P. Nesi, "Verification Criteria for a Compositional Model for Reactive Systems", Proc. of the 6th ``IEEE International Conference on Engineering of Complex Computer Systems'', ICECCS'00, IEEE Press, Tokyo, Japan, ISBN 0-7695-0583-X, pp.25-35, 11-14 September 2000.
• P. Bellini, M. Buonopane, M. Montanelli, P. Nesi, "Evaluating a Flexible Architecture for Distributed Control", Proc. of the 5th ``IEEE International Conference on Engineering of Complex Computer Systems'', ICECCS'99, IEEE Press, Las Vegas, USA, ISBN 0-7695-0434-5, pp.66-76, 18-21 October 1999.