Stem diagrammat$ (all stems)

20 papers:

AMT-2015-RabbiLYK #approach #diagrams

A Diagrammatic Approach to Model Completion (FR, YL, IY, LK), pp. 56–65.

MoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard #tool support

Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.

CADE-2015-KissingerZ #diagrams #named #proving #reasoning

Quantomatic: A Proof Assistant for Diagrammatic Reasoning (AK, VZ), pp. 326–336.

LICS-2015-Hadzihasanovic #axiom #diagrams #quantum

A Diagrammatic Axiomatisation for Qubit Entanglement (AH), pp. 573–584.

ICLP-J-2012-Haemmerle #confluence #constraints #diagrams

Diagrammatic confluence for Constraint Handling Rules (RH), pp. 737–753.

KEOD-2011-KudryavtsevG #approach #diagrams #modelling #ontology

Diagrammatic Knowledge Modeling for Managers — Ontology-based Approach (DK, TG), pp. 386–389.

ICALP-v2-2009-JouannaudO #confluence #diagrams

Diagrammatic Confluence and Completion (JPJ, VvO), pp. 212–222.

TOOLS-EUROPE-2009-RutleRLW #diagrams #formal method #modelling

A Diagrammatic Formalisation of MOF-Based Modelling Languages (AR, AR, YL, UW), pp. 37–56.

ECSA-2008-ZalewskiL #architecture #diagrams #modelling

Diagrammatic Modeling of Architectural Decisions (AZ, ML), pp. 350–353.

ICDAR-2007-CostagliolaDR #diagrams #grammarware #sketching #using

Using Grammar-Based Recognizers for Symbol Completion in Diagrammatic Sketches (GC, VD, MR), pp. 1078–1082.

ICSE-2007-XieKS #comprehension #concept #concurrent #design #diagrams #evaluation

Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts (SX, EK, REKS), pp. 727–731.

ICDAR-2005-CostagliolaDR #diagrams #sketching

Sketch Grammars: A Formalism for Describing and Recognizing Diagrammatic Sketch Languages (GC, VD, MR), pp. 1226–1231.

IJCAR-2004-WintersteinBG #diagrams #proving #theorem proving

Dr.Doodle: A Diagrammatic Theorem Prover (DW, AB, CAG), pp. 331–335.

ICEIS-2000-Morand #abduction #approach #diagrams #process #representation

Representation Process and Abductive Reasoning-An Experimental Approach of the Diagrammatic Case (BM), pp. 322–326.

UML-2000-VilainSS #diagrams #interactive #representation #uml

A Diagrammatic Tool for Representing User Interaction in UML (PV, DS, CSdS), pp. 133–147.

HCI-EI-1999-MeyerZMG #automation #diagrams

Automatic Construction of Intelligent Diagrammatic Environments (BM, HZ, LM, ZG), pp. 1303–1307.

SAC-1998-InderKL #automation #diagrams #generative #web

Automatic generation of diagrammatic Web site maps (RI, JK, JL), pp. 719–725.

SAC-1995-AndersonM #diagrams #heuristic #reasoning

Developing a heuristic via diagrammatic reasoning (MA, RM), pp. 227–231.

DAC-1985-OdawaraTO #data flow #diagrams

Diagrammatic function description of microprocessor and data-flow processor (GO, MT, IO), pp. 731–734.

SCC-1979-CordyHW #approach #diagrams #semantics

Semantic charts: A diagrammatic approach to semantic processing (JRC, RCH, DBW), pp. 39–49.