2009 | ||
---|---|---|
78 | EE | Pierfrancesco Bellini, Paolo Nesi, Davide Rogai: Expressing and organizing real-time specification patterns via temporal logics. Journal of Systems and Software 82(2): 183-196 (2009) |
2008 | ||
77 | Kia Ng, Paolo Nesi, Neil McKenzie: Technology-Enhanced Learning For Music Theory And Performance. e-Learning 2008: 66-70 | |
2007 | ||
76 | Alessio Colzi, Tommaso Martini, Paolo Nesi, Davide Rogai: A Component-Based Solution and Architecture for Dynamic Service-Based Applications. SEKE 2007: 637- | |
75 | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai, Paolo Vaccari: Interoperable cross media content and DRM for multichannel distribution. Emerging Artificial Intelligence Applications in Computer Engineering 2007: 330-340 | |
2006 | ||
74 | EE | Pierfrancesco Bellini, Sauro Chellini, Tommaso Martini, Paolo Nesi, Davide Rogai, Andrea Vallotti: AXMEDIS architectural solution for interoperable content and DRM on multichannel distribution. AIAI 2006: 697-704 |
73 | EE | Jaime Delgado, Tommaso Martini, Paolo Nesi, Eva Rodríguez, Davide Rogai, Andrea Vallotti: Definition of Mechanisms that Enable the Exploitation of Governed Content. AXMEDIS 2006: 136-142 |
72 | EE | Sauro Chellini, Tommaso Martini, Paolo Nesi: Accounting Solutions in the AXMEDIS Project. AXMEDIS 2006: 53-60 |
71 | EE | Sauro Chellini, Tommaso Martini, Paolo Nesi: AXMEDIS: an MPEG-21 based solution for protected cross media content production and distribution. CEC/EEE 2006: 52 |
70 | EE | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi: A GRID based Framework and tools for automating production of cross media content. ICECCS 2006: 236-248 |
69 | EE | Paolo Nesi, Davide Rogai, Andrea Vallotti: A Protection Processor for MPEG-21 Players. ICME 2006: 1357-1360 |
68 | EE | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi: A Language and Architecture for Automating Multimedia Content Production on Grid. ICME 2006: 441-444 |
67 | EE | Pierfrancesco Bellini, Paolo Nesi, L. Ortimini, Davide Rogai, Andrea Vallotti: Model and Usage of a Core Module for Axmedis/MPEG-21 Content Manipulation Tools. ICME 2006: 577-580 |
66 | EE | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai: An Integrated Framework for Automating Content Enrich Packaging and Distribution with DRM support. SWAP 2006 |
65 | EE | Pierfrancesco Bellini, Paolo Nesi, Davide Rogai: Reply to Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32(6): 428-431 (2006) |
2005 | ||
64 | Tommaso Martini, Paolo Nesi, Davide Rogai, Andrea Vallotti: A Component based Multimedia Middleware for Content Production Factory. DMS 2005: 135-138 | |
63 | EE | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai: Comparing Fault-Proneness Estimation Models. ICECCS 2005: 205-214 |
62 | EE | Paolo Nesi: Multimedia Content Distribution and Protection. ICECCS 2005: 3 |
61 | Paolo Nesi, Marius B. Spinu: Music Score Watermarking. Encyclopedia of Information Science and Technology (IV) 2005: 2074-2079 | |
60 | EE | Pierfrancesco Bellini, Paolo Nesi, Davide Rogai: Validating Component Integration with C-TILCO: A Case Study. Electr. Notes Theor. Comput. Sci. 116: 241-252 (2005) |
59 | EE | Pierfrancesco Bellini, Paolo Nesi, Giorgio Zoia: Symbolic Music Representation in MPEG. IEEE MultiMedia 12(4): 42-49 (2005) |
2004 | ||
58 | EE | L. Braccesi, Massimo Monsignori, Paolo Nesi: Monitoring and Optimizing Industrial Production Processes. ICECCS 2004: 213-222 |
57 | EE | Pierfrancesco Bellini, Jean-Pierre Barthélemy, Paolo Nesi, Giorgio Zoia: A Proposal for the Integration of Symbolic Music Notation into Multimedia Frameworks. WEDELMUSIC 2004: 36-43 |
56 | EE | Pierfrancesco Bellini, Paolo Nesi: Automatic justification and line-breaking of music sheets. Int. J. Hum.-Comput. Stud. 61(1): 104-137 (2004) |
55 | EE | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi: A distributed system for computer vision quality control of clinched boards. Real-Time Imaging 10(3): 161-176 (2004) |
2003 | ||
54 | Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai: TILCO Temporal Logic for Real-Time Systems Implementation in C++. SEKE 2003: 166-173 | |
53 | EE | Pierfrancesco Bellini, Jean-Pierre Barthélemy, Ivan Bruno, Paolo Nesi, Marius B. Spinu: Multimedia Music Sharing among Mediateques: Archives and Distribution to Their Attendees. Applied Artificial Intelligence 17(8-9): 773-795 (2003) |
52 | EE | Pierfrancesco Bellini, M. Buonopane, Paolo Nesi: Assessment of a Flexible Architecture for Distributed Control*. Programming and Computer Software 29(3): 147-160 (2003) |
2002 | ||
51 | EE | Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi: Execution of TILCO Temporal Logic Specifications. ICECCS 2002: 78- |
50 | EE | Ivan Bruno, Andrea Giotti, Massimo Monsignori, Paolo Nesi: A distributed industrial application for quality control of clinched boards based on computer vision. SEKE 2002: 715-718 |
49 | EE | Pierfrancesco Bellini, Paolo Nesi, Marius B. Spinu: Cooperative visual manipulation of music notation. ACM Trans. Comput.-Hum. Interact. 9(3): 194-237 (2002) |
2001 | ||
48 | Fabrizio Fioravanti, Paolo Nesi: A Study on Fault-Proneness Detection of Object-Oriented Systems. CSMR 2001: 121-130 | |
47 | EE | Pierfrancesco Bellini, Paolo Nesi: TILCO-X, an Extension of TILCO Temporal Logic. ICECCS 2001: 15-25 |
46 | EE | Pierfrancesco Bellini, Paolo Nesi: Communicating TILCO: A Model for Real-Time System Specification. ICECCS 2001: 4-14 |
45 | Fabrizio Fioravanti, G. Migliarese, Paolo Nesi: Reengineering Analysis of Object-Oriented Systems via Duplication. ICSE 2001: 577-586 | |
44 | EE | Massimo Monsignori, Paolo Nesi, Marius B. Spinu: Watermarking Music Sheets. IEEE Pacific Rim Conference on Multimedia 2001: 646-653 |
43 | EE | Fabrizio Fioravanti, Paolo Nesi: Estimation and Prediction Metrics for Adaptive Maintenance Effort of Object-Oriented Systems. IEEE Trans. Software Eng. 27(12): 1062-1084 (2001) |
42 | EE | Riccardo Mattolini, Paolo Nesi: An Interval Logic for Real-Time System Specification. IEEE Trans. Software Eng. 27(3): 208-227 (2001) |
41 | EE | Antonio Baldassarre, Maurizio De Lucia, Paolo Nesi, F. Rossi: A Vision-Based Particle Tracking Velocimetry. Real-Time Imaging 7(2): 145-158 (2001) |
2000 | ||
40 | EE | Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi: Verification Criteria for a Compositional Model for Reactive Systems. ICECCS 2000: 25-35 |
39 | EE | Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi: Temporal logics for real-time system specification. ACM Comput. Surv. 32(1): 12-42 (2000) |
38 | Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi: Verification of external specifications of reactive systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 30(6): 692-709 (2000) | |
37 | EE | Fabrizio Fioravanti, Paolo Nesi: A method and tool for assessing object-oriented projects and metrics management. Journal of Systems and Software 53(2): 111-136 (2000) |
1999 | ||
36 | EE | Simone Marinai, Paolo Nesi: Projection based Segmentation of Musical Sheets. ICDAR 1999: 515-518 |
35 | EE | Pierfrancesco Bellini, M. Buonopane, M. Montanelli, Paolo Nesi: Evaluating a Flexible Architecture for Distributed Control. ICECCS 1999: 66-76 |
34 | EE | Fabrizio Fioravanti, Paolo Nesi, F. Stortoni: Metrics for Controlling Effort During Adaptive Maintenance of Object-Oriented Systems. ICSM 1999: 483-492 |
33 | Pierfrancesco Bellini, Fabrizio Fioravanti, Paolo Nesi: Managing Music in Orchestras. IEEE Computer 32(9): 26-34 (1999) | |
32 | Mario Andres Bruno, Paolo Nesi: Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems. Information & Software Technology 41(1): 35-52 (1999) | |
31 | EE | Paolo Nesi, Emanuel Trucco: Guest Editorial: Special Issue on Real-Time Defect Detection. Real-Time Imaging 5(1): 1-2 (1999) |
1998 | ||
30 | EE | F. Butera, B. Fontanella, M. Perfetti, Paolo Nesi: Reengineering a Computerized Numerical Control Towards Object-Oriented. CSMR 1998: 224-227 |
29 | EE | Fabrizio Fioravanti, Paolo Nesi, Sandro Perlini: A Tool for Process and Product Assessment of C++ Applications. CSMR 1998: 89-95 |
28 | EE | Giacomo Bucci, Fabrizio Fioravanti, Paolo Nesi, Sandro Perlini: Metrics and Tool for System Assessment. ICECCS 1998: 36-46 |
27 | Fabrizio Fioravanti, Paolo Nesi, Sandro Perlini: Assessment of System Evolution Through Characterization. ICSE 1998: 456-459 | |
26 | EE | Paolo Nesi: Managing OO Projects Better. IEEE Software 15(4): 50-60 (1998) |
25 | EE | Paolo Nesi, T. Querci: Effort estimation and prediction of object-oriented systems. Journal of Systems and Software 42(1): 89-102 (1998) |
24 | EE | Paolo Nesi: Guest Editorial: Special Issue on Computer Visio Motion Analysis. Real-Time Imaging 4(1): 1 (1998) |
23 | EE | Antonio Baldassarre, Maurizio De Lucia, Paolo Nesi: Real-Time Detection of Cavitation for Hydraulic Turbomachines. Real-Time Imaging 4(6): 403-416 (1998) |
1997 | ||
22 | EE | Alessandro Fantechi, Paolo Nesi, E. Somma: Object-Oriented Analysis of COBOL. CSMR 1997: 157-164 |
21 | EE | Paolo Nesi: Year 2000. CSMR 1997: 93 |
20 | EE | Paolo Nesi: Guest Editorial. Real-Time Imaging 3(2): 69 (1997) |
1996 | ||
19 | EE | Riccardo Mattolini, Paolo Nesi: Using TILCO for Specifying Real-Time Systems. ICECCS 1996: 18- |
18 | EE | Alberto Del Bimbo, Paolo Nesi, Jorge L. C. Sanz: Optical flow computation using extended constraints. IEEE Transactions on Image Processing 5(5): 720-739 (1996) |
17 | EE | Paolo Nesi, Alberto Del Bimbo: A vision-based 3-D mouse. Int. J. Hum.-Comput. Stud. 44(1): 73-92 (1996) |
16 | EE | Paolo Nesi, Maurizio Campanai: Metric framework for object-oriented real-time systems specification languages. Journal of Systems and Software 34(1): 43-65 (1996) |
15 | EE | Paolo Nesi, R. Magnolfi: Tracking and Synthesizing Facial Motions with Dynamic Contours. Real-Time Imaging 2(2): 67-79 (1996) |
1995 | ||
14 | Paolo Nesi: Objective Software Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995, Proceedings Springer 1995 | |
13 | Paolo Nesi: Objective Quality, 1995. Objective Software Quality 1995: 1-9 | |
12 | EE | Paolo Nesi, Alberto Del Bimbo, D. Ben-Tzvi: A Robust Algorithm for Optical Flow Estimation. Computer Vision and Image Understanding 62(1): 59-68 (1995) |
11 | EE | Alberto Del Bimbo, Paolo Nesi, Jorge L. C. Sanz: Analysis of optical flow constraints. IEEE Transactions on Image Processing 4(4): 460-469 (1995) |
10 | Giacomo Bucci, Maurizio Campanai, Paolo Nesi: Tools for Specifying Real-Time Systems. Real-Time Systems 8(2-3): 117-172 (1995) | |
1994 | ||
9 | A. Borri, Giacomo Bucci, Paolo Nesi: A Robust Tracking of 3D Motion. ECCV (1) 1994: 181-188 | |
8 | Maurizio Campanai, Paolo Nesi: Supporting Object-Oriented Design with Metrics. TOOLS (13) 1994: 227-241 | |
1993 | ||
7 | EE | Alberto Del Bimbo, Maurizio Campanai, Paolo Nesi: A Three-Dimensional Iconic Environment for Image Database Querying. IEEE Trans. Software Eng. 19(10): 997-1011 (1993) |
6 | EE | Paolo Nesi: Variational approach to optical flow estimation managing discontinuities. Image Vision Comput. 11(7): 419-439 (1993) |
5 | EE | D. Ben-Tzvi, Alberto Del Bimbo, Paolo Nesi: Optical flow from constraint lines parametrization. Pattern Recognition 26(10): 1549-1561 (1993) |
1992 | ||
4 | Alberto Del Bimbo, Maurizio Campanai, Paolo Nesi: A 3D Visual Environment for Querying Image Databases. Advanced Visual Interfaces 1992: 12-25 | |
3 | EE | Alberto Del Bimbo, Paolo Nesi, Jorge L. C. Sanz: Estimation and Interpretation of Optical Flow Fields for Counting Moving Objects. MVA 1992: 209-214 |
2 | Maurizio Campanai, Alberto Del Bimbo, Paolo Nesi: Using 3D Spatial Relationships for Image Retrieval by Contents. VL 1992: 184-190 | |
1990 | ||
1 | EE | Vito Cappellini, Alberto Del Bimbo, Paolo Nesi: Object Motion Identification for Object Recognition. MVA 1990: 189-194 |