| 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 |
