Search the dblp DataBase
Enrico Vicario :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alberto Del Bimbo , Enrico Vicario , Daniele Zingoni Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic. [Citation Graph (3, 14)][DBLP ] IEEE Trans. Knowl. Data Eng., 1995, v:7, n:4, pp:609-622 [Journal ] Alberto Del Bimbo , Enrico Vicario Weighting Spatial Relationships in Retrieval by Visual Contents. [Citation Graph (1, 0)][DBLP ] VDB, 1998, pp:277-292 [Conf ] Alberto Del Bimbo , Enrico Vicario , Daniele Zingoni Interactive Training of Virtual Agents. [Citation Graph (0, 0)][DBLP ] Advanced Visual Interfaces, 1994, pp:172-181 [Conf ] M. Lusini , Enrico Vicario Engineering the usability of visual formalisms: a case study in real time logics. [Citation Graph (0, 0)][DBLP ] AVI, 1998, pp:114-123 [Conf ] Giacomo Bucci , Andrea Fedeli , Luigi Sassoli , Enrico Vicario Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. [Citation Graph (0, 0)][DBLP ] ECRTS, 2003, pp:279-286 [Conf ] Fabrizio Baldini , Giacomo Bucci , Enrico Vicario A Tool Set for Modeling and Simulation of Robotic Workcells. [Citation Graph (0, 0)][DBLP ] FIRB-Perf, 2005, pp:106-114 [Conf ] Stefano Berretti , Alberto Del Bimbo , Enrico Vicario Managing the Complexity of Match in Retrieval by Spatial Arrangement. [Citation Graph (0, 0)][DBLP ] ICIAP, 1999, pp:1178-1183 [Conf ] Maurizio Baroni , Gianfranco Congiu , Alberto Del Bimbo , A. Evangelisti , Enrico Vicario Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations. [Citation Graph (0, 0)][DBLP ] ICIAP, 1995, pp:621-626 [Conf ] Enrico Vicario , Wen Xue He Weighted Walkthroughs in Retrieval by Content of Pictorial Data. [Citation Graph (0, 0)][DBLP ] ICIAP (2), 1997, pp:132-139 [Conf ] Stefano Berretti , Alberto Del Bimbo , Enrico Vicario A Look-Ahead Strategy for Graph Matching in Retrieval by Spatial Arrangement. [Citation Graph (0, 0)][DBLP ] IEEE International Conference on Multimedia and Expo (III), 2000, pp:1721-1724 [Conf ] Stefano Berretti , Alberto Del Bimbo , Enrico Vicario Weighting Spatial Arrangement of Colors in Content Based Image Retrieval. [Citation Graph (0, 0)][DBLP ] ICMCS, Vol. 1, 1999, pp:845-849 [Conf ] G. Arcangeli , Jürgen Assfalg , R. Tartaglia , Enrico Vicario A Virtual Environment for Construction Workers Instruction and Training. [Citation Graph (0, 0)][DBLP ] ICMCS, Vol. 2, 1999, pp:1123-1125 [Conf ] Jürgen Assfalg , C. Leveque , Marc Mautref , P. Neel , Libero Nigro , M. Philippou , J. Tanneau , Enrico Vicario , G. Zardetto Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project. [Citation Graph (0, 0)][DBLP ] ICMCS, Vol. 2, 1999, pp:1120-1122 [Conf ] Alberto Del Bimbo , Enrico Vicario , Pietro Pala Spatial Arrangement Of Color Flows For Video Retrieval. [Citation Graph (0, 0)][DBLP ] ICME, 2001, pp:- [Conf ] Stefano Berretti , Alberto Del Bimbo , Enrico Vicario The Computational Aspect of Retrieval by Spatial Arrangement. [Citation Graph (0, 0)][DBLP ] ICPR, 2000, pp:5047-5051 [Conf ] Giacomo Bucci , Andrea Fedeli , Enrico Vicario Predicting Timeliness of Reactive Systems under Flexible Scheduling. [Citation Graph (0, 0)][DBLP ] ISADS, 2003, pp:125-130 [Conf ] Giacomo Bucci , R. Piovosi , Luigi Sassoli , Enrico Vicario Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:13-22 [Conf ] Giacomo Bucci , Luigi Sassoli , Enrico Vicario ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. [Citation Graph (0, 0)][DBLP ] QEST, 2004, pp:70-79 [Conf ] Luigi Sassoli , Enrico Vicario Analysis of Real Time Systems through the ORIS Tool. [Citation Graph (0, 0)][DBLP ] QEST, 2006, pp:127-128 [Conf ] Giacomo Bucci , Andrea Fedeli , Enrico Vicario Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2003, pp:203-217 [Conf ] M. Lusini , Enrico Vicario Design and Evaluation of a Visual Formalism for Real Time Logics. [Citation Graph (0, 0)][DBLP ] Services and Visualization: Towards User-Friendly Design, 1998, pp:158-173 [Conf ] Alberto Del Bimbo , Gianfranco Congiu , Enrico Vicario Iconic Retrievial by Contents from Databases of Cardiological Sequences. [Citation Graph (0, 0)][DBLP ] VDB, 1995, pp:158-174 [Conf ] Alberto Del Bimbo , Luigi Rella , Enrico Vicario Visual Specification of Branching Time Temporal Logic. [Citation Graph (0, 0)][DBLP ] VL, 1995, pp:61-68 [Conf ] Alberto Del Bimbo , Enrico Vicario , Daniele Zingoni A Spatio-temporal Logic for Image Sequence Coding and Retrieval. [Citation Graph (0, 0)][DBLP ] VL, 1992, pp:228-230 [Conf ] Alberto Del Bimbo , Enrico Vicario , Daniele Zingoni Sequence Retrieval by Contents through Spatio Temporal Indexing. [Citation Graph (0, 0)][DBLP ] VL, 1993, pp:88-92 [Conf ] Alberto Del Bimbo , Enrico Vicario , Daniele Zingoni Visual Specification of Virtual Worlds. [Citation Graph (0, 0)][DBLP ] VL, 1993, pp:376-378 [Conf ] Alberto Del Bimbo , Enrico Vicario , Daniele Zingoni An Interactive Environement for the Visual Programming of Virtual Agents. [Citation Graph (0, 0)][DBLP ] VL, 1994, pp:145-152 [Conf ] Jacopo M. Corridoni , Alberto Del Bimbo , Silvio De Magistris , Enrico Vicario A Visual Language for Color-Based Painting Retrieval. [Citation Graph (0, 0)][DBLP ] VL, 1996, pp:68-75 [Conf ] Ricardo Camiciottoli , Jacopo M. Corridoni , Alberto Del Bimbo , Enrico Vicario , Dario Lucarella 3D Navigation of Geographic Data Sets. [Citation Graph (0, 0)][DBLP ] IEEE MultiMedia, 1998, v:5, n:2, pp:29-41 [Journal ] Jürgen Assfalg , Alberto Del Bimbo , Enrico Vicario Using 3D and Ancillary Media to Train Construction Workers. [Citation Graph (0, 0)][DBLP ] IEEE MultiMedia, 2002, v:9, n:2, pp:88-92 [Journal ] Alberto Del Bimbo , Enrico Vicario Visual Programming of Virtual Worlds Animation. [Citation Graph (0, 0)][DBLP ] IEEE MultiMedia, 1996, v:3, n:1, pp:40-49 [Journal ] Jacopo M. Corridoni , Alberto Del Bimbo , Enrico Vicario Image Retrieval by Color Semantics with Incomplete Knowledge. [Citation Graph (0, 0)][DBLP ] JASIS, 1998, v:49, n:3, pp:267-282 [Journal ] Stefano Berretti , Alberto Del Bimbo , Enrico Vicario Modelling Spatial Relationships between Colour Clusters. [Citation Graph (0, 0)][DBLP ] Pattern Anal. Appl., 2001, v:4, n:2-3, pp:83-92 [Journal ] Stefano Berretti , Alberto Del Bimbo , Enrico Vicario Efficient Matching and Indexing of Graph Models in Content-Based Retrieval. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Pattern Anal. Mach. Intell., 2001, v:23, n:10, pp:1089-1105 [Journal ] Stefano Berretti , Alberto Del Bimbo , Enrico Vicario Spatial arrangement of color in retrieval by visual similarity. [Citation Graph (0, 0)][DBLP ] Pattern Recognition, 2002, v:35, n:8, pp:1661-1674 [Journal ] Stefano Berretti , Alberto Del Bimbo , Enrico Vicario Weighted walkthroughs between extended entities for retrieval by spatial arrangement. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Multimedia, 2003, v:5, n:1, pp:52-70 [Journal ] Alessandro Braccini , Alberto Del Bimbo , Enrico Vicario Interprocess Communication Dependency on Network Load. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:4, pp:357-369 [Journal ] Giacomo Bucci , Andrea Fedeli , Luigi Sassoli , Enrico Vicario Timed State Space Analysis of Real-Time Preemptive Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2004, v:30, n:2, pp:97-111 [Journal ] Giacomo Bucci , Luigi Sassoli , Enrico Vicario Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2005, v:31, n:11, pp:913-927 [Journal ] Giacomo Bucci , Enrico Vicario Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1995, v:21, n:12, pp:969-992 [Journal ] Enrico Vicario Static Analysis and Dynamic Steering of Time-Dependent Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:8, pp:728-748 [Journal ] Alberto Del Bimbo , Enrico Vicario Specification by-Example of Virtual Agents Behavior. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Vis. Comput. Graph., 1995, v:1, n:4, pp:350-360 [Journal ] Alberto Del Bimbo , Enrico Vicario A Visual Formalism for Computational Tree Logic. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 1999, v:10, n:2, pp:165-187 [Journal ] Alberto Del Bimbo , Enrico Vicario , Daniele Zingoni A Spatial Logic for Symbolic Description of Image Contents. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 1994, v:5, n:3, pp:267-286 [Journal ] Enrico Vicario Engineering the Usability of a Visual Formalism for Real-time Temporal Logic. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2001, v:12, n:6, pp:573-599 [Journal ] Alberto Rugnone , Francesco Poli , Enrico Vicario , Chris D. Nugent , Elena Tamburini , Cristiano Paggetti A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring. [Citation Graph (0, 0)][DBLP ] ICOST, 2007, pp:217-225 [Conf ] A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. [Citation Graph (, )][DBLP ] Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. [Citation Graph (, )][DBLP ] Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. [Citation Graph (, )][DBLP ] An Ontological SW Architecture for the Development of Cooperative Web Portals. [Citation Graph (, )][DBLP ] An Incremental Approach to Software Reengineering Based on Object-Data Mapping. [Citation Graph (, )][DBLP ] Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. [Citation Graph (, )][DBLP ] Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. [Citation Graph (, )][DBLP ] A Tool Supporting Evaluation of Non-markovian Fault Trees. [Citation Graph (, )][DBLP ] Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. [Citation Graph (, )][DBLP ] Automatic Code Generation from Real-Time Systems Specifications. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.305secs