Browse by Faculties

Article

Babar, A., Cox, K., Tosic, V., Bleistein, S. and Verner, J. (2008) Integrating B-SCP and MAP to manage the evolution of strategic IT requirements Information and Software Technology, 50 (7-8). pp. 815-831. ISSN 0950-5849

Barbaiani, M., Bibire, C., Dassow, J., Delaney, A., Fazekas, S., Ionescu, M., Liu, G., Lodhi, A. and Nagy, B. (2006) The power of programmed grammars with graphs from various classes Journal of Applied Mathematics and Computing, 22 . pp. 21-38. ISSN 1598-5865

Bottoni, P. and Fish, A. (2011) A visual language for temporal specifications based on spider diagrams Electronic Communications of the EASST, 41 . pp. 1-14. ISSN 1863-2122

Burton, J. (2008) Types and programs from Euler diagrams Lecture Notes in Computer Science, 5223 . pp. 357-359. ISSN 0302-9743

Burton, J., Stapleton, G. and Hamie, A. (2011) A decision procedure for a decideable fragment of generalized constraint diagrams Journal of Visual Languages and Computing, 22 (1). pp. 90-105. ISSN 1045-926X

Burton, J., Stapleton, G. and Hamie, A. (2009) Transforming constraint diagrams Proceedings of the Second International Workshop on Visual Languages and Logic (VLL 09), 510 . pp. 62-80. ISSN 1613-0073

Cordasco , G., De Chiara, R and Fish, A. (2011) Efficient on-line algorithms for Euler diagram region computation Computational Geometry: Theory and Applications, 44 (1). pp. 52-68. ISSN 0925-7721

Dau, F. and Fish, A. (2008) Conceptual spider diagrams Lecture Notes in Computer Science, 5113 . pp. 104-118. ISSN 0302-9743

Fish, A., Flower, J. and Howse, J. (2005) The semantics of augmented constraint diagrams Journal of Visual Languages and Computing, 16 (6). pp. 541-573. ISSN 1045-926X

Fish, A. and Keyman, E. (2006) Jones polynomial invariants Journal of Knot Theory and Its Ramifications, 15 (3). pp. 339-350. ISSN 0218-2165

Fish, A., Khazaei, B. and Roast, C. (2011) User-comprehension of Euler diagrams Journal of Visual Languages and Computing , 22 (5). pp. 340-354. ISSN 1045-926X

Fish, A., Taylor, J. and John, C. (2008) A normal form for Euler diagrams with shading Proceedings of the 5th International Conference on Diagrams 2008, Lecture Notes in Artificial Intelligence, 5223 . pp. 206-221. ISSN 0302-9743

Flower, J., Fish, A. and Howse, J. (2008) Euler diagram generation Journal of Visual Languages and Computing, 19 (6). pp. 675-694. ISSN 1045-926X

Flower, J., Howse, J. and Taylor, J. (2003) Nesting in Euler diagrams Electronic Notes in Theoretical Computer Science, 72 (3). pp. 93-102. ISSN 1571-0661

Flower, J. and Stapleton, G. (2004) Automated theorem proving with spider diagrams Electronic Notes in Theoretical Computer Science, 91 . pp. 246-263. ISSN 1571-0661

Flower, Jean, Howse, J. and Taylor, J. (2004) Nesting in Euler diagrams: syntax, semantics and construction Journal of Software and Systems Modeling, 3 (1). pp. 55-67. ISSN 1619-1366

Gil, J., Howse, J. and Tulchinsky, E. (2002) Positive semantics of projections in Venn-Euler diagrams Journal of Visual Languages and Computing, 13 (2). pp. 197-227. ISSN 1045-926X

Howse, J., Molina, F., Shin, S-J. and Taylor, J. (2002) On diagram tokens and types DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference . pp. 76-90. ISSN 0302-9743 (print); 1611-3349 (online)

Howse, J., Molina, F., Taylor, J., Kent, S. and Gil, J. (2001) Spider diagrams: a diagrammatic reasoning system Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X

Howse, J. and Schuman, S. (2005) Precise visual modelling: a case study Software and Systems Modeling, 4 (3). pp. 310-325. ISSN 1619-1366

