Enrico Vicario

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3555	834
indeks-h	30	15
indeks-i10	74	21

220

110

165

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 22 45 62 78 84 82 66 86 77 99 96 129 110 128 149 130 141 156 155 140 137 149 159 151 127 160 154 162 207 23

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. HaverkortTilburg School of Humanities & Digital Sciences, Tilburg UniversityEmail yang diverifikasi di uvt.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	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	197	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
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	158	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	119	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	102	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	101	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	90	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	79	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	58	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	57	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	56	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
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
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	46	2022

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