Paolo Nesi's Publication before the 2004

Former publication of Paolo Nesi's before the 2004. You can find some of the publication of the DISIT portal. In alternative you can contact paolo.nesi@unifi.it

Articoli su Riviste Internazionali

A. Del Bimbo, P. Nesi, ``Behavioral Object Recognition from Multiple Image Frames", Signal Processing, Elsevier Press, Amsterdam, Oxford, UK, ISSN 0165-1684, Vol.27, N.1, pp.37-49, Aprile 1992.
A. Del Bimbo, M. Campanai, P. Nesi, ``3D Visual Query Language for Image Databases", Journal of Visual Languages and Computing, Academic Press, London, UK, ISSN 1045-926X, Vol.3, N.3, pp.257-271, Marzo 1992.
P. Nesi, ``Variational Approach for Optical Flow Estimation Managing Discontinuities", Image and Vision Computing Journal, Butterworth-Heinemann Press, Oxford, UK, ISSN 0262-8856, Vol.11, N.7, pp.419-439, Settembre 1993.
D. Ben-Tzvi, A. Del Bimbo, P. Nesi, ``Optical Flowfrom Constraint Lines Parametrization", Pattern Recognition, Pergamon Press, Pattern Recognition Society, London, UK, ISSN 0031-3203, Vol.26, N.10, pp.1549-1561, Ottobre 1993.
A. Del Bimbo, M. Campanai, P. Nesi, ``A Three-Dimensional Iconic Environment for Image Database Querying", IEEE Transactions on Software Engineering, IEEE Computer Society Press, New-York, USA, ISSN 0098-5589, Vol.19, N.10, pp.997-1011, Ottobre 1993.
P. Nesi, ``A chip for motion estimation", SPIE Electronic Imaging, special issue on ``Real Time Image Processing", SPIE Press, Bellingham, Washington, USA, Vol.4, N.2, pp.12, Luglio 1994 (invited paper).
A. Del Bimbo, P. Nesi, J. L. C. Sanz, ``Analysis of Optical Flow Constraints", IEEE Transactions on Image Processing, IEEE Press, New-York, USA, ISSN 1057-7149, Vol.4, N.4, pp.460-469, Aprile 1995.
G. Bucci, M. Campanai, P. Nesi, ``Tools for Specifying Real-Time Systems", Real-Time Systems: the International Journalof Time Critical Systems, Kluwer Academic Press Publisher, USA, stampato in The Netherlands, ISSN 0922-6443, Vol.8, N.2/3, pp.117-172, Marzo/Aprile 1995, si veda anche [CL11].
P. Nesi, A. Del Bimbo, D. Ben-Tzvi, ``A Robust Algorithm for Optical Flow Estimation", journal on Computer Vision, Graphics and Image Processing: Image Understanding, CVGIP:IU, Academic-Press, USA, ISSN 1077-3142, Vol.61, N.2, pp.59-68, Luglio 1995.
P. Nesi, A. Serra, ``A Non-Invasive Object-Oriented Tool for Software Testing", Software Quality Journal, Chapman & Hall, London, UK, ISSN 0963-9314, Vol.4, N.3, pp.155-174, Aprile 1995.
P. Nesi, R. Magnolfi, ``Tracking and Synthesizing Facial Motions with Dynamic Contours", on The Journal of Real Time Imaging, Academic Press, London, UK, ISSN 1077-2014, Vol.2, N.2, pp.67-79, Marzo/Aprile 1996.
P. Nesi, A. Del Bimbo, ``A Vision-Based 3-D Mouse", International Journal of Human Computer Studies, Academic Press, London, UK, ISSN 1071-5819, Vol.44, N.1, pp.73-91, Gennaio/Febbraio 1996.
A. Del Bimbo, P. Nesi, J. L. C. Sanz, ``Optical Flow Computation Using Extended Constraints", IEEE Transactions on Image Processing, IEEE Press, USA, ISSN 1057-7149, Vol.5, N.5, pp.720-739, Maggio 1996.
P. Nesi, M. Campanai, ``Metric Framework for Object-Oriented Real-Time Systems Specification Languages", The Journal of Systems and Software, North-Holland, Elsevier Science Inc. Press, New York, USA, ISSN 0164-1212, Vol.34, N.1, pp.43-65, Luglio 1996.
P. Nesi, ``Single Chip Estimates Motion'', Sensor Techology, Technical Insights, Englewood, Forth Lee, NJ, USA, ISSN 8756-4017, Vol.11, N.1, pp.2, Gennaio 1995
P. Nesi, ``Real-Time Motion Analysis", special issue for the Journal on Real-Time Imaging, Academic-Press, London, UK, ISSN 1077-2014, Vol.3, N.2, pp.69, Aprile 1997.
A. Fantechi, P. Nesi, ``Object-Oriented Reengineering of COBOL Applications'', Journal of Informatik-Informatique, Zurig, Swiss, ISSN 1420-6579, N.6, pp.31-42, Dicembre 1997.
P. Nesi, F. Innocenti, P. Pezzati, ``RETIMAC: Real-TIme Motion Analysis Chip", IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, IEEE press, USA, ISSN 1057-7130, Vol.45, N.3, pp.361-375, Marzo 1998.
P. Nesi, ``Computer Vision Motion Analysis", special issue for the Journal on Real-Time Imaging, Academic-Press, London, UK, ISSN 1077-2014, Vol.4, N.1, Febbraio 1998.
P. Nesi, T. Querci, ``Effort Estimation and Prediction of Object-Oriented Systems'', The Journal of Systems and Software, North-Holland, Elsevier Science Inc. Press, New York, USA, ISSN 0164-1212, Vol.42, pp.89-102, 1998.
P. Nesi, ``Managing OO Projects Better'', IEEE Software, IEEE Computer Society Press, ISSN 0740-7459, pp.50-60, Luglio/Agosto 1998. Selezionato per essere ripubblicato sulla rivista Olandese ``IT Management Select", ed in una ``paper collection'' della IEEE.
P. Nesi, M. Trucco, ``Real-Time Detection of Texture Defects", special issue for the Journal on Real-Time Imaging, Academic-Press, London, UK, ISSN 1077-2014, Vol.5, N.1, pp.1-2, Febbraio 1999.
A. Baldassarre, M. De Lucia, P. Nesi, ``Real-Time Detection of Cavitation for Hydraulic Turbomachines", Journal on Real-Time Imaging, Academic-Press, London, UK, ISSN 1077-2014, Vol.4, N.6, pp.403-416, Dicembre, 1998.
M. A. Bruno, P. Nesi, ``Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems'', Journal of Information and Software Technology, Elsevier Publishers, USA, ISSN 0950-5849, Vol.41, N.1, pp.35-52, 1999.
P. Bellini, F. Fioravanti, P. Nesi, ``Managing Music in Orchestras'', IEEE Computer, IEEE Press, ISSN 0018-9162, pp.26-34, Settembre 1999.
P. Bellini, R. Mattolini, P. Nesi, ``Temporal Logics for Real-Time System Specification'', ACM Computing Survey, ACM Press, ISSN 0360-0300, Vol.31, N.4, 2000.
F. Fioravanti, P. Nesi, ``A Method and Tool for Assessing Object-Oriented Projects and Metrics Management", The Journal of Systems and Software, North-Holland, Elsevier Science Inc. Press, New York, USA, ISSN 0164-1212, Vol.53, N.2, pp.111-136, Agosto 2000.
P. Bellini, M. A. Bruno, P. Nesi, ``Verification of External Specifications of Reactive Systems'', IEEE Transactions on Systems Man and Cybernetics, Part A: Systems and Humans, IEEE Press, USA, ISSN 1083-4427, Vol.30, N.6, pp.692-709, Novembre 2000.
R. Mattolini, P. Nesi, ``An Interval Logic for Real Time System Specification'', IEEE Transactions on Software Engineering, IEEE Press, USA, ISSN 0098-5589, Vol.27, N.3, pp.208-227, Marzo 2001.
A. Baldassarre, M. De Lucia, P. Nesi, F. Rossi, ``A Vision-Based Particle Tracking Velocimetry", Journal on Real-Time Imaging, Academic-Press, London, UK, ISSN 1077-2014, Vol.7, N.2, pp.145-158, Aprile 2001.
F. Fioravanti, P. Nesi, ``Estimation and prediction metrics for adaptive Maintenance Effort of Object Oriented Systems", IEEE Transactions on Software Engineering, IEEE Press, USA, ISSN 0098-5589, vol.27, N.12, pp.1062-1084, Dicembre 2001.
P. Bellini, P. Nesi, M. B. Spinu, ``Cooperative visual manipulation of music notation", ACM Transactions on Computer-Human Interaction, ACM TOCHI, Vol.9, N.3, pp.194-237, ISSN 1073-0516, Settembre 2002.
P. Bellini, J. Barthelemy, I. Bruno, P. Nesi, M. Spinu, ``Multimedia Music Sharing among Mediateques, Archives and Distribution to their attendees", Journal on Applied Artificial Intelligence, Special Issues on Artificial Intelligence for Cultural Heritage and Digital Libraries, Vol.17, N.8-9, pp.773-796, ISSN 0883-9514, Settembre-Ottobre 2003.
P. Nesi, ``Automatic Quality Control of Clinched metal Sheets", Journal of European Integrated Machine Vision, EIMV, Vol.1, pp.14-17, 2003.ù
P. Bellini, P. Nesi, ``Assessment of a Flexible Architecture for Distributed Control", International Journal of Programming and Computer Software, Kluwer/Plenum Publishers, Vol.29, N.3, pp.147-160, ISSN 0361-7688, Maggio-Giugno 2003.

