Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
37 | Jungpil Hahn, Jinwoo Kim 0001 |
Why are some diagrams easier to work with? Effects of diagrammatic representation on the cognitive intergration process of systems analysis and design. |
ACM Trans. Comput. Hum. Interact. |
1999 |
DBLP DOI BibTeX RDF |
diagrammatic manipulation, diagrammatic representation, visual grammar, GOMS |
37 | A. Corbalan, Marisa Mazón, Tomás Recio, Francisco Santos |
On the Topological Shape of Planar Voronoi Diagrams. |
SCG |
1993 |
DBLP DOI BibTeX RDF |
|
37 | John F. Sowa |
Relating Diagrams to Logic. |
ICCS |
1993 |
DBLP DOI BibTeX RDF |
|
37 | Tetsushi Nishida, Shingo Ono, Kokichi Sugihara |
Direct Diffusion Method for the Construction of Generalized Voronoi Diagrams. |
ISVD |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Gary Bist, Neil MacKinnon, Steve Murphy |
Sequence diagram presentation in technical documentation. |
SIGDOC |
2004 |
DBLP DOI BibTeX RDF |
visualization, unified modeling language, human factors, documentation, guidelines, user testing, graphic design, sequence diagrams, UML diagrams |
35 | Padmanabhan Krishnan |
Consistency checks for UML. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
UML consistency checking, state predicates, PVS theorem prover, Prototype Verification System, partially specified systems, behavioural description, Unified Modeling Language, formal verification, theorem proving, specification languages, diagrams, computation history, UML diagrams, dynamic aspects |
35 | Guttorm Sindre, Andreas L. Opdahl |
Eliciting Security Requirements by Misuse Cases. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
security requirements elicitation, short lead time, use case application, formal specification, e-commerce, object-oriented programming, requirements engineering, systems analysis, security of data, diagrams, security requirements, m-commerce, functional requirement, misuse cases, use case diagrams |
34 | Yuri Uesaka, Emmanuel Manalo |
School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Graeme Gange, Kim Marriott, Peter J. Stuckey |
Smooth Linear Approximation of Non-overlap Constraints. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Alan F. Blackwell |
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Ahti-Veikko Pietarinen |
Diagrammatic Logic of Existential Graphs: A Case Study of Commands. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
diagrammatic logic, existential graphs, tinctures, multi-modality, commands, multi-dimensionality |
34 | Alan F. Blackwell, Robert Phaal, Martin J. Eppler, Nathan Crilly |
Strategy Roadmaps: New Forms, New Practices. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
34 | John Mumma |
Ensuring Generality in Euclid's Diagrammatic Arguments. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Anna E. Bobkowska |
Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Chris John |
Reasoning with Projected Contours. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Daniel Winterstein, Alan Bundy, Mateja Jamnik |
On Differences between the Real and Physical Plane. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
34 | John Howse, Fernando Molina, Sun-Joo Shin, John Taylor 0001 |
On Diagram Tokens and Types. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Reetu Bhattacharjee, Amirouche Moktefi |
Peirce's Complex Diagrams. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Lorenz Demey, Hans Smessaert |
A Database of Aristotelian Diagrams: Empirical Foundations for Logical Geometry. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Elektra Kypridemou, Michele Zito 0001, Marco Bertamini |
Perception of Node-Link Diagrams: The Effect of Layout on the Perception of Graph Properties. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Reetu Bhattacharjee, Jens Lemanski |
Combing Graphs and Eulerian Diagrams in Eristic. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Alexander Dobler, Martin Nöllenburg |
On Computing Optimal Linear Diagrams. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Yuri Uesaka, Tsubasa Kurosawa, Kazumasa Furuya, Shigeru Yanagimoto, Mengshi Liu, Satomi Shiba, Nao Uchida |
Explaining with Diagrams for Promoting Deeper Learning: School Practice to Integrate Knowledge Across Subjects. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Sumanta Sarathi Sharma |
The Notion of Diagrammatic Isomorphism in Venn-Peirce Diagrams. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Erica de Vries |
Diagrams for Learning to Lead in Salsa Dancing. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | David Barter, Peter Coppin |
A Diagram Must Never Be Ten Thousand Words: Text-Based (Sentential) Approaches to Diagrams Accessibility Limit Users' Potential for Normative Agency. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Theodor Berwe |
On Lambert Quadrilaterals and Why They Cannot Be Diagrams (According to Lambert). |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Hans Smessaert, Lorenz Demey |
Aspect Shifting in Aristotelian Diagrams. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Henrik Kragh Sørensen, Mikkel Willum Johansen |
Epistemic Roles of Diagrams in Short Proofs. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Emmanuel Manalo, Laura Ohmes |
The Use of Diagrams in Planning for Report Writing. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Daniel Muzzulini |
Taming the Irrational Through Musical Diagrams - from Boethius to Oresme and Nemorarius. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Dimitra Bourou, Marco Schorlemmer, Enric Plaza |
Euler vs Hasse Diagrams for Reasoning About Sets: A Cognitive Approach. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Richard Lowe, Jean-Michel Boucheix |
Ancillary Diagrams: A Substitute for Text in Multimedia Resources? |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Sean McGrath 0002, Andrew Blake 0002, Gem Stapleton, Anestis Touloumis, Peter Chapman, Mateja Jamnik, Zohreh Shams |
Evaluating Colour in Concept Diagrams. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Atsushi Shimojima, Dave Barker-Plummer |
A Formal Model of Aspect Shifting: The Case of Dot Diagrams. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Francesca Ferrara, Giulia Ferrari |
Origami and the Emergence of Hybrid Diagrams. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Stef Frijters |
Generalizing Aristotelian Relations and Diagrams. |
Diagrams |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Reetu Bhattacharjee, Amirouche Moktefi |
Revisiting Peirce's Rules of Transformation for Euler-Venn Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Marcos Bautista López Aznar, Walter Federico Gadea, Guillermo Címbora Acosta |
Aaron Schuyler: The Missing Link Between Euler and Venn Diagrams? |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Hiroaki Ayabe, Emmanuel Manalo, Mari Fukuda, Norihiro Sadato |
What Diagrams Are Considered Useful for Solving Mathematical Word Problems in Japan? |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Guy Clarke Marshall, Caroline Jay, André Freitas |
Understanding Scholarly Neural Network System Diagrams Through Application of VisDNA. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Peter Chapman |
Interactivity in Linear Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Xinwen Liu 0006, Ahti-Veikko Pietarinen |
Venn Diagrams with "Most": A Natural Logic Approach. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Uta Priss |
Visualising Lattices with Tabular Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Sven Linker |
Natural Deduction for Intuitionistic Euler-Venn Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Mari Fukuda, Emmanuel Manalo, Hiroaki Ayabe |
The Presence of Diagrams and Problems Requiring Diagram Construction: Comparing Mathematical Word Problems in Japanese and Canadian Textbooks. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Xinwen Liu 0006, Ahti-Veikko Pietarinen |
Jin Yuelin's Simplification of Venn Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Leander Vignero |
Combining and Relating Aristotelian Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Mikkel Willum Johansen, Josefine Lomholt Pallavicini |
The Fall and Rise of Resemblance Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Andrea Tosti |
Comics and Diagrams: An Introductory Overview. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Dimitra Bourou, Marco Schorlemmer, Enric Plaza |
Image Schemas and Conceptual Blending in Diagrammatic Reasoning: The Case of Hasse Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Stefan Helmke, Bernhard Goetze, Robert Scheffler 0002, Gregor Wrobel |
Interactive, Orthogonal Hyperedge Routing in Schematic Diagrams Assisted by Layout Automatisms. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Hans Smessaert, Atsushi Shimojima, Lorenz Demey |
On the Cognitive Potential of Derivative Meaning in Aristotelian Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Guy Clarke Marshall, Caroline Jay, André Freitas |
Number and Quality of Diagrams in Scholarly Publications is Associated with Number of Citations. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Erica de Vries |
Through the Eyes of an Archeologist: Studying the Role of Prior Knowledge in Learning with Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Jens Lemanski, Lorenz Demey |
Schopenhauer's Partition Diagrams and Logical Geometry. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Guy Clarke Marshall, Caroline Jay, André Freitas |
Structuralist Analysis for Neural Network System Diagrams. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Javier Anta |
Diagrams as Part of Physical Theories: A Representational Conception. |
Diagrams |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Uta Priss |
A Semiotic-Conceptual Analysis of Euler and Hasse Diagrams. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Sandra Visokolskis, Evelyn Vargas, Gonzalo Carrión |
Transductive Reconstruction of Hippocrates' Dynamical Geometrical Diagrams. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Almas Baimagambetov, Gem Stapleton, Andrew Blake 0002, John Howse |
Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Michal Dobrzanski, Jens Lemanski |
Schopenhauer Diagrams for Conceptual Analysis. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Marcos Bautista López Aznar |
Syllogisms with Intermediate Quantifiers Solved in Marlo Logic Diagrams. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Sven Linker |
Intuitionistic Euler-Venn Diagrams. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Henrik Kragh Sørensen, Mikkel Willum Johansen |
Counting Mathematical Diagrams with Machine Learning. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Reetu Bhattacharjee, Amirouche Moktefi |
Peirce's Inclusion Diagrams, with Application to Syllogisms. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Jade Master, Evan Patterson, Shahin Yousfi, Arquimedes Canedo |
String Diagrams for Assembly Planning. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Marcos Bautista López Aznar |
The Indemonstrables of Chrysippus of Soli in Marlo Logical Diagrams. Could Propositional Calculus Be Nothing but Syllogisms? |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Jean-Michel Boucheix, Richard K. Lowe |
'Tokenized' Dynamic Diagrams: An Approach for Improving Mental Model Construction? |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | José L. Besada |
Visualizing Sound, Hearing Diagrams: On the Creative Process of Syrmos by Iannis Xenakis. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Richard K. Lowe, Jean-Michel Boucheix |
Event Unit Analysis: A Methodology for Anticipating Processing Demands of Complex Animated Diagrams. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Atsushi Shimojima, Dave Barker-Plummer |
Channel-Theoretic Account of the Semantic Potentials of False Diagrams. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Ryo Takemura |
Euler Diagrams for Defeasible Reasoning. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Gem Stapleton, Peter J. Rodgers, Anestis Touloumis, Andrew Blake 0002 |
Well-Matchedness in Euler and Linear Diagrams. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Michal Sochanski |
Experimenting with Diagrams in Mathematics. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Gregg De Young |
On "Overspecification" in Medieval Mathematical Diagrams. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Yuri Sato 0001, Zohreh Shams (eds.) |
Proceedings of International Workshop on Set Visualization and Reasoning (SetVR 2018) co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018), Edinburgh, UK, June 18, 2018. |
SetVR@Diagrams |
2018 |
DBLP BibTeX RDF |
|
34 | Zohreh Shams, Yuri Sato 0001, Mateja Jamnik, Gem Stapleton |
Accessible Reasoning with Diagrams: From Cognition to Automation. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | José Martín Castro-Manzano |
Syllogistic with Jigsaw Puzzle Diagrams. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | José Martín Castro-Manzano, José Roberto Pacheco-Montes |
Moded Diagrams for Moded Syllogisms. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Chayanika Deka Nath, Shyamanta M. Hazarika |
'Diagrams': A Hybrid Visual Information Representation and Reasoning Paradigm Towards Video Analysis. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Amirouche Moktefi |
Carroll Diagrams: Design and Manipulation. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Takeshi Sugio |
The Role of Top-Down Knowledge in Spatial Cueing Using Hierarchical Diagrams. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Erika Rita Ortiz |
Wallis's Use of Innovative Diagrams. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Mikkel Willum Johansen, Morten Misfeldt, Josefine Lomholt Pallavicini |
A Typology of Mathematical Diagrams. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Vinícius Jonas de Aguiar |
Diagrams, Musical Notation, and the Semiotics of Musical Composition. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | William Bechtel, Adele Abrahamsen, Benjamin Sheredos |
Using Diagrams to Reason About Biological Mechanisms. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | James E. Corter |
Euler Box Diagrams to Represent Independent and Non-independent Events. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Timm Lampert |
Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Sven Linker |
Sequent Calculus for Euler Diagrams. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Roman Klapaukh, Stuart Marshall, David J. Pearce 0001 |
A Symmetry Metric for Graphs and Line Diagrams. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Gem Stapleton, Atsushi Shimojima, Mateja Jamnik |
The Observational Advantages of Euler Diagrams with Existential Import. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Richard K. Lowe, Jean-Michel Boucheix, Marilyne Menant |
Perceptual Processing and the Comprehension of Relational Information in Dynamic Diagrams. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima |
On Diagrams and General Model Checkers. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Ryo Takemura |
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Keith Stenning |
Diagrams and Nonmonotonic Logic: What Is the Cognitive Relation? |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Jennifer G. Cromley, Kyle Mara |
Comparing and Contrasting Within Diagrams: An Effective Study Strategy. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Yuri Engelhardt, Clive Richards |
A Framework for Analyzing and Designing Diagrams and Graphics. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Christophe Eckes, Valeria Giardino |
The Classificatory Function of Diagrams: Two Examples from Mathematics. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Almas Baimagambetov, John Howse, Gem Stapleton, Aidan J. Delaney |
Generating Effective Euler Diagrams. |
Diagrams |
2018 |
DBLP DOI BibTeX RDF |
|