Howse, J., Stapleton, G. and Taylor, J. (2005) Spider diagrams LMS Journal of Computation and Mathematics, 8 . pp. 145-194. ISSN 1461-1570

Kitchenham, B., Al-Kilidar, H., Ali Babar, M., Berry, M., Cox, K., Keung, J., Kurniawati, F., Staples, M., Zhang, J. and Zhu, L. (2008) Evaluating guidelines for reporting empirical software engineering studies Empirical Software Engineering Journal, 13 (1). pp. 97-121. ISSN 1382-3256

Niazi, M., Cox, K. and Verner, J. (2008) A measurement framework for assessing the maturity of requirements engineering process Software Quality Journal, 16 (2). pp. 213-235. ISSN 0963-9314

Stapleton, G. (2005) A survey of reasoning systems based on Euler diagrams Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Euler Diagrams (Euler 2004), 134 . pp. 127-151. ISSN 1571-0661

Stapleton, G. and Delaney, A. (2008) Evaluating and generalizing constraint diagrams Journal of Visual Languages and Computing, 19 (4). pp. 499-521. ISSN 1045-926X

Stapleton, G., Delaney, A., Rodgers, P. and Plimmer, B. (2011) Recognising sketches of Euler diagrams augmented with graphs Journal of Visual Languages and Computing . pp. 279-284. ISSN 1045-926X

Stapleton, G., Howse, J. and Rodgers, P. (2010) A graph theoretic approach to general euler diagram drawing Theoretical Computer Science, 411 (1). pp. 91-112. ISSN 0304-3975

Stapleton, G., Howse, J., Rodgers, P. and Zhang, L. (2008) Generating Euler diagrams from existing layouts Electronic Communications of the EASST, 13 . ISSN 1863-2122

Stapleton, G., Howse, J. and Taylor, J. (2005) A decidable constraint diagram reasoning system Journal of Logic and Computation, 15 (6). pp. 975-1008. ISSN 1465-363X

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) The expressiveness of spider diagrams Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2007) Automated theorem proving in Euler diagram systems Journal of automated reasoning, 39 (4). pp. 431-470. ISSN 0168-7433

Stapleton, G., Rodgers, P. and Howse, J. (2011) A general method for drawing area-proportional Euler diagrams Journal of Visual Languages and Computing, 22 (6). pp. 426-442. ISSN 1045-926X

Stapleton, G., Rodgers, P., Howse, J. and Taylor, J. (2007) Properties of Euler diagrams Electronic communications of the EASST: Proceedings of layout of (software) engineering diagrams, 7 . pp. 1-15. ISSN 1863-2122

Stapleton, G., Rodgers, P., Howse, J. and Zhang, L. (2010) Inductively generating Euler diagrams IEEE Transactions on Visualization and Computer Graphics, 17 (1). pp. 88-100. ISSN 1077-2626 (In Press)

Stapleton, G., Zhang, L., Howse, J. and Rodgers, P. (2010) Drawing Euler diagrams with circles: the theory of piercings IEEE Transactions on Visualization and Computer Graphics, 17 (7). pp. 1020-1032. ISSN 1077-2626

Book

Cox, P., Fish, A. and Howse, J. (2007) Proceedings of visual languages and logic 2007, Idaho, USA, September 2007 Ceur Workshop Proceedings.

Fish, A., Knapp, A. and Stoerrie, H. (2007) Proceedings of the workshop on the layout of (software) engineering diagrams (LED 2007), Idaho, USA, September 2007 European Association of Software Science and Technology (EASST), Berlin, Germany. ISBN 1863-2122

Garner, R. and Taylor, J. (2009) Discrete mathematics: Proofs, structures and applications (3rd Edition) Boca Raton. ISBN 1439812802

Grundy, J. and Howse, J. (2006) Proceedings of the IEEE symposium on visual languages and human-centric computing 2006 IEEE Computer Society.

Book Section

UNSPECIFIED (2010) An Ontology Based Approach for Supporting Business IT Alignment In: Veres, C, Sampson, J, Cox, K., Bleistein, S and Verner, J., eds. Complex Intelligent Systems and Their Applications. Springer Optimization and Its Applications (41). Springer. ISBN 9781441916365

