Author: John Howse

Publications

Co-authors

Gem Stapleton

7

Andrew Fish

9

John Taylor

12

Productive Colleagues

John Taylor

17

Andrew Fish

23

Philip T. Cox

30

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