Libri Internazionali e Nazionali

P. Nesi, ``Objective Software Quality, Objective Quality 1995: 2nd Symposium on Software Quality Techniques and Acquisition Criteria, Proceedings", Lecture Notes in Computer Science, LNCS N.926, Springer Verlag, Berlino, ISBN 3-540-59449-3, pp.249, 29-31 Maggio 1995.
M. Gori, P. Nesi, E. Pasca, ``Pascal e C: guida pratica alla programmazione", serie informatica, McGraw-Hill Press, Milano, ISBN 88-386-0712-5, pp.454, Giugno 1996.
P. Nesi, F. Lehner, ``Proceedings of second Euromicro Conference on Software Maintenance and Reengineering'', IEEE Press, ISBN 0-8186-8421-6, pp.240, Marzo 1998.
P. Nesi, C. Verhoef, ``Proceedings of third European Conference on Software Maintenance and Reengineering'', IEEE Press, ISBN 0-7695-0090-0, pp.203, Marzo 1999.
P. Nesi, P. Bellini, C. Busch, ``Proceedings of the first International Conference on WEB Delivering of Music'', IEEE Press, ISBN 0-7695-1284-4, pp.195, Novembre 2001, USA.
C. Busch, M. Arnold, P. Nesi, M. Schmucker, ``Proceedings of the Second International Conference on WEB Delivering of Music'', IEEE Press, ISBN 0-7695-1623-8, pp.230, Novembre 2002, USA.
K. Ng, C. Busch, P. Nesi, ``Proceedings of International Conference on WEB Delivering of Music'', IEEE Press, ISBN 0-7695-1935-0, pp.154, Agosto 2003, USA.

