The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Howse: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell
    Reflections on the Object Constraint Language. [Citation Graph (1, 0)][DBLP]
    UML, 1998, pp:162-172 [Conf]
  2. Andrew Fish, John Howse
    Computing Reading Trees for Constraint Diagrams. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:260-274 [Conf]
  3. Ali Hamie, John Howse, Stuart Kent
    Interpreting the Object Constraint Language. [Citation Graph (0, 0)][DBLP]
    APSEC, 1998, pp:288-295 [Conf]
  4. John Howse, Fernando Molina, John Taylor
    A Sound and Complete Diagrammatic Reasoning System. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence and Soft Computing, 2000, pp:402-408 [Conf]
  5. Stuart Kent, John Howse, Anthony Lauder
    Modeling Software Components. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1998, pp:789-800 [Conf]
  6. John Howse, Fernando Molina, Sun-Joo Shin, John Taylor
    On Diagram Tokens and Types. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2002, pp:146-160 [Conf]
  7. John Howse, Fernando Molina, John Taylor
    On the Completeness and Expressiveness of Spider Diagram Systems. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2000, pp:26-41 [Conf]
  8. John Howse, Gemma Stapleton, Jean Flower, John Taylor
    Corresponding Regions in Euler Diagrams. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2002, pp:76-90 [Conf]
  9. Chris John, Andrew Fish, John Howse, John Taylor
    Exploring the Notion of 'Clutter' in Euler Diagrams. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2006, pp:267-282 [Conf]
  10. Andrew Fish, John Howse
    Towards a Default Reading for Constraint Diagrams. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2004, pp:51-65 [Conf]
  11. Jean Flower, John Howse
    Generating Euler Diagrams. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2002, pp:61-75 [Conf]
  12. Joseph Gil, John Howse, Elena Tulchinsky
    Positive Semantics of Projections in Venn-Euler Diagrams. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2000, pp:7-25 [Conf]
  13. Gem Stapleton, John Howse, Kate Toller
    Generalizing Spiders. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2006, pp:148-150 [Conf]
  14. Gem Stapleton, John Howse, John Taylor, Simon Thompson
    What Can Spider Diagrams Say? [Citation Graph (0, 0)][DBLP]
    Diagrams, 2004, pp:112-127 [Conf]
  15. Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell
    Semantics Through Pictures. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:182-187 [Conf]
  16. John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe
    Should UML Have a Single Semantics? Should UML Have a Single Core Semantics? [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:41-44 [Conf]
  17. Ali Hamie, John Howse, Stuart Kent
    Navigation Expresion in Object-Oriented Modelling. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:123-137 [Conf]
  18. Ian Maung, John Howse, Richard J. Mitchell
    Towards a Formalization of Programming-by-Difference. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:134-153 [Conf]
  19. John Howse, Fernando Molina, John Taylor, Sun-Joo Shin
    Type-syntax and token-syntax in diagrammatic systems. [Citation Graph (0, 0)][DBLP]
    FOIS, 2001, pp:174-185 [Conf]
  20. Jean Flower, John Howse, John Taylor, Stuart Kent
    A Visual Framework for Modelling with Heterogeneous Notations. [Citation Graph (0, 0)][DBLP]
    IEEE Symposia on Human Centric Computing Languages and Environments, 2002, pp:71-73 [Conf]
  21. Joseph Gil, John Howse, Stuart Kent
    Advanced visual modeling (tutorial session): beyond UML. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:833- [Conf]
  22. Joseph Gil, John Howse, Stuart Kent
    Advanced visual modelling: beyond UML. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:697-698 [Conf]
  23. Stuart Kent, John Howse
    Constraint Trees. [Citation Graph (0, 0)][DBLP]
    Object Modeling with the OCL, 2002, pp:228-249 [Conf]
  24. Stuart Kent, John Howse
    Mixing Visual and Textual Constraint Languages. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:384-398 [Conf]
  25. Andrew Fish, Jean Flower, John Howse
    A reading algorithm for constraint diagrams. [Citation Graph (0, 0)][DBLP]
    HCC, 2003, pp:161-168 [Conf]
  26. Jean Flower, John Howse, John Taylor, Stuart Kent
    A Visual Framework for Modelling with Heterogeneous Notations. [Citation Graph (0, 0)][DBLP]
    HCC, 2002, pp:71-73 [Conf]
  27. Joseph Gil, John Howse, Stuart Kent
    Towards a Formalization of Constraint Diagrams. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:72-0 [Conf]
  28. Joseph Gil, John Howse, Stuart Kent
    Formalizing Spider Diagrams. [Citation Graph (0, 0)][DBLP]
    VL, 1999, pp:130-137 [Conf]
  29. Joseph Gil, John Howse, Stuart Kent, John Taylor
    Projections in Venn-Euler Diagrams. [Citation Graph (0, 0)][DBLP]
    VL, 2000, pp:119-126 [Conf]
  30. John Howse, Fernando Molina, John Taylor
    SD2: A Sound and Complete Diagrammatic Reasoning System. [Citation Graph (0, 0)][DBLP]
    VL, 2000, pp:127-134 [Conf]
  31. John Howse, Fernando Molina, John Taylor, Stuart Kent
    Reasoning with Spider Diagrams. [Citation Graph (0, 0)][DBLP]
    VL, 1999, pp:138-0 [Conf]
  32. Gem Stapleton, John Howse, John Taylor, Simon Thompson
    The Expressiveness of Spider Diagrams Augmented with Constants. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2004, pp:91-98 [Conf]
  33. Ian Maung, John Howse
    Introducing Hyper-Z - A New Approach to Object Orientation in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:149-165 [Conf]
  34. Richard Mitchell, John Howse, Ali Hamie
    Contract-Oriented Specifications. [Citation Graph (0, 0)][DBLP]
    TOOLS (24), 1997, pp:131-140 [Conf]
  35. Joseph Gil, John Howse, Stuart Kent
    Advanced Visual Modeling: Beyond UML. [Citation Graph (0, 0)][DBLP]
    TOOLS (33), 2000, pp:474- [Conf]
  36. Joseph Gil, John Howse, Stuart Kent
    Constraint Diagrams: A Step Beyond UML. [Citation Graph (0, 0)][DBLP]
    TOOLS (30), 1999, pp:453-463 [Conf]
  37. Jean Flower, John Howse, John Taylor
    Nesting in Euler Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
  38. Richard J. Mitchell, John Howse, Ian Maung
    As-a: A Relationship to Support Code Reuse. [Citation Graph (0, 0)][DBLP]
    JOOP, 1995, v:8, n:4, pp:25-33 [Journal]
  39. Gem Stapleton, John Howse, John Taylor
    A Decidable Constraint Diagram Reasoning System. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:6, pp:975-1008 [Journal]
  40. Gem Stapleton, John Howse, John Taylor, Simon Thompson
    The Expressiveness of Spider Diagrams. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:6, pp:857-880 [Journal]
  41. Jean Flower, John Howse, John Taylor
    Nesting in Euler Diagrams: syntax, semantics and construction. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:1, pp:55-67 [Journal]
  42. John Howse, Steve Schuman
    Precise visual modeling: A case-study. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:3, pp:310-325 [Journal]
  43. Andrew Fish, Jean Flower, John Howse
    The semantics of augmented constraint diagrams. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2005, v:16, n:6, pp:541-573 [Journal]
  44. Joseph Gil, John Howse, Elena Tulchinsky
    Positive Semantics of Projections in Venn-Euler Diagrams. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2002, v:13, n:2, pp:197-227 [Journal]
  45. John Howse
    The Iconic Logic of Peirce's Graphs: Sun-Joo Shin MIT Press, Cambridge, MA, 2002 ISBN: 0-262-19470-8. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2003, v:14, n:1, pp:119-121 [Journal]
  46. John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil
    Spider Diagrams: A Diagrammatic Reasoning System. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2001, v:12, n:3, pp:299-324 [Journal]
  47. Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor
    A New Language for the Visualization of Logic and Reasoning. [Citation Graph (0, 0)][DBLP]
    DMS, 2005, pp:287-292 [Conf]

  48. Visual Mathematics: Diagrammatic Formalization and Proof. [Citation Graph (, )][DBLP]


  49. Drawing Euler Diagrams with Circles. [Citation Graph (, )][DBLP]


  50. Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. [Citation Graph (, )][DBLP]


  51. Drawing Euler Diagrams for Information Visualization. [Citation Graph (, )][DBLP]


  52. Diagrammatic Reasoning Systems. [Citation Graph (, )][DBLP]


  53. Some Results for Drawing Area Proportional Venn3 With Convex Curves. [Citation Graph (, )][DBLP]


  54. Visual Languages and Logic. [Citation Graph (, )][DBLP]


  55. Introduction. [Citation Graph (, )][DBLP]


  56. Changing euler diagram properties by edge transformation of euler dual graphs. [Citation Graph (, )][DBLP]


  57. Diagrammatic Formal Specification of a Configuration Control Platform. [Citation Graph (, )][DBLP]


Search in 0.056secs, Finished in 0.059secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002