Paolo Nesi
Paolo Nesi
University of Florence, DINFO, DISIT Lab
Verified email at unifi.it - Homepage
Title
Cited by
Cited by
Year
Temporal logics for real-time system specification
P Bellini, R Mattolini, P Nesi
ACM Computing Surveys (CSUR) 32 (1), 12-42, 2000
2192000
Estimation and prediction metrics for adaptive maintenance effort of object-oriented systems
F Fioravanti, P Nesi
IEEE Transactions on software engineering 27 (12), 1062-1084, 2001
1432001
Variational approach to optical flow estimation managing discontinuities
P Nesi
Image and Vision Computing 11 (7), 419-439, 1993
1191993
Km4City ontology building vs data harvesting and cleaning for smart-city services
P Bellini, M Benigni, R Billero, P Nesi, N Rauch
Journal of Visual Languages & Computing 25 (6), 827-839, 2014
1052014
Tools for specifying real-time systems
G Bucci, M Campanai, P Nesi
Real-Time Systems 8 (2-3), 117-172, 1995
1021995
Effort estimation and prediction of object-oriented systems
P Nesi, T Querci
Journal of systems and software 42 (1), 89-102, 1998
981998
Optical flow computation using extended constraints
A Del Bimbo, P Nesi, JLC Sanz
IEEE transactions on image processing 5 (5), 720-739, 1996
911996
Comparing fault-proneness estimation models
P Bellini, I Bruno, P Nesi, D Rogai
10th IEEE International Conference on Engineering of Complex Computer …, 2005
822005
A study on fault-proneness detection of object-oriented systems
F Fioravanti, P Nesi
Proceedings Fifth European Conference on Software Maintenance and …, 2001
772001
A three-dimensional iconic environment for image database querying
A Del Bimbo, M Campanai, P Nesi
IEEE Transactions on Software Engineering 19 (10), 997-1011, 1993
751993
WEDELMUSIC format: An XML music notation format for emerging applications
P Bellini, P Nesi
Proceedings First International Conference on WEB Delivering of Music …, 2001
742001
Optical music sheet segmentation
P Bellini, I Bruno, P Nesi
Proceedings First International Conference on WEB Delivering of Music …, 2001
722001
Assessing optical music recognition tools
P Bellini, I Bruno, P Nesi
Computer Music Journal 31 (1), 68-93, 2007
662007
An interval logic for real-time system specification
R Mattolini, P Nesi
IEEE Transactions on Software Engineering 27 (3), 208-227, 2001
622001
A robust algorithm for optical flow estimation
P Nesi, A Del Bimbo, D Ben-Tzvi
Computer Vision and Image Understanding 62 (1), 59-68, 1995
621995
Analysis of optical flow constraints
A Del Bimbo, P Nesi, JLC Sanz
IEEE transactions on image processing 4 (4), 460-469, 1995
551995
A method and tool for assessing object-oriented projects and metrics management
F Fioravanti, P Nesi
Journal of Systems and Software 53 (2), 111-136, 2000
542000
Analysis and assessment of a knowledge based smart city architecture providing service APIs
C Badii, P Bellini, D Cenni, A Difino, P Nesi, M Paolucci
Future Generation Computer Systems 75, 14-29, 2017
522017
Cooperative visual manipulation of music notation
P Bellini, P Nesi, MB Spinu
ACM Transactions on Computer-Human Interaction (TOCHI) 9 (3), 194-237, 2002
512002
Managing music in orchestras
P Bellini, F Fioravanti, P Nesi
Computer 32 (9), 26-34, 1999
481999
The system can't perform the operation now. Try again later.
Articles 1–20