Capitoli in Libri Internazionali e Nazionali

A. Del Bimbo, P. Nesi, ``Categorizing Objects in the Environment: A Data Model and Organization for Vision", in book ``Artificial Intelligence, Expert Systems, and Symbolic Computing", selected and revised papers from the Proceedings of the 13th IMACS World Congres, Doublin, 1992 (E. N. Houstis and J. R. Rice, eds.), North-Holland Press, Amsterdam, pp.278-287, 1992.
P. Nesi, ``Microprocessori" (Capitolo 27-esimo) in ``Manuale di Ingegneria Meccanica, Elettrotecnica ed Elettronica", (A. Liberatore, ed.), Edizioni Cremonese, 62 pagine. Inoltre: fascicolo di aggiornamento (pp.119-180, 1993), seconda ristampa (pp.27.1-27.62, 1994).
P. Nesi, ``L'Ultima Generazione di Microprocessori", Capitolo 10 del Vol.2 della collana composta di 3 volumi dal titolo:``Sistemi e Automazione", (A. Frosini, M. Gori, eds.), Edizioni Cremonese, ISBN 88-7083-726-2, 66 pagine, pp.491-556, Febbraio 1994.
P. Nesi, ``Objective Quality'' (editorial), in ``Objective Software Quality, Objective Quality 1995: 2nd Symposium on Software Quality Techniques and Acquisition Criteria, Proceedings", Lecture Notes in Computer Science, LNCS N.926, Springer Verlag, Berlino, ISBN 3-540-59449-3, pp.1-9, 29-31 Maggio 1995.
P. Nesi, A. Del Bimbo, ``A Vision System for Estimating People Flow", in ``Image Technology: Advances in Image Processing, Multimedia and Machine Vision", (J. L. C. Sanz, ed.), Springer Verlag Press, Berlin, ISBN 3-540-58306-8, pp.179-201, Marzo 1996.
P. Nesi, ``Real-Time Motion Estimation", in ``Real-Time Imaging: Theory, Techniques, and Applications", (P. Laplante, A. Stoyenko, eds.), IEEE and IEEE Computer Society Press, USA, ISBN 0-7803-1068-3, Cap.2, pp.27-57, Maggio 1996.
E. Bruni, F. Innocenti, P. Nesi, ``RETIMAC - A Real Time Motion Analysis Chip, An ASIC Allows Direct Measurement of Moving Objects'', PROSAR, Promotion of the Special Actions' Results, MEPI Microelectronics Promotion in Italy, DGIII, ENEA, CESVIT, Pacini Editore, Ospedaletto, Italy, ISBN 8-8778-1202-8, pp.114-115, Marzo 1998.
P. Nesi, ``Microprocessori", in ``Manuale Cremonese di Meccanica Elettrotecnica Elettronica", (Prof. A. Liberatore, ed.), Edizioni Cremonese, Borgo S. Croce, Italy, ISBN 88-7083-754-8, Parte Generale, Vol.I, Cap. 30, pp.1-89, Gennaio 1999.
P. Nesi, contributor in ``Comprehensive Dictionary of Electrical Engineering'', Editor P. A. Laplante, CRC Press, IEEE Press, ISBN 0-8493-3128-5, USA, Gennaio 1999.
G. Bucci, M. Campanai, P. Nesi, ``Tools for Specifying Real-Time Systems", reprinted from {\em Real-Time Systems: the International Journal of Time Critical Systems, Kluwer Academic Press Publisher, USA, stampato in The Netherlands, ISSN 0922-6443, Vol.8, N.2/3, pp.117-172, Marzo/Aprile 1995, si veda [RI8]} in ``Key to Successful Software Development, Selected Readings", Edited by Dr. P. Laplante, IEEE Press, ISBN 07803-4803-6, pp.81-136, USA, 1999.
P. Nesi, coordinatore dei termini di ``Software Engineering'' per il ``Dictionary of Computer Science, Engineering and Technology'', Editor P. A. Laplante, CRC Press, USA, ISBN 0849326915, 2000.
G. Bucci, M. Campanai, P. Nesi, ``Tools for Specifying Real-Time Systems", reprinted from {\em Real-Time Systems: the International Journal of Time Critical Systems, Kluwer Academic Press Publisher, USA, stampato in The Netherlands, ISSN 0922-6443, Vol.8, N.2/3, pp.117-172, Marzo/Aprile 1995, si veda [RI8]} in ``A Practical Approach to RealTime Systems: Selected Readings", Edited by Dr. P. Laplante, IEEE Press, USA 2000.
P. Nesi, ``Effective Management of Object-Oriented Projects", Tutorial Notes of the IEEE International Conference on Software Maintenance, Sylicon Valley, CA, USA, Ottobre 2000.
P. Nesi, ``Managing OO Projects Better", reprinted from IEEE Software, IEEE Computer Society Press, ISSN 0740-7459, pp.50-60, Luglio/Agosto 1998, in ``Software Engineering: Selected Readings", edited by Eric Braude, ISBN 0780348176, IEEE Press, pp.85-95, 2000.
P. Bellini, I. Bruno, F. Fioravanti, P. Nesi, M. B. Spinu, ``Music Composition", Chapter in Computer Sciences Book of Mac Millan Press, USA, ISBN 0028655699, Vol.3, pp.145-147, Giugno 2002.
M. Monsignori, P. Nesi, M. Spinu, ``Technology of Music Score Watermarking", Multimedia Systems and Content-Based Image Retrieval" edited by Sagarmay Deb, Idea Group Publishing, USA, ISBN 15914-02654, pp.24-61, Ottobre 2003.
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, IRM Press, ISBN 1931777942, USA, in press, Luglio 2004.
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, IRM Press, ISBN 1931777942, USA, in press, Luglio 2004.
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, IRM Press, ISBN 1931777942, USA, in press, Luglio 2004.
M. Monsignori, P. Nesi, M. Spinu, ``Music Score Watermarking", accepted as contribution in the Encyclopedia of Information Science and Technology, under revision, Idea-Group Press, USA, 2004.

