Author: John Howse
Publication Overview
Publication period start: 2010
Number of co-authors: 18
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Cox,
Philip T.,
Fish,
Andrew,
Howse,
John
(2011):
Special Issue on Visual Languages and Logic: Guest editors' introduction.
In
J. Vis. Lang. Comput.,
22
(1)
pp. 1-2.
https://dx.doi.org/10.1016/j.jvlc.2010.12.002
Stapleton,
Gem,
Taylor,
John,
Thompson,
Simon J.,
Howse,
John
(2009):
The expressiveness of spider diagrams augmented with constants.
In
J. Vis. Lang. Comput.,
20
(1)
pp. 30-49.
https://dx.doi.org/10.1016/j.jvlc.2008.01.005
Flower,
Jean,
Fish,
Andrew,
Howse,
John
(2008):
Euler diagram generation.
In
J. Vis. Lang. Comput.,
19
(6)
pp. 675-694.
https://dx.doi.org/10.1016/j.jvlc.2008.01.004
Fish,
Andrew,
Flower,
Jean,
Howse,
John
(2005):
The semantics of augmented constraint diagrams.
In
J. Vis. Lang. Comput.,
16
(6)
pp. 541-573.
https://dx.doi.org/10.1016/j.jvlc.2005.03.001
Howse,
John
(2003):
The Iconic Logic of Peirce's Graphs: Sun-Joo Shin MIT Press, Cambridge, MA, 2002 ISBN: 0-2.
In
J. Vis. Lang. Comput.,
14
(1)
pp. 119-121.
https://dx.doi.org/10.1016/S1045-926X(02)00075-7
Gil,
Joseph,
Howse,
John,
Tulchinsky,
Elena
(2002):
Positive Semantics of Projections in Venn-Euler Diagrams.
In
J. Vis. Lang. Comput.,
13
(2)
pp. 197-227.
https://www.idealibrary.com/links/doi/10.1006/jvlc.2000.0199
Howse,
John,
Molina,
Fernando,
Taylor,
John,
Kent,
Stuart,
Gil,
Joseph
(2001):
Spider Diagrams: A Diagrammatic Reasoning System.
In
J. Vis. Lang. Comput.,
12
(3)
pp. 299-324.
Howse,
John,
Molina,
Fernando,
Shin,
Sun-Joo,
Taylor,
John
(2002):
On Diagram Tokens and Types.
In:
Hegarty,
Mary,
Meyer,
Bernd,
Narayanan,
N. Hari
(eds.)
Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference
April 18-20,
2002,
Callaway Gardens, GA, USA.
pp. 146-160.
https://link.springer.de/link/service/series/0558/bibs/2317/23170146.htm
Howse,
John,
Molina,
Fernando,
Taylor,
John
(2000):
On the Completeness and Expressiveness of Spider Diagram Systems.
In:
Anderson,
Michael,
Cheng,
Peter C-H.,
Haarslev,
Volker
(eds.)
Diagrams 2000 - Theory and Application of Diagrams - First International Conference
September 1-3,
2000,
Edinburgh, Scotland, UK.
pp. 26-41.
https://link.springer.de/link/service/series/0558/bibs/1889/18890026.htm
Howse,
John,
Stapleton,
Gemma,
Flower,
Jean,
Taylor,
John
(2002):
Corresponding Regions in Euler Diagrams.
In:
Hegarty,
Mary,
Meyer,
Bernd,
Narayanan,
N. Hari
(eds.)
Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference
April 18-20,
2002,
Callaway Gardens, GA, USA.
pp. 76-90.
https://link.springer.de/link/service/series/0558/bibs/2317/23170076.htm
John,
Chris,
Fish,
Andrew,
Howse,
John,
Taylor,
John
(2006):
Exploring the Notion of \'Clutter\' in Euler Diagrams.
In:
Barker-Plummer,
Dave,
Cox,
Richard,
Swoboda,
Nik
(eds.)
Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference
June 28-30,
2006,
Stanford, CA, USA.
pp. 267-282.
https://dx.doi.org/10.1007/11783183_36
Stapleton,
Gem,
Howse,
John,
Lee,
John
(eds.)
Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference
September 19-21,
2008,
Herrsching, Germany.
Fish,
Andrew,
Howse,
John
(2004):
Towards a Default Reading for Constraint Diagrams.
In:
Blackwell,
Alan,
Marriott,
Kim,
Shimojima,
Atsushi
(eds.)
Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference
March 22-24,
2004,
Cambridge, UK.
pp. 51-65.
https://link.springer.de/link/service/series/0558/bibs/2980/29800051.htm
Flower,
Jean,
Howse,
John
(2002):
Generating Euler Diagrams.
In:
Hegarty,
Mary,
Meyer,
Bernd,
Narayanan,
N. Hari
(eds.)
Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference
April 18-20,
2002,
Callaway Gardens, GA, USA.
pp. 61-75.
https://link.springer.de/link/service/series/0558/bibs/2317/23170061.htm
Gil,
Joseph,
Howse,
John,
Tulchinsky,
Elena
(2000):
Positive Semantics of Projections in Venn-Euler Diagrams.
In:
Anderson,
Michael,
Cheng,
Peter C-H.,
Haarslev,
Volker
(eds.)
Diagrams 2000 - Theory and Application of Diagrams - First International Conference
September 1-3,
2000,
Edinburgh, Scotland, UK.
pp. 7-25.
https://link.springer.de/link/service/series/0558/bibs/1889/18890007.htm
Stapleton,
Gem,
Howse,
John,
Toller,
Kate
(2006):
Generalizing Spiders.
In:
Barker-Plummer,
Dave,
Cox,
Richard,
Swoboda,
Nik
(eds.)
Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference
June 28-30,
2006,
Stanford, CA, USA.
pp. 148-150.
https://dx.doi.org/10.1007/11783183_19
Stapleton,
Gem,
Howse,
John,
Taylor,
John,
Thompson,
Simon
(2004):
What Can Spider Diagrams Say?.
In:
Blackwell,
Alan,
Marriott,
Kim,
Shimojima,
Atsushi
(eds.)
Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference
March 22-24,
2004,
Cambridge, UK.
pp. 112-127.
https://link.springer.de/link/service/series/0558/bibs/2980/29800112.htm
Fish,
Andrew,
Flower,
Jean,
Howse,
John
(2003):
A reading algorithm for constraint diagrams.
In:
HCC 2003 - IEEE Symposium on Human Centric Computing Languages and Environments
28-31 October,
2003,
Auckland, New Zealand.
pp. 161-168.
Flower,
Jean,
Howse,
John,
Taylor,
John,
Kent,
Stuart
(2002):
A Visual Framework for Modelling with Heterogeneous Notations.
In:
HCC 2002 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments
3-6 September,
2002,
Arlington, VA, USA.
pp. 71-73.
https://csdl.computer.org/comp/proceedings/hcc/2002/1644/00/16440071abs.htm
Gil,
Joseph,
Howse,
John,
Kent,
Stuart
(2001):
Towards a Formalization of Constraint Diagrams.
In:
HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments
September 5-7,
2001,
Stresa, Italy.
pp. 72-.
https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740072abs.htm
Gil,
Joseph,
Howse,
John,
Kent,
Stuart
(1999):
Formalizing Spider Diagrams.
In:
VL 1999
,
1999,
.
pp. 130-137.
https://csdl.computer.org/comp/proceedings/vl/1999/0216/00/02160130abs.htm
Gil,
Joseph,
Howse,
John,
Kent,
Stuart,
Taylor,
John
(2000):
Projections in Venn-Euler Diagrams.
In:
VL 2000
,
2000,
.
pp. 119-126.
https://csdl.computer.org/comp/proceedings/vl/2000/0840/00/08400119abs.htm
Howse,
John,
Molina,
Fernando,
Taylor,
John
(2000):
SD2: A Sound and Complete Diagrammatic Reasoning System.
In:
VL 2000
,
2000,
.
pp. 127-134.
https://csdl.computer.org/comp/proceedings/vl/2000/0840/00/08400127abs.htm
Howse,
John,
Molina,
Fernando,
Taylor,
John,
Kent,
Stuart
(1999):
Reasoning with Spider Diagrams.
In:
VL 1999
,
1999,
.
pp. 138-.
https://csdl.computer.org/comp/proceedings/vl/1999/0216/00/02160138abs.htm
Stapleton,
Gem,
Howse,
John,
Taylor,
John,
Thompson,
Simon
(2004):
The Expressiveness of Spider Diagrams Augmented with Constants.
In:
VL-HCC 2004 - IEEE Symposium on Visual Languages and Human-Centric Computing
26-29 September,
2004,
Rome, Italy.
pp. 91-98.
https://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.57
Cox,
Philip T.,
Fish,
Andrew,
Howse,
John
(2007):
Visual Languages and Logic.
In:
VL-HCC 2007 - IEEE Symposium on Visual Languages and Human-Centric Computing
23-27 September,
2007,
Coeur dAlene, Idaho, USA.
pp. 3.
https://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.60
Cox,
Philip T.,
Fish,
Andrew,
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.
Cox,
Philip T.,
Fish,
Andrew,
Howse,
John
(2007):
Introduction.
In:
Cox,
Philip T.,
Fish,
Andrew,
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.
https://ceur-ws.org/Vol-274/VLL07/preface.pdf
Howse,
John,
Rodgers,
Peter,
Stapleton,
Gem
(2009):
Changing euler diagram properties by edge transformation of euler dual graphs.
In:
IEEE Symposium on Visual Languages and Human-Centric Computing - VL/HCC 2009
20-24 September,
2009,
Corvallis, OR, USA.
pp. 177-184.
https://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295268
Rodgers,
Peter,
Stapleton,
Gem,
Howse,
John,
Zhang,
Leishi
(2010):
Euler Graph Transformations for Euler Diagram Layout.
In:
Hundhausen,
Christopher D.,
Pietriga,
Emmanuel,
Diaz,
Paloma,
Rosson,
Mary Beth
(eds.)
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010
21-25 September 2010,
2010,
Leganés-Madrid, Spain.
pp. 111-118.
https://dx.doi.org/10.1109/VLHCC.2010.24