Efficient matching and indexing of graph models in content-based retrieval S Berretti, A Del Bimbo, E Vicario IEEE Transactions on Pattern Analysis and Machine Intelligence 23 (10), 1089 …, 2001 | 295 | 2001 |
Symbolic description and visual querying of image sequences using spatio-temporal logic A Del Bimbo, E Vicario, D Zingoni IEEE transactions on knowledge and data engineering 7 (4), 609-622, 1995 | 196 | 1995 |
Compositional validation of time-critical systems using communicating time Petri nets G Bucci, E Vicario IEEE transactions on software engineering 21 (12), 969-992, 1995 | 171 | 1995 |
Static analysis and dynamic steering of time-dependent systems E Vicario IEEE transactions on software engineering 27 (8), 728-748, 2001 | 158 | 2001 |
Timed state space analysis of real-time preemptive systems G Bucci, A Fedeli, L Sassoli, E Vicario IEEE transactions on software engineering 30 (2), 97-111, 2004 | 157 | 2004 |
Transient analysis of non-Markovian models using stochastic state classes A Horváth, M Paolieri, L Ridi, E Vicario Performance Evaluation 69 (7-8), 315-335, 2012 | 115 | 2012 |
Using weighted spatial relationships in retrieval by visual contents A Del Bimbo, E Vicario Proceedings. IEEE Workshop on Content-Based Access of Image and Video …, 1998 | 100 | 1998 |
Using stochastic state classes in quantitative evaluation of dense-time reactive systems E Vicario, L Sassoli, L Carnevali IEEE Transactions on Software Engineering 35 (5), 703-719, 2009 | 98 | 2009 |
Oris: a tool for modeling, verification and evaluation of real-time systems G Bucci, L Carnevali, L Ridi, E Vicario International journal on software tools for technology transfer 12, 391-403, 2010 | 89 | 2010 |
Weighted walkthroughs between extended entities for retrieval by spatial arrangement S Berretti, A Del Bimbo, E Vicario IEEE Transactions on Multimedia 5 (1), 52-70, 2003 | 78 | 2003 |
A spatial logic for symbolic description of image contents A Del Bimbo, E Vicario, D Zingoni Journal of Visual Languages & Computing 5 (3), 267-286, 1994 | 72 | 1994 |
Using temporal logic and model checking in automated recognition of human activities for ambient-assisted living T Magherini, A Fantechi, CD Nugent, E Vicario IEEE Transactions on Human-Machine Systems 43 (6), 509-521, 2013 | 68 | 2013 |
Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets G Bucci, L Sassoli, E Vicario IEEE Transactions on Software Engineering 31 (11), 913-927, 2005 | 58 | 2005 |
State-density functions over DBM domains in the analysis of non-Markovian models L Carnevali, L Grassi, E Vicario IEEE Transactions on Software Engineering 35 (2), 178-194, 2008 | 54 | 2008 |
Image retrieval by color semantics with incomplete knowledge JM Corridoni, A Del Bimbo, E Vicario Journal of the American Society for Information Science 49 (3), 267-282, 1998 | 54 | 1998 |
Modeling flexible real time systems with preemptive time Petri nets G Bucci, A Fedeli, L Sassoli, E Vicario 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., 279-286, 2003 | 53 | 2003 |
Ontologies and Bayesian networks in medical diagnosis G Bucci, V Sandrucci, E Vicario 2011 44th Hawaii International Conference on System Sciences, 1-8, 2011 | 48 | 2011 |
Compositional verification for hierarchical scheduling of real-time systems L Carnevali, A Pinzuti, E Vicario IEEE Transactions on Software Engineering 39 (5), 638-657, 2012 | 47 | 2012 |
Unsupervised human activity recognition using the clustering approach: A review P Ariza Colpas, E Vicario, E De-La-Hoz-Franco, M Pineres-Melo, ... Sensors 20 (9), 2702, 2020 | 46 | 2020 |
Specification by-example of virtual agents behavior A Del Bimbo, E Vicario IEEE Transactions on Visualization and Computer Graphics 1 (4), 350-360, 1995 | 44 | 1995 |