Bosworth, R. (2004) Automatic proofs for scalecharts In: Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin; London, pp. 227-230. ISBN 9783540212683

Day, Andrew M., Arnold, D.B., Havemann, S. and Fellner, D.W. (2003) Combining polygonal and subdivision surface approaches to modelling of urban environments In: 2003 International Conference on Cyberworlds, CW 2003: 3-5 December 2003, Singapore: proceedings. IEEE Computer Society, Los Alamitos, Ca, pp. 189-196. ISBN 0769519229

De Chiara, R and Fish, A. (2007) EulerView: a non-hierarchical visualization component In: IEEE Symposium on Visual Languages and Human-Centric Computing 2007. IEEE Computer Society, pp. 145-152.

De Chiara, R. and Fish, A. (2008) eul.icio.us: Euler diagrams for del.icio.us In: 2008 12th International Conference Information Visualisation (2008). IEEE, 632 -637. ISBN 9780769532684

De Saulles, M. and Horner, D.S. (2011) Moral luck, information ethics and natural goodness In: Crossing Boundaries: Ethics in Interdisciplinary and Intercultural Relations. Inseit, Milwakee, USA, pp. 148-156. (In Press)

Delaney, A. and Stapleton, G. (2007) Spider diagrams of order In: Visual languages and logic, VLL07. Proceedings. Ceur Workshop Proceedings, pp. 27-39. ISBN 1613-0073

Fish, A. and Flower, J. (2008) Euler diagram decomposition In: Diagrammatic representation and inference. Lecture Notes in Computer Science, 5223 . Springer, pp. 28-44. ISBN 978-3-540-87729-5

Fish, A., Flower, J. and Howse, J. (2003) A reading algorithm for constraint diagrams In: IEEE symposium on human centric computing languages and environments, Auckland, New Zealand, October 2003. IEEE Computer Society, pp. 161-168. ISBN 0780382250

Fish, A. and Howse, J. (2004) Computing reading trees for constraint diagrams In: Applications of graph transformations with industrial relevance: second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, revised selected and invited papers. Lecture notes in computer science, 3062/2004 . Springer-Verlag, Berlin, Germany, pp. 260-274. ISBN 9783540221203

Fish, A. and Howse, J. (2004) Towards a default reading for constraint diagrams In: Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin, Germany, pp. 51-65. ISBN 9783540212683

Fish, A. and Stapleton, G. (2006) Defining Euler diagrams: simple or what? In: Diagrammatic representation and inference: fourth international conference, Diagrams 2006. Stanford, CA, USA, June 28-30: proceedings. Lecture notes in computer science, 4045/2006 . Springer, Berlin, Germany, pp. 109-111. ISBN 9783540356233

Fish, A. and Storrle, H. (2007) Visual qualities of the unified modeling language: deficiencies and improvements In: IEEE symposium on visual language and human-centric computing (VL/HCC 2007). IEEE Computer Society, pp. 41-49.

Flower, J. and Howse, J. (2002) Generating Euler diagrams In: Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings. Lecture Notes in Computer Science . Springer-Verlag, Berlin, Germany, pp. 61-75. ISBN 03029743

Flower, J., Howse, J. and Taylor, J. (2002) A visual framework for modelling with heterogeneous notations, technical note In: Human Centric Computing Languages and Environments, 2002. Proceedings. IEEE 2002 Symposia. IEEE Computer Society, pp. 71-73. ISBN 0769516440

Flower, J., Masthoff, J. and Stapleton, G. (2004) Generating proofs with spider diagrams using heuristics In: Proceedings of 10th international conference on distributed multimedia systems, international workshop on visual languages and computing. Knowledge Systems Institute, pp. 91-98.

Flower, J., Masthoff, J. and Stapleton, G. (2004) Generating readable proofs: a heuristic approach to theorum proving with spider diagrams In: Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture Notes in Computer Science, 2980/2004 . Springer Verlag, Berlin, Germany, pp. 166-181. ISBN 9783540212683

Flower, Jean (2003) Layout metrics for Euler diagrams In: Information Visualization, 2003. IV 2003. Proceedings. Seventh International Conference. Inspec Online, pp. 272-280. ISBN 0-7695-1988-1

Gil, J., Howse, J. and Kent, S. (2001) Towards a formalization of constraint diagrams In: EEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01). IEEE Computer Society, pp. 72-79.

Hamie, A. (2004) Translating the object constraint language into the Java modelling language In: Proceedings of the 2004 ACM symposium on applied computing, Nicosia, Cyprus, 2004. ACM Press, New York, USA, pp. 1531-1535. ISBN 1581138121

Howse, J. (2008) Diagrammatic reasoning systems In: Conceptual Structures: Knowledge Visualization and Reasoning. Lecture Notes in Computer Science, 5113 . Springer, pp. 1-20. ISBN 978-3-540-70595-6

Howse, J., Molina, F., Shin, S-J. and Taylor, J. (2002) Type-syntax and token-syntax in diagrammatic systems In: Formal ontology in information systems: Proceedings of the international conference on formal ontology in information systems. ACM Press, New York, USA, pp. 174-185. ISBN 1581133774

Howse, J., Stapleton, G., Flower, J. and Taylor, J. (2002) Corresponding regions in Euler diagrams In: Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings. Lecture Notes in Computer Science, 2317/2002 . Springer-Verlag, pp. 146-160. ISBN 9783540435617

John, C. (2004) Reasoning with projected contours In: Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer Verlag, Berlin, Germany, pp. 147-150. ISBN 9783540212683

John, C., Fish, A., Howse, J. and Taylor, J. (2006) Exploring the notion of clutter in Euler diagrams In: Diagrammatic representation and inference: fourth international conference, Diagrams 2006. Stanford, CA, USA, June 28-30: proceedings. Lecture notes in computer science, 4045/2006 . Springer, Berlin, Germany, pp. 267-282. ISBN 9783540356233

Kent, S. and Howse, J. (2002) Constraint trees In: Object modeling with the OC: the rationale behind the object constraint language. Lecture notes in computer science, 2263/2002 . Springer, pp. 427-430. ISBN 0302-9743 (Print) 1611-3349 (Online)

Masthoff, J. and Gupta, A. (2002) Design and evaluation of just-in-time help in a multi-modal user interface In: IUI 02: proceedings of the 2002 international conference on intelligent user interfaces. ACM press, San Francisco, USA. ISBN 1581134592

Mutton, P., Rodgers, P. and Flower, J. (2004) Drawing graphs in Euler diagrams In: Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin, Germany, pp. 66-81. ISBN 9783540212683

Rodgers, P., Zhang, L. and Fish, A. (2008) General Euler diagram generation In: Proceedings of Diagrammatic representation and inference: 5th international conference, Diagrams 2008,. Springer, pp. 13-27. ISBN 3540877290

Stapleton, G. and Delaney, A. (2007) Towards overcoming deficiencies in constraint diagrams In: IEEE symposium on visual language and human-centric computing (VL/HCC 2007). IEEE Computer Society, pp. 33-40. ISBN 9780769529875

Stapleton, G., Howse, J. and Taylor, J. (2003) A constraint diagram reasoning system In: VLC03, distributed multimedia systems, international conference on visual languages and computing, Florida international university, Miami, September 2003. Knowledge systems institute, Cambridge, MA, United States, pp. 263-270. ISBN 1891706316

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) What can spider diagrams say? In: Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin, Germany, pp. 112-127. ISBN 9783540212683

Stapleton, G., Howse, J. and Toller, K. (2006) Generalizing spiders In: Diagrammatic representation and inference: fourth international conference, Diagrams 2006. Stanford, CA, USA, June 28-30: proceedings. Lecture notes in computer science, 4045/2006 . Springer, Berlin, Germany, pp. 148-150. ISBN 9783540356233

Stapleton, G., Thompson, S., Fish, A., Howse, J. and Taylor, J. (2005) A new language for the visualisation of logic and reasoning In: Proceedings of 11th international conference on distributed multimedia systems, international workshop on visual languages and computing. Knowledge systems institute, Banff, Canada, pp. 287-292.

Conference or Workshop Item

