Enrico Vicario

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3570	855
indeks-h	30	15
indeks-i10	75	21

220

110

165

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 22 45 63 74 85 78 67 84 77 97 96 131 110 127 149 138 135 154 156 139 139 144 163 153 127 157 150 164 213 41

Akses publik

Lihat semua

7 artikel

2 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Laura CarnevaliAssociate Professor, Department of Information Engineering, University of FlorenceEmail yang diverifikasi di unifi.it
Alberto Del BimboProfessor of Computer Engineering, Università di Firenze, ItalyEmail yang diverifikasi di unifi.it
Giacomo BucciProfessor Computer Science and Engineering University of Florence ItalyEmail yang diverifikasi di unifi.it
Stefano BerrettiProfessor of Computer Engineering, University of Firenze, ItalyEmail yang diverifikasi di unifi.it
Andras HorvathComputer Science Department, University of Turin, ItalyEmail yang diverifikasi di di.unito.it
Marco BiagiUniversity of FlorenceEmail yang diverifikasi di unifi.it
Chris NugentUlster UniversityEmail yang diverifikasi di ulster.ac.uk
A. FantechiUniversità di FirenzeEmail yang diverifikasi di unifi.it
Mark DonnellyUniversity of UlsterEmail yang diverifikasi di ulster.ac.uk
Fabio CastelliUniversità degli studi di FirenzeEmail yang diverifikasi di unifi.it
Chiara Arrighipost-doc research fellow, University of Florence, ItalyEmail yang diverifikasi di dicea.unifi.it
Federico CrucianiSenior Research Fellow, School of Computing, Ulster UniversityEmail yang diverifikasi di ulster.ac.uk
Sara FioravantiUniversity of Florence (Italy)Email yang diverifikasi di unifi.it
Hamed GhasemiehPhD, University of TwenteEmail yang diverifikasi di utwente.nl
Alberto AvritzereSulabSolutionsEmail yang diverifikasi di esulabsolutions.com
Daniel Sadoc MenascheFederal University of Rio de Janeiro (UFRJ), Institute of Computing (IC), BrazilEmail yang diverifikasi di dcc.ufrj.br
Boudewijn R. HaverkortUniversity of TwenteEmail yang diverifikasi di utwente.nl
Anne KoziolekProfessor, Karlsruhe Institute of Technology, GermanyEmail yang diverifikasi di kit.edu
Lucia HappeKarlsruhe Institue of TechnologyEmail yang diverifikasi di kit.edu
Anne RemkeUniversität MünsterEmail yang diverifikasi di wwu.de

Ikuti

Enrico Vicario

professor, University of Florence, Italy

Email yang diverifikasi di unifi.it - Beranda

software engineering quantitative evaluation stochastic models formal methods


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	293	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	198	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	164	1995
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	159	2004
Static analysis and dynamic steering of time-dependent systems E Vicario IEEE transactions on software engineering 27 (8), 728-748, 2001	157	2001
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	121	2012
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	104	2009
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	99	1998
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	91	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	80	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	71	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	59	2005
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	58	2020
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	56	2008
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	55	2003
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
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	49	2012
Human activity recognition data analysis: History, evolutions, and new trends PP Ariza-Colpas, E Vicario, AI Oviedo-Carrascal, S Butt Aziz, ... Sensors 22 (9), 3401, 2022	48	2022
Survivability evaluation of gas, water and electricity infrastructures A Avritzer, L Carnevali, H Ghasemieh, L Happe, BR Haverkort, A Koziolek, ... Electronic Notes in Theoretical Computer Science 310, 5-25, 2015	48	2015

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama