Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Book section | Conference or workshop item

Number of items: 45.

Article

Blake, Andrew and Stapleton, Gem and Rodgers, Peter and Howse, John (2015) The Impact of Topological and Graphical Choices on the Perception of Euler Diagrams. Information Sciences, 330 . pp. 455-482. ISSN 0020-0255. E-ISSN 1872-6291. (doi:10.1016/j.ins.2015.05.020) (Full text available)

Preview

Rodgers, Peter and Stapleton, Gem and Flower, Jean and Howse, John (2014) Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets. IEEE Transactions on Visualization and Computer Graphics, 20 (1). pp. 56-69. ISSN 1077-2626. (doi:10.1109/TVCG.2013.104) (Full text available)

Preview

Stapleton, Gem and Flower, Jean and Rodgers, Peter and Howse, John (2012) Automatically Drawing Euler Diagrams with Circles. Journal of Visual Languages and Computing, 23 (3). pp. 163-193. (doi:10.1016/j.jvlc.2012.02.001) (Full text available)

Preview

Stapleton, Gem and Rodgers, Peter and Howse, John (2011) A General Method for Drawing Area-Proportional Euler Diagrams. Journal of Visual Languages and Computing, 22 (6). pp. 182-196. (doi:10.1016/j.jvlc.2011.07.001) (Full text available)

Preview

Stapleton, Gem and Zhang, Leishi and Howse, John and Rodgers, Peter (2011) Drawing Euler Diagrams with Circles: The Theory of Piercings. IEEE Transactions on Visualization and Computer Graphics, 17 (7). pp. 182-196. (doi:10.1109/TVCG.2010.119) (Full text available)

Preview

Stapleton, Gem and Rodgers, Peter and Howse, John and Zhang, Leishi (2011) Inductively Generating Euler Diagrams. Transactions on Visualization and Computer Graphics, 16 (1). pp. 182-196. (doi:10.1109/TVCG.2010.28) (Full text available)

Preview

Stapleton, Gem and Howse, John and Rodgers, Peter (2010) A Graph Theoretic Approach to General Euler Diagram Drawing. Theoretical Computer Science, 411 (1). pp. 182-196. ISSN 0304-3975. (doi:10.1016/j.tcs.2009.09.005) (Full text available)

Preview

Stapleton, Gem and Taylor, John and Thompson, Simon and Howse, John (2009) The expressiveness of spider diagrams augmented with constants. Journal of Visual Languages and Computing, 20 . pp. 30-49. (doi:10.1016/j.jvlc.2008.01.005) (Full text available)

Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X. (doi:10.1093/logcom/14.6.857) (Full text available)

Preview

Howse, John and Molina, Fernando and Taylor, John and Kent, Stuart and Gil, Joseph (2001) Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X . (doi:10.1006/jvlc.2000.0210) (Full text available)

Preview

Book section

Stapleton, Gem and Howse, John and Thompson, Simon and Taylor, John and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhauser, pp. 101-133. ISBN 9783034805995. E-ISBN 9783034806008. (doi:10.1007/978-3-0348-0600-8_7) (Full text available)

Preview

Thompson, Simon and Howse, John and Taylor, John and Stapleton, Gem and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhaüser, pp. 101-133. ISBN 9783034805995. (doi:10.1007/978-3-0348-0600-8_7) (Full text available)

Preview

Conference or workshop item

Blake, Andrew and Stapleton, Gem and Rodgers, Peter and Cheek, Liz and Howse, John (2014) The Impact of Shape on the Perception of Euler Diagrams. In: Diagrammatic Representation and Inference. 8th International Conference (Diagrams 2014), July 28 - August 1, 2014, Melbourne, VIC, Australia. (doi:10.1007/978-3-662-44043-8_16) (Full text available)

Preview

Blake, Andrew and Stapleton, Gem and Rodgers, Peter and Howse, John (2014) How Should We Use Colour in Euler Diagrams? In: 7th International Symposium on Visual Information Communication and Interaction (Vinci'14), 5-8 August 2014, Sydney, Australia. (doi:10.1145/2636240.2636838) (Full text available)

Preview

Blake, Andrew and Stapleton, Gem and Rodgers, Peter and Cheek, Liz and Howse, John (2013) Improving User Comprehension of Euler Diagrams. In: IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC) 2013, September 15–19, 2013, San Jose, CA, USA. (doi:10.1109/VLHCC.2013.6645262) (Full text available)

Preview

Blake, Andrew and Stapleton, Gem and Rodgers, Peter and Cheek, Liz and Howse, John (2012) Does the Orientation of an Euler Diagram Affect User Comprehension? In: Proceedings of the 18th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (VLC 2012). (Full text available)

Preview

Rodgers, Peter and Stapleton, Gem and Howse, John and Zhang, Leishi (2010) Euler Graph Transformations for Euler Diagram Layout. In: IEEE Symposium on Visual Languages and Human Centric Computing 2010. (Full text available)

Preview

Rodgers, Peter and Flower, Jean and Stapleton, Gem and Howse, John (2010) Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. In: Diagrams 2010. (Full text available)

Preview

Stapleton, Gem and Zhang, Leishi and Howse, John and Rodgers, Peter (2010) Drawing Euler Diagrams with Circles. In: Diagrams 2010. (Full text available)

Preview

Howse, John and Rodgers, Peter and 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). (Full text available)

Preview

Rodgers, Peter and Flower, Jean and Stapleton, Gem and Howse, John (2009) Some Results for Drawing Area Proportional Venn3 With Convex Curves. In: 13th International Conference Information Visualisation (IV09). (Full text available)

Preview

Stapleton, Gem and Howse, John and Rodgers, Peter and Zhang, Leishi (2008) Generating Euler Diagrams from Existing Layouts. In: Proceedings of Layout of (Software) Engineering Diagrams. (Full text available)

Preview

Delaney, Aidan and Taylor, John and Thompson, Simon (2008) Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. In: Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Sep 19-21, 2008, Herrsching, Germany. (doi:10.1007/978-3-540-87730-1<sub>1</sub>8) (Full text available)

Preview

Stapleton, Gem and Rodgers, Peter and Howse, John and Taylor, John (2007) Properties of Euler Diagrams. In: Fish, Andrew and Knapp, A. and Storrle, H., eds. Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007). Electronic communications of the EASST, 7 (Volume). EASST ISBN 1863-2122. (Full text available)

Preview

Stapleton, Gem and Thompson, Simon and Fish, Andrew and Howse, John and Taylor, John (2005) A New Language for the Visualization of Logic and reasoning. In: Proceedings of the 2005 International Workshop on Visual Languages and Computing. (Full text available)

Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams Augmented with Constants. In: Visual Languages and Human Centric Computing, 2004 IEEE Symposium on. IEEE pp. 90-98. ISBN 0-7803-8696-5. (doi:10.1109/VLHCC.2004.57) (Full text available)

Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) What Can Spider Diagrams Say? In: Blackwell, Alan and Marriott, Kim and Shimojima, Atsushi, eds. Diagrammatic Representation and Inference. Lecture Notes in Computer Science, 2980. Springer pp. 179-186. ISBN 3-540-21268-X. (doi:10.1007/b95854) (Full text available)

Preview