Babar, A, Zowghi, D, Cox, K. and Tosic, V (2008) Exploring alternative integration mechanisms for requirements modelling techniques; map and B-SCP In: 23rd ACM Symposium on Applied Computing, track on Requirements Engineering - ACM, SAC-RE 2008, 16-20 March 2008, Fortaleza, Brazil.

Bottoni, P, Cordasco , G., De Chiara, R, Fish, A. and Scarrano, V. (2011) Personalised resource categorisation using euler diagrams, end-user development In: IS-EUD'11 Proceedings of the Third international conference on End-user development, 7-10 June, 2011.

Bottoni, P and Fish, A. (2010) Incremental update of constraint-compliant policy rules In: Third International Workshop on Graph Computation Models, 2nd October 2010, Enschede, The Netherlands. (In Press)

Bottoni, P, Fish, A. and Parisi-Presicce, F. (2010) Preserving constraints in horizontal model transformations In: Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, March 20-21 2010, Paphos, Cyprus.

Burton, J. (2008) Diagrammatic reasoning and enhanced static constraints In: European Summer School for Logic, Language and Information, 4-15 August, 2008, Hamburg, Germany.

Burton, J. (2008) Diagrams and intuitive formal specifications In: Visual Languages and HumanCentric Computing 2008 VLHCC 2008 IEEE Symposium on (2008) , 2008.

Chapman, P., McKinna, J. and Urban, C. (2008) Mechanising a proof of craig's interpolation theorem for intuitionistic logic in nominal isabelle In: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics , 31 July - 1 August, 2011, Birmingham, UK.

Chapman, P. and Stapleton, G. (2010) Creating a second order diagrammatic logic In: 6th International Conference on the Theory and Application of Diagrams.

Chapman, P. and Stapleton, G. (2010) Introducing second order spider diagrams for defining regular languages In: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 21 Sep - 25 Sep 2010, Universidad Carlos III de Madrid.

Chapman, P., Stapleton, G., Howse, J. and Oliver, I. (2011) Deriving sound inference rules for concept diagrams In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, 18-22 September 2011, Pittsburgh, PA, USA.

Clark, R, Fish, A., Garrett, C. and Howse, J. (2011) Developing a rigorous bottom-up modular static failure modelling methdology In: 6th IET International Conference on System Safety, 2011 , 22 September, 2011, Birmingham, UK. (In Press)

Coppin, P and Burton, J. (2010) An attention based theory to explore affordances of textual and diagrammatic proofs In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, Oregon, USA.

Cordasco , G., De Chiara, R and Fish, A. (2009) Interactive visual classification with Euler diagrams In: IEEE Symposium on Visual Languages and Human-Centric Computing 2009, 20-24 September, 2009, Corvallis, Oregon, USA.

De Chiara, R and Fish, A. (2008) EulerView: article organisation within the ACM In: IEEE Symposium on Visual Languages and Human-Centric Computing 2008, 15-19 September 2008, Germany.

De Chiara, R, Fish, A. and Ruocco, R (2008) Eulr; novel resource tagging facility integrated with Flickr In: Proceedings of the working conference on advanced visual interfaces, May 28 - 30, 2008, Italy.

Delaney, A., Plimmer, B., Stapleton, G. and Rodgers, P. (2010) Recognising sketches of euler diagrams drawn with elipses In: The 16th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, 14-16 October 2010, Oak Brooks, Illinois, USA .

Delaney, A. and Stapleton, G. (2007) On the descriptional complexity of a diagrammatic notation In: VLC 07: Visual Languages and Computing, 6-8 Sep 2007, San Francisco, USA.

Delaney, A., Stapleton, G., Taylor, J. and Thompson, S. (2010) Fragments of spider diagrams of order and their relative expressiveness In: Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference , 9-11 August 2010, Portland, Oregon, USA.

Delaney, A., Taylor, J. and Thompson, S. (2008) Spider diagrams of order and a hierarchy of star-free regular languages In: Diagrammatic Representation and Inference 5th International Conference Diagrams 2008 (2008) , 19-21 September, 2008, Herrsching, Germany.

Fish, A. (2010) Euler diagram transformations In: 9th International Workshop on Graph Transformation and Visual Modeling Techniques, March 20-21 2010, Paphos, Cyprus.