Conferenze Internazionali

G. Bucci, P. Nesi, ``An Automatic Software Development Tool for Industrial Controllers", Proc. of MICROSYSTEM'87, CSTS Press, organizzato da Czechoslovak Scientific and Technical Society, Brno, Cecoslovacchia, pp.40-45, 18-21 Settembre 1987.
G. Bucci, A. Del Bimbo, P. Nesi, ``Software Components in an Automatic Software Development Tool", Proc. of MICROSYSTEM'89, CSTS Press, organizzato da Czechoslovak Scientific and Technical Society, Karlovy Vary, Cecoslovacchia, pp.23-30, 18-21 Settembre 1989.
R. Cecchini, A. Del Bimbo, P. Nesi, ``IPOOS: An Advanced System for Automatic Classification", Proc. of the 3rd International Workshop on ``Time-Varying Image Processing and Moving Object Recognition", ``Time-Varying Image Processing and Moving Object Recognition, 2", (V. Cappellini, ed.), Elsevier Press, Florence, Italy, pp.75-81, 24-31 Maggio 1989.
R. Cecchini, A. Del Bimbo, P. Nesi, ``Using Type and Inheritance for Image Processing and Pattern Recognition", Proc. of the 39th ISMM International Conference on Mini and Microcomputers and their applications, MIMI 1989, (M. H. Hamza, ed.), ACTA Press, Zurich, Switzerland, pp.307-310, 26-29 Giugno 1989.
R. Cecchini, A. Del Bimbo, P. Nesi, ``Object Classification and Image Interpretation with an Object-Oriented System", Proc. of the 3rd International Conference on Image Processing and its Applications, Organized by IEE (Institute of Electrical Engineers), IEE Press, University of Warwick, United Kingdom, pp.452-456, 18-20 Luglio 1989.
V. Cappellini, A. Del Bimbo, P. Nesi, ``Integrating Object-Oriented Programming Paradigm Concepts in Designing a Vision and Pattern Recognition System Architecture", Proc. of the 10th IEEE International Conference on Pattern Recognition on Computer Architectures for Vision and Pattern Recognition, ICPR'90, IEEE Press, Atlantic City, New Jersey, USA, pp.572-575, 17-21 Giugno 1990.
V. Cappellini, R. Cecchini, A. Del Bimbo, P. Nesi, ``Object Based Information Modeling for Pattern Recognition and Motion Analysis", Proc. of the V European Signal Processing Conference, EUSIPCO'90, (L. Torres, E. Masgrau, M. A. Lagunas, eds.), Elsevier Science Publisher, Barcellona, Spain, pp.1667-1670, 18-21 Settembre 1990.
V. Cappellini, A. Del Bimbo, P. Nesi, ``Object Motion Identification for Object Recognition", Proc. of the International workshop on Machine Vision Applications, MVA'90, organizzato dallo IAPR (International Association for Pattern Recognition), Tokyo, Japan, pp.189-191, 28-30 Novembre 1990.
A. Del Bimbo, P. Nesi, R. Consales, ``3-D Object Recognition from Single Perspective Views", Proc. of the International Workshop on Visual Form, IWVF'91, (C. Arcelli {\em et al.}, eds.), Plenum Press, Capri, Italy, ISBN 0-306-44185-3, pp.197-203, 27-30 Maggio 1991.
V. Cappellini, A. Del Bimbo, P. Nesi, ``Visual Verification of Robot Arm Movements", Proc. of the 9th International Conference on Digital Signal Processing, DSP'91, (V. Cappellini, A. G. Constantinides, eds.), Elsevier Press, Florence, Italy, ISBN 0-444-88890-x, pp.729-734, 4-6 Settembre 1991.
P. Nesi, A. Del Bimbo, J. L. C. Sanz, ``Multiconstraints-Based Optical Flow Estimation and Segmentation", Proc. of 1991 International Workshop on Computer Architecture for Machine Perception, CAMP'91, Paris, France, pp.419-425, 16-18 Dicembre 1991.
R. Consales, A. Del Bimbo, P. Nesi, ``Using Single Perspective Views for 3D Object Recognition", Proc. of the 4th IEE International Conference on Image Processing and its Application, IEE Press, Maastricht, The Netherlands, ISBN 0-85296-5435, ISSN 0537-9989, pp.323-326, 7-9 Aprile 1992.
A. Del Bimbo, P. Nesi, ``Blackboard-Based Concurrent Object Recognition Using an Object-Oriented Database", Proc. of the 11th IEEE International Phoenix Conference on Computers and Communications, IPCCC'92, IEEE Press, Scottsdale, Arizona, ISBN 0-7803-0605-8, pp.172-180, USA, 1-3 Aprile 1992.
R. Consales, A. Del Bimbo, P. Nesi, ``On the Perspective Projection of 3-D Planar-Faced Junctions", Proc. of the 11th IEEE International Conference on Pattern Recognition, ICPR'92, organizzato dallo IAPR, IEEE Press, The Hague, The Netherlands, pp.616-619, 30 Agosto - 3 Settembre 1992.
A. Del Bimbo, M. Campanai, P. Nesi, ``A 3D Visual Environment for Quering Image Databases", Proc. of the International Workshop on Advanced Visual Interfaces, AVI'92, (T. Catarci, M. F. Costabile, S. Levialdi, eds.), World Scietific Publisher, World Scientific Serie in Computer Science Vol.36, Centro congressi, Universit\ax di Roma ``La Sapienza", Roma, Italy, pp.12-25, 27-29 Maggio 1992.
M. Campanai, A. Del Bimbo, P. Nesi, ``Using 3D Spatial Relationships for Image Retrieval by Contents", Proc. of the IEEE International Conference on Visual Language, VL'92, IEEE Press, University of Washington, Seattle, Washington, USA, pp.184-190, 15-18 Settembre 1992.
A. Del Bimbo, P. Nesi, J. L. C. Sanz, ``Estimation and Interpretation of Optical Flow Fields for Counting Moving Objects", Proc. of the International workshop on Machine Vision Applications, MVA'92, organizzato da IAPR (International Association for Pattern Recognition), Tokyo, Japan, pp.209-214, 7-9 Dicembre 1992.
D. Ben-Tzvi, A. Del Bimbo, P. Nesi, ``Optical Flow Estimation by Using the Combinatorial Hough Transform", Proc. of the 7th International Conference on Image Analysis and Processing, ICIAP'93, Progress in Image Analysis and Processsing III (S. Impedovo, ed.), World Scientific Press, organizzato dallo IAPR, Monopoli, Bari, Italy, ISBN 981-02-1552-5, pp.531-538, 20-22 Settembre 1993.
A. Del Bimbo, P. Nesi, J. L. C. Sanz, ``Optical Flow Estimation by Using Classical and Extended Constraints", Proc. of the 4th International Workshop on Time-Varying Image Processing and Moving Object Recognition, ``Time-Varying Image Processing and Moving Object Recognition, 3", (V. Cappellini, ed.), Elsevier Press, Firenze, Italy, pp.351-358, 10-11 Giugno 1993.
A. Del Bimbo, P. Nesi, J. L. C. Sanz, ``Innovative Multipoint Solutions for Optical Flow Estimation with Different Constraints", Proc. of the 7th International Conference on Image Analysis and Processing, ICIAP'93, Progress in Image Analysis and Processsing III (S. Impedovo, ed.), World Scientific Press, organizzato dallo IAPR, Bari, Italy, ISBN 981-02-1552-5, pp.539-546, 20-22 Settembre 1993.
A. Del Bimbo, P. Nesi, ``Real-Time Optical Flow Estimation", Proc. of the 1993 IEEE International Conference on Systems, Man and Cybernetics, SMC'93, IEEE Press, Le Touquet, France, Vol.3, ISBN 0-7803-0911-1, pp.13-19, 17-20 Ottobre 1993.
A. Del Bimbo, P. Nesi, ``Optical Flow Estimation on Connection Machine-2", Proc. of the International Workshop on Computer Architecture for Machine Perception, CAMP'93, (M. A. Bayoumi, L. S. Davis, and K. P. Valavanis, eds.), IEEE Computer Society Press, New Orleans, Luisiana, USA, ISBN 0-8186-5420-1, pp.267-274, 15-17 Dicembre 1993.
G. Bucci, M. Campanai, P. Nesi, M. Traversi, ``An Object-Oriented CASE Tool for Reactive System Specification", Proc. of the 6th International Conference on Software Engineering and Its Applications, sponsored by: EC2, CXP, CIGREF, and SEE, Le CNIT Paris La D\`efense, Parigi, Francia, ISBN 2-910085-00-7, pp.497-508, 15-19 Novembre 1993.
G. Bucci, M. Campanai, P. Nesi, M. Traversi, ``An Object-Oriented Dual Language for Specifying Reactive Systems", Proc. of the 1st IEEE International Conference on Requirements Engineering, ICRE'94, IEEE Computer Society Press, Colorado Spring, Colorado, USA, ISBN 0-8186-5480-5, pp.6-15, 18-22 Aprile 1994.
M. Campanai, P. Nesi, ``Supporting Object-Oriented Desing with Metrics", Proc. of the International Conference on Technology of Object-Oriented Languages and Systems, TOOLS EUROPE'94 (B. Mangusson, B. Meyer, J.-M. Newson, J.-F. Perrot, eds.), Prentice Hall Press, Versailles, France, ISBN 0-13-350539-1, pp.227-241, 7-11 Marzo 1994.
A. Borri, G. Bucci, P. Nesi, ``A Robust Tracking of 3D Motion", Proc. of the European Conference on Computer Vision, ECCV'94, (J.O. Eklundh, ed.), Springer Verlag, Lecture Notes in Computer Science Ns.800-801, Stockholm, Sweden, ISBN 3-540-57956-7, ISBN 0-387-57956-7, pp.181-188, 2-6 Maggio 1994.
P. Nesi, A. Serra, ``An Object-Oriented Approach for a Non-Invasive Automatic Testing Tool", Proc. of the 7th International Software Quality Week Conference, QW'94, (E. Miller, ed.), San Francisco, California, USA, paper 4-A-3/QW94-55, pp.18, 17-20 Maggio 1994.
P. Nesi, A. Serra, ``An Object-Oriented Approach for Testing Software from GUI", Proc. of the 12th Pacific NortWest Software Quality Conference, PNWSQC'94, Portland, Oregon, USA, pp.384-404, 17-19 Ottobre 1994.
G. Bucci, P. Nesi, ``Using TOOMS/TROL for Specifying a Cellular Phone", Proc. of the 7th Euromicro Workshop on Real-Time Systems, EWRTS'95, IEEE Press, Odense, Denmark, ISBN 0-8186-7112-2, ISSN 1068-3070, pp.49-56, 14-16 Giugno 1995.
P. Nesi, A. Del Bimbo, ``Hand Pose Tracking for 3-D Mouse Emulation", Proc. of the International Workshop on Automatic Face- and Gesture-Recognition, IWAFGR'95, Zurich, Switzerland, pp.302-307, 26-28 Giungo 1995.
R. Magnolfi, P. Nesi, ``Analysis and Synthesis of Facial Motions", Proc. of the International Workshop on Automatic Face- and Gesture-Recognition, IWAFGR'95, Zurich, Switzerland, pp.308-313, 26-28 Giungo 1995.
F. Innocenti, P. Nesi, P. Pezzati, ``A Chip for Real-Time Optical Flow Estimation", Proc. of the 2nd International Conference on Massively Parallel Computing Systems, MPCS'96, IEEE Press, organizzato dall'Istituto di Ricerca sui Sistemi Informatici Paralleli (CNR), Istituto di Fisica Cosmica e Tecnologie Relative (CNR), e Euromicro, Ischia, Italy, ISBN 0-8186-7600-0, pp.339-346, 6-9 Maggio 1996.
R. Mattolini, P. Nesi, ``Using TILCO for Specifying Real-Time Systems", Proc. of the 2nd IEEE International Conference on Engineering of Complex Computer Systems, IEEE Press, ICECCS'96, Montreal, Canada, ISBN 0-8186-7614-0, pp.18-25, 21-25 Ottobre 1996.
A. Fantechi, P. Nesi, A. Somma, ``Object-Oriented Analysis of COBOL", Proc. of the 1st International Euromicro Conference on Software Maintenance and Reengineering, CSMR'97, IEEE Press, ISBN 0-8186-7892-5, Berlino, Germania, pp.157-164, 17-19 Marzo 1997.
G. Bucci, M. Bruno, P. Nesi, ``Life-Cycle for Formal Object-Oriented Specification Models'', Prof. of the 23rd Euromicro Conference, EUROMICRO'97, ``New Frontiers of Information Technology'', IEEE Press, (P. Milligan and P. Corr, eds.), Budapest, Ungheria, ISBN 0-8186-8215-9, pp.2-7, 1-4 Settembre 1997.
F. Butera, B. Fontanella, P. Nesi, M. Perfetti, ``Reengineering a Computerized Numerical Control Towards Object-Oriented'', Proc. of the 2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR'98, IEEE Press, Florence, Italy, ISBN 0-8186-8421-6, pp.224-227, 8-11 Marzo 1998.
F. Fioravanti, P. Nesi, S. Perlini, ``A Tool for Process and Product Assessment of C++ Applications'', Proc. of the 2nd Euromicro Conference on Software Maintenance and Reengineering, CSMR'98, IEEE Press, Florence, Italy, ISBN 0-8186-8421-6, pp.89-95, 8-11 Marzo 1998.
F. Fioravanti, P. Nesi, S. Perlini, ``Assessment of System Evolution Through Characterisation'', Proc. of the IEEE International Conference on Software Engineering, ICSE'98, IEEE Press, Kyoto, Japan, ISBN 0-8186-8368-6, pp.456-459, 19-25 Aprile 1998.
G. Bucci, F. Fioravanti, P. Nesi, S. Perlini, ``Metrics and Tool for System Assessment'', Proc. of the IEEE International Conference on the Engineering of Complex Computer Systems, ICECCS'98, IEEE Press, Monterrey, California, USA, ISBN 0-8186-8597-2, pp.36-46, 10-14 Agosto 1998.
G. Bucci, P. Nesi, ``Overhead Estimation and Comparison for Multitasking Operating Systems for Personal Computers", Proc. of the 2nd International Conference on Parallel and Distributed Computing and Network (G. Gupta, P. Printchard, H. Shen, eds.), PDCN'98, ACTA Press (Anaheim), Brisbane, Australia, ISBN 0-88986-237-0, ISSN 1027-2658, pp.236-240, 14-16 Dicembre 1998.
A. Baldassarre, M. De Lucia, P. Nesi, A. Rossi, ``Real-Time Defect Detection on Cloths", Optical Measurement Systems for Industrial Inspection, Proc. of the International Conference on Optical Measurement Systems for in Industrial Inspection, EUROPTO (EOS - The European Optical Society and SPIE - The International Society for Optical Engineering), (M. Kujawinska and W. Osten, eds.), SPIE Press, USA, pp.353-364, Vol. 3824, ISSN 0277-786X, ISBN 0-8194-3310-1, Monaco, Germania, 16-17 Giugno 1999.
A. Baldassarre, M. De Lucia, P. Nesi, A. Rossi, ``A new Particle Tracking Velocimetry", Optical Measurement Systems for Industrial Inspection, Proc. of the International Conference on Optical Measurement Systems for in Industrial Inspection, EUROPTO (EOS - The European Optical Society and SPIE - The International Society for Optical Engineering), (M. Kujawinska and W. Osten, eds.), SPIE Press, USA, pp.187-198, Vol. 3824, ISSN 0277-786X, ISBN 0-8194-3310-1, Monaco, Germania, 16-17 Giugno 1999.
S. Marinai, P. Nesi, ``Projection Based Segmentation of Musical Sheets'', Proc. of the 5th International Conference on Document Analysis and Recognition, ICDAR'99, IEEE press, sponsorizzata dallo IAPR (Iternational Association on Pattern Recognition), Bangalore, India, ISSN 0-7695-0318-7, pp.515-518, 20-22 Settembre 1999.
F. Fioravanti, P. Nesi, F. Stortoni, ``Metrics for Controlling Effort During Adaptive Maintenance of Object-Oriented Systems'', Proc. of the 15th IEEE International Conference on Software Maintenance, ICSM'99, IEEE Press, USA, ISSN 1063-6773, ISBN 0-7695-0016-1, pp.483-492, Oxford, England, 30 Agosto - 3 Settembre 1999.
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 Ottobre 1999.
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 Settembre 2000.
F. Fioravanti, P. Nesi, ``A study on fault-proneness detection of Object-Oriented systems'', Proc. of the 5th European Conference on Software Maintenance and Reengineering, CSMR'2001, IEEE Press, Lisbon, Portugal, ISBN 0-7695-1028-0, pp.121.130, Marzo 2001.
F. Fioravanti, P. Nesi, ``Reengineering Analysis of Object-Oriented Systems via Duplication Analysis", Proc. of the 23rd IEEE International Conference on Software Engineering, ICSE'2001, IEEE Press, Toronto, Canada, ISBN 0-7695-1050-7, pp.577-586, Maggio 2001.
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, Marzo 2001.
P. Bellini, P. Nesi, ``Communicating TILCO: a model for Real-Time System Specification", ha ricevuto il Best Paper Award, Proc. of the 7th ``IEEE International Conference on Engineering of Complex Computer Systems'', ICECCS'01, IEEE Press, Skovde, Svezia, ISBN 0-7695-1159-7, pp.4-14, Giugno 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, Skovde, Svezia, ISBN 0-7695-1159-7, pp.15-25, Giugno 2001.
G. Bucci, A. Evangelisti, F. Fioravanti, P. Nesi, ``The role of software quality assessment in medical equipment", Proc. of the IX Mediterranean Conference on Medical and Biological Engineering and Computing, MEDICON2001, Pula, Croatia, 12-15 Giugno 2001.
M. Monsignori, P. Nesi, M. B. Spinu, ``Watermarking Music Sheets", Proc. of the Second IEEE Pacific-Rim Conference on Multimedia, (2001 International Symposium on Multimedia Information Processing), Springer Press, LNCS 2195, pp.646-653, ISBN 3-540-42680-9, Beijing, China, 24-26 Ottobre 2001.
M. Monsignori, P. Nesi, M. B. Spinu, ``Watermarking Music Sheets while Printing", Proc. of the first International Conference of Web Delivering of Music, WEDELMUSIC2001, IEEE Press, ISBN 07695-1284-4, pp.28-35, Florence, Novembre 2001.
P. Bellini, R. Della Santa, P. Nesi, ``Automatic Formatting of Music Sheets", Proc. of the first International Conference of Web Delivering of Music, WEDELMUSIC2001, IEEE Press, ISBN 07695-1284-4, pp.76-86, Florence, Novembre 2001.
P. Bellini, P. Nesi, ``WEDELMUSIC FORMAT: An XML Music Notation Format for Emerging Applications", Proc. of the first International Conference of Web Delivering of Music, WEDELMUSIC2001, IEEE Press, ISBN 07695-1284-4, pp.170-177, Florence, Novembre 2001.
P. Bellini, I. Bruno, P. Nesi, ``Optical Music Sheet Segmentation", Proc. of the first International Conference of Web Delivering of Music, WEDELMUSIC2001, IEEE Press, ISBN 07695-1284-4, pp.183-190, Florence, Novembre 2001.
M. Monsignori, P. Nesi, M.B. Spinu, ``A high capacity techniques for watermarking music sheets while printing", Proc. of the 2001 IEEE Forth Workshop on Multimedia Signal Processing, J.-L. Dugelay and K. Rose, Eds., pp.493-498, IEEE Press, ISBN 0-7803-7025-2, Cannes, France, 3-5 Ottobre 2001.
C. Busch, P. Nesi, M. Schmucker, M. B. Spinu, ``Evolution of Music Score Watermarking Algorithm", in Proc. of the 14th International Symposium on Electronic Imaging 2002: Science & Technology'' ``Real-Time Imaging V (EI12)'' IS&T/SPIE 2002, workshop on security and Watermarking of Multiemedia IV, (E. J. Delp III, P. W. Wong, eds), Vol.4675, San Jose, CA, USA, ISBN 0-8194-4415-4, pp.181-193, 21-24 Gennaio 2002.
P. Bellini, I. Bruno, R. Della Santa, P. Nesi, M. B. Spinu, ``Execution and Synchronisation of Music Score Pages and Real Performance Audios", Proc. of the IEEE International Conference on Multimedia and Expo, ICME2002, IEEE Press, Swiss Federal Institute of Technology, EPFL, Lausanne, Switzerland, ISBN 0-7803-7305-7, Vol.1, pp.125-128, 26-29 Agosto 2002.
I. Bruno, A. Giotti, M. Monsignori, P. Nesi, ``A Distributed Industrial Application for Quality Control of Clinched Boards Based on Computer Vision", Proc. of the Fourteenth International Conference on Software Engineering and Knowledge Engineering, SEKE'02, ACM Press, Ischia, Italy, pp.715-718, 15-18 Luglio 2002.
P. Bellini, I. Bruno, R. Della Santa, P. Nesi, M. B. Spinu, ``Sharing Content Among Music-Oriented Mediateques and Archives", Proc. of the Electronic Imaging & the Visual Arts ``The Foremost European Electronic Imaging Events in the Visual Arts", EVA Florence 2002, ISBN 88-371-1312-9, pp.282-286, Marzo 2002.
P. Bellini, J. Barthelemy, I. Bruno, R. Della Santa, M.B. Spinu, ``Multimedia music distribution and sharing among mediateques, archives and their attendees", Proc. of the Second International Conference on Web Delivering of Music, WEDELMUSIC 2002, IEEE Press, ISBN 0-7695-1623-8, pp.23-29, Darmstadt, Germania, Dicembre 2002.
P. Bellini, A. Giotti, P. Nesi, ``Execution of TILCO temporal logic specifications", Proc. of the 8th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS2002, IEEE Press, ISBN 0-7695-1757-9, pp.78-87, Dicembre 2002.
P. Bellini, D. Crombie, P. Nesi, ``MUSICNETWORK: to bring music industry into thge interactive multimedia age", Proc. of the Electronic Imaging & the Visual Art, EVA 2003 Florence, Italy, ISBN 88-371-1391-9, pp.236-240, Marzo 2003.
I. Bruno, P. Nesi, ``Automatic Synchronisation Based On Beat Tracking", Proc. of the 2nd International Festival/Symposium of Sound and Experimental Music, MAXIS 2003, ISBN 1-84387-011-8, pp.7-13, Leeds, UK, 10-33 Aprile 2003.
M. Campanai, P. Nesi, M.B. Spinu, ``Watermarking Music Sheets, it is possible?", Proc. of the third International Conference on WEB delivering of Music’’, WEDELMUSIC2003, IEEE Press, Leeds, UK, ISBN 0-7695-1935-0, pp.151-152, Settembre 2003.
I. Bruno, S.L. Monni, P. Nesi, ``Automatic Music Transcription Supporting Different Instruments’’, Proc. of the third International Conference on WEB delivering of Music", WEDELMUSIC2003, IEEE Press, Leeds, UK, ISBN 0-7695-1935-0, pp.37-44, Settembre 2003.
P. Bellini, A. Giotti, P. Nesi, D. Rogai, ``TILCO Temporal Logic for Real-Time Systems Implementation in C++", Proc. of the 15th international conference on Software engineering and knowledge engineering, SEKE2003, San Francisco, California, USA, ACM press, ISBN 1-891706-12-8, pp.166-173, 2003.
K. Ng, D. Crombie, P. Bellini, P. Nesi, ``MUSICNETWORK: Music Industry with Internative Multimedia Techology", Proc. of the International Conference on Eletronic Imaging & the Visual Art, EVA London 2003, UK, (J. Hemsley, editor), ISBN 0-9 543146-3-8, pages from 30-1 to 30-5, 22-26 Luglio 2003.
L. Braccesi, M. Monsignori, P. Nesi, ``Monitoring and Optimizing Industrial Production Processes", Proc. of the 9th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS2004, IEEE Press, Firenze, Italia, Aprile 2004.
P. Bellini, P. Nesi, D. Rogai, ``Validating Component Integration with C-TILCO: A Case Study", Proc. of the International Workshop on Test and Analysis of Component Based Systems, TACOS2004, Proc. Elsevier press as Electronic Notes in Computer Science Series, in conjunction with ETAPS 2004, Sponsored by: The IEEE Test Technology Technical Council (TTTC) Barcellona, Spagna, 27-28 Marzo 2004.