The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Enrico Vicario: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Alberto Del Bimbo, Enrico Vicario
    Weighting Spatial Relationships in Retrieval by Visual Contents. [Citation Graph (1, 0)][DBLP]
    VDB, 1998, pp:277-292 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Alberto Del Bimbo, Enrico Vicario, Pietro Pala
    Spatial Arrangement Of Color Flows For Video Retrieval. [Citation Graph (0, 0)][DBLP]
    ICME, 2001, pp:- [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Luigi Sassoli, Enrico Vicario
    Analysis of Real Time Systems through the ORIS Tool. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:127-128 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni
    Visual Specification of Virtual Worlds. [Citation Graph (0, 0)][DBLP]
    VL, 1993, pp:376-378 [Conf]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]

  47. A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. [Citation Graph (, )][DBLP]


  48. Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. [Citation Graph (, )][DBLP]


  49. Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. [Citation Graph (, )][DBLP]


  50. An Ontological SW Architecture for the Development of Cooperative Web Portals. [Citation Graph (, )][DBLP]


  51. An Incremental Approach to Software Reengineering Based on Object-Data Mapping. [Citation Graph (, )][DBLP]


  52. Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. [Citation Graph (, )][DBLP]


  53. Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. [Citation Graph (, )][DBLP]


  54. A Tool Supporting Evaluation of Non-markovian Fault Trees. [Citation Graph (, )][DBLP]


  55. Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. [Citation Graph (, )][DBLP]


  56. Automatic Code Generation from Real-Time Systems Specifications. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002