Concepedia

Enrico Vicario

EV

48

Publications

1.9K

Citations

24

H-Index

1994

Active since

Affiliations

University of Florence(Current)

University of Ulster

Enrico Vicario is an author at University of Florence specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationComputer EngineeringVerificationImage AnalysisReal-time SystemsData Science

Publications per year

1994–2024

48

Publications

48

Efficient matching and indexing of graph models in content-based retrieval

Stefano Berretti, Alberto Del Bimbo, Enrico Vicario · IEEE Transactions on Pattern Analysis and Machine Intelligence · 2001 · 221 citations · Full text

Spatial Entities, Engineering, Image Retrieval +23

Symbolic description and visual querying of image sequences using spatio-temporal logic

Alberto Del Bimbo, Enrico Vicario, D. Zingoni · IEEE Transactions on Knowledge and Data Engineering · 1995 · 142 citations

Engineering, Image Retrieval, Image Database +21

Static analysis and dynamic steering of time-dependent systems

Enrico Vicario · IEEE Transactions on Software Engineering · 2001 · 116 citations

Engineering, Reachability Problem, Verification +21

Timed state space analysis of real-time preemptive systems

Giacomo Bucci, A. Fedeli, L. Sassoli et al. · IEEE Transactions on Software Engineering · 2004 · 102 citations

Petri Net, Engineering, Modeling Notation +18

Compositional validation of time-critical systems using communicating time Petri nets

Giacomo Bucci, Enrico Vicario · IEEE Transactions on Software Engineering · 1995 · 99 citations

Petri Net, Engineering, Verification +21

Rows per page

1–5 of 48