Author: Enrico Vicario
Publications
Co-authors
Productive Colleagues
Publications
Vicario, Enrico (2001): Engineering the Usability of a Visual Formalism for Real-time Temporal Logic. In J. Vis. Lang. Comput., 12 (6) pp. 573-599.
Bimbo, Alberto Del, Vicario, Enrico (1999): A Visual Formalism for Computational Tree Logic. In J. Vis. Lang. Comput., 10 (2) pp. 165-187.
Corridoni, Jacopo M., Bimbo, Alberto Del, Vicario, Enrico (1998): Image Retrieval by Color Semantics with Incomplete Knowledge. In JASIST - Journal of the American Society for Information Science and Technology, 49 (3) pp. 267-282.
Bimbo, Alberto Del, Vicario, Enrico, Zingoni, Daniele (1994): A Spatial Logic for Symbolic Description of Image Contents. In J. Vis. Lang. Comput., 5 (3) pp. 267-286.
Bimbo, Alberto Del, Rella, Luigi, Vicario, Enrico (1995): Visual Specification of Branching Time Temporal Logic. In: VL 1995 , 1995, . pp. 61-68. https://csdl.computer.org/comp/proceedings/vl/1995/7045/00/70450061abs.htm
Bimbo, Alberto Del, Vicario, Enrico, Zingoni, Daniele (1992): A Spatio-temporal Logic for Image Sequence Coding and Retrieval. In: Proceedings of the 1992 IEEE Workshop on Visual Languages September 15-18, 1992, Seattle, Washington, USA. pp. 228-230.
Bimbo, Alberto Del, Vicario, Enrico, Zingoni, Daniele (1993): Sequence Retrieval by Contents through Spatio Temporal Indexing. In: Proceedings of the 1993 IEEE Workshop on Visual Languages August 24-27, 1993, Bergen, Norway. pp. 88-92.
Bimbo, Alberto Del, Vicario, Enrico, Zingoni, Daniele (1993): Visual Specification of Virtual Worlds. In: Proceedings of the 1993 IEEE Workshop on Visual Languages August 24-27, 1993, Bergen, Norway. pp. 376-378.
Bimbo, Alberto Del, Vicario, Enrico, Zingoni, Daniele (1994): An Interactive Environement for the Visual Programming of Virtual Agents. In: VL 1994 , 1994, . pp. 145-152.
Corridoni, Jacopo M., Bimbo, Alberto Del, Magistris, Silvio De, Vicario, Enrico (1996): A Visual Language for Color-Based Painting Retrieval. In: VL 1996 , 1996, . pp. 68-75.
Bimbo, Alberto Del, Vicario, Enrico, Zingoni, Daniele (1994): Interactive Training of Virtual Agents. In: Advanced Visual Interfaces 1994 , 1994, . pp. 172-181. https://doi.acm.org/10.1145/192309.192345
Lusini, M., Vicario, Enrico (1998): Engineering the usability of visual formalisms: a case study in real time logics. In: Catarci, Tiziana, Costabile, Maria Francesca, Santucci, Giuseppe, Tarantino, Laura (eds.) AVI 1998 - Proceedings of the working conference on Advanced Visual Interfaces May 24 - 27, 1998, LAquila, Italy. pp. 114-123. https://doi.acm.org/10.1145/948496.948513