VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing

 EDIT

References from this conference (2007)

The following articles are from "VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing":

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

Articles

Cox, Philip T., Fish, Andrew and Howse, John (2007): Introduction. In: Cox, Philip T., Fish, Andrew and Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. . Available online

p. 1-12

Barker-Plummer, Dave and Swoboda, Nik (2007): A Sequent Based Logic for Coincidence Grids. In: Cox, Philip T., Fish, Andrew and Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 1-12. Available online

p. 13-26

Nagy, Benedek and Vályi, Sándor (2007): Visual Reasoning by Generalized Interval-values and Interval Temporal Logic. In: Cox, Philip T., Fish, Andrew and Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 13-26. Available online

p. 27-39

Delaney, Aidan and Stapleton, Gem (2007): Spider Diagrams of Order. In: Cox, Philip T., Fish, Andrew and Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 27-39. Available online

p. 41-54

Clark, Robin (2007): Fast Zone Discrimination. In: Cox, Philip T., Fish, Andrew and Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 41-54. Available online

p. 55-71

Dau, Frithjof and Eklund, Peter W. (2007): A Peirce Style Calculus for ALC. In: Cox, Philip T., Fish, Andrew and Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 55-71. Available online

p. 71-83

Störrle, Harald (2007): A PROLOG-based Approach to Representing and Querying Software Engineering Models. In: Cox, Philip T., Fish, Andrew and Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 71-83. Available online

p. 85-96

Berger, Sacha, Bry, Francois, Furche, Tim and Wieser, Christoph (2007): Visual Languages: A Matter of Style. In: Cox, Philip T., Fish, Andrew and Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 85-96. Available online

p. 97-109

Gurr, Corin A. (2007): Visualising a Logic of Dependability Arguments. In: Cox, Philip T., Fish, Andrew and Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 97-109. Available online

Changes to this page (conference)

17 Jun 2009: Added
17 Jun 2009: Added