Enrico Vicario

Publications by Enrico Vicario (bibliography)

-- Choose Citation Style -- Standard format APA format MLA formatBibTex formatEndNote/Refer format what's this?

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 and 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 and 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.

Lusini, M. and Vicario, Enrico (1998): Engineering the usability of visual formalisms: a case study in real time logics. In: Catarci, Tiziana, Costabile, Maria Francesca, Santucci, Giuseppe and Tarantino, Laura (eds.) AVI 1998 - Proceedings of the working conference on Advanced Visual Interfaces May 24 - 27, 1998, LAquila, Italy. pp. 114-123.

Corridoni, Jacopo M., Bimbo, Alberto Del, Magistris, Silvio De and Vicario, Enrico (1996): A Visual Language for Color-Based Painting Retrieval. In: VL 1996 1996. pp. 68-75.

Bimbo, Alberto Del, Rella, Luigi and Vicario, Enrico (1995): Visual Specification of Branching Time Temporal Logic. In: VL 1995 1995. pp. 61-68.

Bimbo, Alberto Del, Vicario, Enrico and Zingoni, Daniele (1994): An Interactive Environement for the Visual Programming of Virtual Agents. In: VL 1994 1994. pp. 145-152.

Bimbo, Alberto Del, Vicario, Enrico and Zingoni, Daniele (1994): Interactive Training of Virtual Agents. In: Advanced Visual Interfaces 1994 1994. pp. 172-181.

Bimbo, Alberto Del, Vicario, Enrico and 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, Vicario, Enrico and 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 and 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 and 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.

Changes to this page (author)

14 Apr 2011: Added
14 Apr 2011: Added