Fish, A. and Bottoni, P (2010) Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information In: 6th International Conference on the Theory and Application of Diagrams, 9-11th August 2010, Portland, Oregon.

Fish, A., Khazaei, B. and Roast, C. (2007) Exploring human factors in formal diagram usage In: Engineering Interactive Systems 2007, 22-24 Mar, 2007, Salamanca, Spain. (Submitted)

Fish, A. and Masthoff, J. (2005) An experimental study into the default reading of constraint diagrams In: Proceedings of Visual Languages and Human Centric Computing (VLHCC05), 20-24 Sep 2005, Dallas, USA.

Fish, A. and Stapleton, G. (2006) Formal issues in languages based on closed curves In: Proceedings of VLC06, Visual Languages and Computing, 30 Aug - 1 Sep 2006, Grand Canyon.

Hamie, A. (2002) Towards verifying Java realizations of OCL-constrained design models using JML In: Proceedings of 6th IASTED International COnference on Software Engineering and Applications (SEA'2002), Nov 2002, Cambridge, MA, USA.

Hamie, A., Howse, J. and Fish, A. (2010) Visual specification patterns In: 2nd International Workshop on Visual Languages and Patterns.

Hamie, A., Howse, J. and Mitchell, R. (2004) Time-based constraints in OCL In: 8th International Conference on Artificial Intelligence and Soft Computing, 1 - 3 Sep 2004, Marbella, Spain.

Howse, J., Rodgers, P. and Stapleton, G. (2009) Automated diagram drawing In: IEEE Symposium on Visual Languages and Human-Centric Computing 2009, 20-24 September, 2009, Corvallis, Oregon, USA. (Submitted)

Howse, J., Rodgers, P. and Stapleton, G. (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, Oregon.

Howse, J., Rodgers, P. and Stapleton, G. (2010) Drawing Euler diagrams for information visualization In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, Oregon, USA.

Howse, J., Rodgers, P. and Stapleton, G. (2010) Levels of syntax in Euler diagram logics In: World Congress and Summer School on Universal Logic.

Howse, J., Schuman, S., Stapleton, G. and Oliver, I. (2009) Diagrammatic formal specification of a configuration control platform In: 2009 Refinement Workshop, 3rd November 2009, Eindhoven.

Howse, J. and Stapleton, G. (2008) Visual mathematics: Diagrammatic formalization and proof In: International Conference on Mathematical Knowledge Management, Birmingham, UK.

Howse, J., Stapleton, G. and Oliver, I. (2010) Visual reasoning about ontologies In: International Semantic Web Conference, November 2010, China.

Howse, J., Stapleton, G., Taylor, K and Chapman, P. (2011) Visualizing ontologies: A case study In: International Semantic Web Conference, 2011, Bonn, Germany.

Lim, S.L., Ishikawa, E, Platon, E and Cox, K. (2008) Towards agile service-oriented business systems: a directive-oriented pattern analysis approach In: IEEE International Conference on Services Computing, 8-11 July 2008, Honolulu, Hawaii.

Lim, S.L., Platon, E and Cox, K. (2008) Synthesis of actor dependency and business motivation for service requirements In: Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International , 28 July - 1 August 2008, Turku, Finland.

Nicholson, J. (2011) A theory of classes from the theoretical foundations of LePUS3 In: 13th International Conference on Formal Engineering Methods, 25-28th October, 2011, Durham, UK.

Oliver, I., Howse, J., Stapleton, G., Nuutlia, E and Torma, S (2009) A proposed diagrammatic logic for ontology specification and visualization In: International Semantic Web Conference, 2009.

Oliver, O, Howse, J., Stapleton, G., Nuutlia, S and Torma, S (2009) Visualizing and specifying ontologies using diagrammatic logics In: Proceedings of the Australasian Ontology Workshop, 1 December 2009, Melbourne, Australia.

Rodgers, P., Flower, J., Stapleton, G. and Howse, J. (2010) Drawing area-proportional Venn-3 diagrams with convex polygons In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Oregon, USA.

Rodgers, P., Stapleton, G., Howse, J. and Zhang, L. (2010) Euler graph transformations for Euler diagram layout In: IEEE Symposium on Visual Languages and Human-Centric Computing 2010, 21-25 September 2010, 978-1-4244-8485-0.

Rodgers, P., Zhang, L., Stapleton, G. and Fish, A. (2008) Embedding wellformed euler diagrams In: Information Visualization 2008.

Stapleton, G. (2008) Spider Diagrams Augmented with Constants; A Complete System In: 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, 4-6 September, 2008, Boston, USA.

Stapleton, G. and Chapman, P. G (2010) On the relative expressiveness of second-order spider diagrams and regular expressions In: 16th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, 14-16 October 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA.

Stapleton, G., Fish, A. and Rodgers, P. (2008) Abstract Euler diagram isomorphism In: 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing.

Stapleton, G. and Howse, J. (2006) Enhancing the expressiveness of spider diagram systems In: Proceedings of VLC06, Visual Languages and Computing, 30 Aug - 1 Sep 2006, Grand Canyon, USA.

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) The expressiveness of spider diagrams augmented with constants In: Proceedings of IEEE symposium on visual languages and human-centric computing, 26-19 Sept 2004, Rome, Italy.

Stapleton, G., Jamnik, M. and Masthoff, J. (2009) On the readability of diagrammatic proofs In: Automated Reasoning Workshop, 2009. (Submitted)

Stapleton, G. and Masthoff, J. (2007) Incoporating negation into visual logics: a case study using Euler diagrams In: VLC 07: Visual Languages and Computing, 6-8 Sep 2007, San Francisco, USA.

Stapleton, G. and Rodgers, P. (2011) Drawing Euler diagrams with circles and ellipses In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, 18-22 September 2011, Pittsburgh, PA, USA.

Stapleton, G., Rodgers, P., Howse, J. and Flower, J. (2009) Some results for drawing area-proportional Venn-3 with convex curves In: Information Visualisation, 2009 13th International Conference , 15-17 July 2009 , Barcelona.

Stapleton, G., Zhang, L., Howse, J. and Rodgers, P. (2010) Drawing Euler diagrams with circles In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, Oregon, USA.

Urbas, M., Jamnik, M., Stapleton, G. and Flower, J. (2012) Speedith: a diagrammatic reasoner for spider diagrams In: Diagrams 2012. (Submitted)

Veres, C, Sampson, J, Bleistein, S, Cox, K. and Verner, J. (2009) Using semantic technologies to enhance a requirements engineering approach for alignment of IT with business strategy In: International Conference 2009 on Complex, Intelligent and Software Intensive Systems, 16-19 March 2009, Fukuoka, Japan.

Wang, M, Plimmer, B., Schmieder, P., Stapleton, G., Rodgers, P. and Delaney, A. (2011) SketchSet: Creating Euler diagrams using pen or mouse In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, 18-22 September 2011, Pittsburgh, PA, USA.

Yamamoto, S, Ibe, K, Verner, J. and Cox, K. (2009) Actor relationship analysis for the i* framework In: 11th International Conference on Enterprise Information Systems, 6-10 May 2009, Milan, Italy.

Monograph

Fish, A., Howse, J., Taentzer, G. and Winkelmann, J. (2005) Two visualizations of OCL: a comparison Technical Report. University of Brighton.

Fish, A. and Masthoff, J. (2005) Do monkeys like elephants or do elephants watch monkeys? An empirical study into the default reading of constraint diagrams Technical Report. University of Brighton.

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. and Thompson, S. (2006) Euler diagram-based notations Technical Report. University of Brighton, Brighton, UK. (Unpublished)

Stapleton, G. (2007) Euler diagram reasoning Technical Report. University of Brighton, Brighton, UK. (Unpublished)

Stapleton, G. (2007) How to use Edith: the Euler diagram theorem prover Technical Report. University of Brighton, Brighton, UK. (Unpublished)

Stapleton, G. (2004) Reasoning with constraint diagrams: summary of PhD thesis Technical Report. University of Brighton.

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2006) Appendices for automated theorem proving in Euler diagram systems Technical Report. University of Brighton, Brighton, UK. (Unpublished)

Thesis

Burton, J. (2011) Generalized constraint diagrams; the classical decision problem in a diagrammatic reasoning system Doctoral thesis, University of Brighton.