Flower, Jean and Howse, John and Kent, Stuart and Taylor, John (2002) A Visual Framework for Modelling with Heterogeneous Notations. In: IEE Symposium on Human Centric Computing Languages and Environments, Sept. 3-6, 2002, Arlington, VA, . (doi:10.1109/HCC.2002.1046350) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Howse, John (2002) Constraing Trees. In: Clark, Anthony and Warmer, Jos, eds. Object Modeling with the OCL. LNCS 2263, 2263/2002. Springer-Verlag, Berlin pp. 427-430. ISBN 978-3-540-43169-5. (doi:10.1007/3-540-45669-4_12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gil, Joseph and Howse, John and Kent, Stuart (2001) Towards a Formalization of Constraint Diagrams. In: Proceedings of IEEE Symposia on Human-Centric Computing. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gill, Jas and Howse, John and Kent, Stuart and Taylor, John (2000) Projections in Venn-Euler Diagrams. In: Proc. IEEE Symposium on Visual Languages (VL2000), 09/10/2000 - 09/13/2000, Seattle, WA, USA. (doi:10.1109/VL.2000.874375) (Full text available)

Preview

Gil, Joseph and Howse, John and Kent, Stuart (1999) Constraint Diagrams: A Step Beyond UML. In: Technology of Object-Oriented Languages and Systems (TOOLS USA'99), August 01-05, 1999, Santa Barbara, California , USA. (doi:10.1109/TOOLS.1999.10066) (Full text available)

Preview

Gil, Joseph and Howse, John and Kent, Stuart (1999) Formalizing Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press pp. 130-137. ISBN 0-7695-0216-4. (doi:10.1109/VL.1999.795884) (Full text available)

Preview

Howse, John and Molina, Fernando and Taylor, John and Kent, Stuart (1999) Reasoning with Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99), Sep 13-16, 1999, Tokyo, Japan. (doi:10.1109/VL.1999.795885) (Full text available)

Preview

Kent, Stuart and Howse, John (1999) Mixing Visual and Textual Constraint Languages. In: 2nd International Conference on the Unified Modeling Language (UML 99), Oct 28-30, 1999, Ft Collins, Colorado. (Full text available)

Preview

Kent, Stuart and Howse, John (1999) Mixing visual and textual constraint languages. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language. Lecture Notes In Computer Science, 1723. Springer-Verlag Berlin, Berlin Germany pp. 384-398. ISBN 3-540-66712-1. (doi:10.1007/3-540-46852-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Howse, John and Lauder, Anthony (1998) Modelling Components. In: Proceedings: International Workshop on Large-Scale Software Composition at DEXA98. (Full text available)

Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Modular Semantics for Object-Oriented Models. In: Proceedings of Northern Formal Methods Workshop. (Full text available)

Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Interpreting the Object Constraint Language. In: Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific. IEEE Press pp. 288-295. ISBN 0-8186-9183-2. (doi:10.1109/APSEC.1998.733731) (Full text available)

Preview

Hamie, Ali and Civello, Franco and Howse, John and Kent, Stuart and Mitchell, Richard (1998) Reflections on the Object Constraint Language. In: Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation. Lecture Notes in Computer Science, 1618. Springer Verlag pp. 162-172. ISBN 3-540-66252-9 . (Full text available)

Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Navigation Expressions in OO Modelling. In: Proceedings of FASE98 at ETAPS98. (Full text available)

Preview

Kent, Stuart and Lano, Kevin and Bicarregui, Juan and Hamie, Ali and Howse, John (1997) Component Composition in Business and System Modelling. In: Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics. (Full text available)

Preview

Kent, Stuart and Hamie, Ali and Howse, John and Civello, Franco and Mitchell, Richard (1997) Semantics through Pictures. In: Proceedings of the Workshops on Object-Oriented Technology. LNCS, 1357. Springer Verlag pp. 182-187. ISBN 3-540-64039-8 . (Full text available)

Preview

Kent, Stuart and Hamie, Ali and Howse, John and Civello, Franco and Mitchell, Richard (1997) Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations. In: Proceedings of ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modelling Techniques. (Full text available)

Preview

Kent, Stuart and Howse, John (1996) Value Types in Eiffel. In: Proceedings of TOOLS Europe'96 (TOOLS 19). (Full text available)

Preview

This list was generated on Sat Sep 24 20:41:09 2016 BST.