|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6567 occurrences of 2646 keywords
|
|
|
Results
Found 10326 publication records. Showing 10326 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Osami Yamamoto |
An Acceleration Technique for the Computation of Voronoi Diagrams Using Graphics Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part I, pp. 786-795, 2005, Springer, 3-540-25860-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Radomir S. Stankovic, Mark G. Karpovsky |
Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers, pp. 301-310, 2005, Springer, 3-540-29002-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Christoph Eichner, Hans Fleischhack, Roland Meyer 0001, Ulrik Schrimpf, Christian Stehno |
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, pp. 133-148, 2005, Springer, 3-540-26612-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Michael Diehl, Yacov Y. Haimes |
Influence diagrams with multiple objectives and tradeoff analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(3), pp. 293-304, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Prasanna Thati, Carolyn L. Talcott, Gul Agha |
Techniques for Executing and Reasoning about Specification Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 521-536, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus |
28 | Radomir S. Stankovic, Jaakko Astola |
Edge-Valued Decision Diagrams for Multiple-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada, pp. 229-234, 2004, IEEE Computer Society, 0-7695-2130-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Baowen Xu, Dazhou Kang, Jianjiang Lu |
A Structural Complexity Measure for UML Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I, pp. 421-424, 2004, Springer, 3-540-22114-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Claes Wohlin, Aybüke Aurum |
An Evaluation of Checklist-Based Reading for Entity-Relationship Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 9th IEEE International Software Metrics Symposium (METRICS 2003), 3-5 September 2003, Sydney, Australia, pp. 286-, 2003, IEEE Computer Society, 0-7695-1987-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Andrew Fish, John Howse |
Computing Reading Trees for Constraint Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![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, pp. 260-274, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana, Ugo de Carlini |
Abstracting Business Level UML Diagrams from Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSE ![In: 5th International Workshop on Web Site Evolution (WSE 2003) - Architecture, 22 September 2003, Amsterdam, The Netherlands, pp. 12-19, 2003, IEEE Computer Society, 0-7695-2016-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Reverse Engineering, Object Orientation, Web Engineering |
28 | Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai |
Behavioral Consistency Validation of UML Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 118-125, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Tetsuro Katayama |
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, pp. 475-484, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
diagram transformation editor, Unified Modeling Language (UML), object-oriented design, modeling tool, transformation rules |
28 | Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song |
Multidimensional Modeling with UML Package Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2002, 21st International Conference on Conceptual Modeling, Tampere, Finland, October 7-11, 2002, Proceedings, pp. 199-213, 2002, Springer, 3-540-44277-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML packages, UML, data warehouses, multidimensional modeling, UML extension |
28 | Frank Ruskey |
Drawing Venn Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers, pp. 381, 2002, Springer, 3-540-00158-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst |
Performance analysis of time-enhanced UML diagrams based on stochastic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 25-34, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
QoS performance modeling, model evaluation techniques, tools and techniques, transient and steady-state analysis of generalized semi-Markov processes |
28 | Simona Bernardi 0001, Susanna Donatelli, José Merseguer |
From UML sequence diagrams and statecharts to analysable petrinet models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 35-45, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
modeling, UML, compositionality, GSPN |
28 | Eric A. Hansen, Rong Zhou 0001, Zhengzhu Feng |
Symbolic Heuristic Search Using Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings, pp. 83-98, 2002, Springer, 3-540-43941-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Pawel Kerntopf |
An Approach to Minimization of Decision Diagrams . ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 4-6 September 2001, Warsaw, Poland, pp. 79-86, 2001, IEEE Computer Society, 0-7695-1239-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Øystein Haugen |
From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings, pp. 38-51, 2001, Springer, 3-540-42281-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Petri Selonen, Tarja Systä, Kai Koskimies |
Generating Structured Implementation Schemes from UML Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (39) ![In: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, TOOLS USA 2001, Santa Barbara, CA, USA, July 29 - August 3, 2001, pp. 317-330, 2001, IEEE Computer Society, 0-7695-1251-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim |
A CSP View on UML-RT Structure Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 91-108, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Edward Lank, Jeb S. Thorley, Sean Chen, Dorothea Blostein |
On-Line Recognition of UML Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 10-13 September 2001, Seattle, WA, USA, pp. 356-360, 2001, IEEE Computer Society, 0-7695-1263-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Joseph Gil, John Howse, Stuart Kent 0001 |
Formalizing Spider Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 130-137, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
formal methods, software specification, Visual formalisms |
28 | Donia Scott, Richard Power |
Generating Textual Diagrams and Diagrammatic Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cooperative Multimodal Communication ![In: Cooperative Multimodal Communication, Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998, Revised Papers, pp. 13-29, 1998, Springer, 3-540-42806-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Ralph Rönnquist, Chi Keen Low |
Formalisation of Interaction Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 318-, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
concurrent object oriented system, multi-agent system, fragmentation, Interaction diagram |
28 | Amelia Shen, Srinivas Devadas, Abhijit Ghosh |
Probabilistic manipulation of Boolean functions using free Boolean diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(1), pp. 87-95, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Mark D. Gross |
Recognizing and Interpreting Diagrams in Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Visual Interfaces ![In: Proceedings of the Workshop on Advanced Visual Interfaces, AVI 1994, Bari, Italy, June 1-4, 1994, pp. 88-94, 1994, ACM, 0-89791-733-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Allan M. Krall, Robert Fornaro |
An algorithm for generating root locus diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 10(3), pp. 186-188, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
27 | Yusuke Matsumoto, Keiko Imai, Hisashi Suzuki |
Curved Voronoi Diagrams Consisting of Influence Areas with Differentiable Boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2007, Pontypridd, Wales, UK, July 9-12, 2007, pp. 270-275, 2007, IEEE Computer Society, 0-7695-2869-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Franz Aurenhammer, Johannes Wallner 0001, Martin Peternell, Helmut Pottmann |
Voronoi Diagrams for Oriented Spheres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2007, Pontypridd, Wales, UK, July 9-12, 2007, pp. 33-37, 2007, IEEE Computer Society, 0-7695-2869-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Marta Fort, Joan Antoni Sellarès |
Generalized Higher-Order Voronoi Diagrams on Polyhedral Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2007, Pontypridd, Wales, UK, July 9-12, 2007, pp. 74-83, 2007, IEEE Computer Society, 0-7695-2869-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Guodong Rong, Tiow Seng Tan |
Variants of Jump Flooding Algorithm for Computing Discrete Voronoi Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2007, Pontypridd, Wales, UK, July 9-12, 2007, pp. 176-181, 2007, IEEE Computer Society, 0-7695-2869-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Arash Hooshmand, Saeed Shamshiri, Mohammad Alisafaee, Bijan Alizadeh, Pejman Lotfi-Kamran, Mostafa Naderi, Zainalabedin Navabi |
Binary Taylor diagrams: an efficient implementation of Taylor expansion diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 424-427, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Karen Corral, David Schuff, Robert D. St. Louis |
The impact of alternative diagrams on the accuracy of recall: A comparison of star-schema diagrams and entity-relationship diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 42(1), pp. 450-468, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Federico Fernandez, Jaime Navón |
Towards a practical model to facilitate reasoning about REST extensions and reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-REST ![In: Proceedings of the First International Workshop on RESTful Design, WS-REST 2010, Raleigh, North Carolina, USA, April 26, 2010, pp. 31-38, 2010, ACM, 978-1-60558-959-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
extended influence diagrams, network-based software, web service, software architecture, software design, REST, restful, architectural styles, influence diagrams, representational state transfer |
25 | Michael Decker |
An UML profile for the modelling of mobile business processes and workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiMedia ![In: Proceedings of the 5th International Conference on Mobile Multimedia Communications, MobiMedia 2009, London, UK, September 7-9, 2009, 2009, ICST, 978-963-9799-62-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams |
25 | Andrei Rimsa, Luis E. Zárate, Mark A. J. Song |
Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part I, pp. 367-376, 2009, Springer, 978-3-642-01969-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Zero-Supressed Binary Decision Diagrams, Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept |
25 | Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata |
Component-based application development on architecture of a model, UI and components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 349-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
component-based application development, M-base application development environment, message-driven model, message flow a, transition diagrams, external specifications, IPSJ sigRE group, distributed systems, user interfaces, user interface, software architecture, groupware, computation model, object-oriented model, object-oriented methods, diagrams, domain model, cooperative work, personal computing, subroutines, modeling tool, simulation tool, end-user computing, system behavior, application architecture, feasibility study |
25 | Toshihiko Tsumaki, Yoshitomi Morisawa |
A framework of requirements tracing using UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 206-213, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
industrial-standard visual modeling language, Object Management Group, model changes, change tracking, influence analysis, production sequence, model element correction, Unified Modeling Language, software development, specification languages, systems analysis, visual languages, diagrams, UML diagrams, requirements tracing, model searching |
25 | Philippe Chatalic, Laurent Simon |
Multi-resolution on compressed sets of clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 2-10, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs |
25 | Zinovy Diskin |
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 182-189, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations |
25 | Andrei Borshchev, Yuri G. Karpov, Victor Roudakov |
Systems modeling, simulation and analysis using COVERS active objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 220-227, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems |
25 | George R. Ribeiro-Justo |
A rigorous method for the constructive design of parallel and distributed programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 319-328, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
constructive design, distributed systems engineers, well-structured programs, SASD, behavioural specifications, performance, formal specification, parallel programming, parallel programs, formal verification, specification, program verification, CSP, distributed programs, software performance evaluation, diagrams, diagrams, communicating systems, communicating sequential processes, sequential systems |
25 | Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay |
The Software Architect's Assistant-a visual environment for distributed programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 254-263, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Software Architect's Assistant, software architectural view, informal program design, prototype visual programming environment, Regis distributed programs, textual views, graphical views, formatted reports, design diagrams, graphical monitoring, parallel programming, parallel programs, software development, software tools, programming environments, software reuse, visual programming, software reusability, distributed programming, distributed programs, diagrams, automatic programming, software libraries, intelligent assistance, visual techniques, visual environment, design information, automatic program generation, component libraries, software design process |
25 | Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola |
Parsing Nonlinear Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(9), pp. 720-739, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
nonlinear language parsing, diagrammatic approach, computer-aided software development toolkits, VLG system, Visual Language Generator, icon-oriented visual languages, syntactical model, nonlinear languages, relation grammars, general parsing algorithm, multidimensional languages, user interfaces, graphical user interfaces, software tools, programming environments, visual programming, visual languages, visual language, parsing, grammars, diagrams, diagrams, graph grammars, rewriting rules, graphical languages, charts, visual programming environments, visual query systems |
25 | Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana (eds.) |
Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![Springer, 978-3-031-15145-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Dave Beisecker, Amirouche Moktefi |
John Cook Wilson's Hanging Plants: A Contribution to the History of Early Logic Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 338-346, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Tuomo Hiippala, John A. Bateman |
Introducing the Diagrammatic Semiotic Mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 3-19, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Chenmu Xing, Megan R. Bender, Leticia Cossi de Souza |
Comparison of Diagram Use for Visualizing Probability Problems in U.S. and Chinese Textbooks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 378-381, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Yuri Sato 0001, Koji Mineshima |
Visually Analyzing Universal Quantifiers in Photograph Captions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 373-377, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Simon Weisgerber |
Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 37-53, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Axel Arturo Barceló-Aspeitia |
How to Visually Represent Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 218-225, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | José Martín Castro-Manzano |
Mixing Colors, Mixing Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 70-77, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Guy Clarke Marshall, Caroline Jay, André Freitas |
Why Scholars Are Diagramming Neural Network Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 202-209, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Pedro Falcão |
Visualizing Polymorphisms and Counter-Polymorphisms in S5 Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 296-311, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Dirk Schlimm |
Tables as Powerful Representational Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 185-201, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Michal Sochanski |
Representing Formulas of Propositional Logic by Cographs, Permutations and Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 312-320, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Marcos Bautista López Aznar |
How to Build and Convert Complex Propositions in the Marlo Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 359-363, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Peter C.-H. Cheng, Aaron Stockdill, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik |
Representational Interpretive Structure: Theory and Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 54-69, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Matteo Pascucci, Claudio E. A. Pizzi |
Normatively Determined Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings, pp. 78-85, 2022, Springer, 978-3-031-15145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana (eds.) |
Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![Springer, 978-3-030-86061-5 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Amirouche Moktefi, Reetu Bhattacharjee |
What Are Rules for? A Carroll-Peirce Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 251-254, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Javier Legris |
On Identity in Peirce's Beta Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 238-245, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Viktor A. Uglev, Oleg Sychev |
Concentrating Competency Profile Data into Cognitive Map of Knowledge Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 443-446, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Aaron Stockdill, Mateja Jamnik |
Cognitive Properties of Representations: A Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 415-430, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Lisa A. Best, Claire Goggin |
The Science of Seeing Science: Examining the Visuality Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 339-347, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Oleg Sychev |
Visualizing Program State as a Clustered Graph for Learning Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 404-407, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Arnold Oostra |
Equivalence Proof for Intuitionistic Existential Alpha Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 188-195, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Brandon Boesch |
Diagrammatic Representations of Uncertainty in Meteorological Forecasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 466-479, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Matteo Pascucci, Giovanni Sileno |
The Search for Symmetry in Hohfeldian Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 87-102, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Dirk Schlimm |
How Can Numerals Be Iconic? More Varieties of Iconicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 520-528, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Márcia R. Cerioli, Leandro Suguitani, Petrucio Viana |
Presenting Basic Graph Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 132-148, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Markus Berger |
Modeling Multimodal Interactions and Feedback for Embodied Geovisualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 488-491, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Michael A. R. Biggs |
Wittgenstein's Picture-Investigations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 103-117, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yanze Liu, Peter C.-H. Cheng |
Evidence of Chunking in a Simple Drawing Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 28-31, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yuri Sato 0001, Koji Mineshima |
Can Humans and Machines Classify Photographs as Depicting Negation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 348-352, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yuri Uesaka, Shun Saso, Takeshi Akisawa |
How Can We Statistically Analyze the Achievement of Diagrammatic Competency from High School Regular Tests? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 562-566, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Henrik Kragh Sørensen |
Beyond Counting: Measuring Diagram Intensity in Mathematical Research Papers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 63-70, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | José David García Cruz |
What Kind of Opposition-Forming Operator is Privation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 118-131, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik |
Observing Strategies of Drawing Data Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 537-552, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Valentin Pluder, Jens Lemanski |
A Diagrammatic Representation of Hegel's Science of Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 255-259, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Tabea Rohr |
Truth Tables Without Truth Values: On 4.27 and 4.42 of Wittgenstein's Tractatus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 212-220, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng |
Considerations in Representation Selection for Problem Solving: A Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 35-51, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Hakob Barseghyan |
Diagramming Imprecise and Incomplete Temporal Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 279-286, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Steffen Strunge Mathiesen, Hans-Jörg Schulz |
Aesthetics and Ordering in Stacked Area Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 3-19, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Pedro Falcão |
New Representations of Modal Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 271-278, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Mario Bacelar Valente |
On the Relationship Between Geometric Objects and Figures in Euclidean Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 71-78, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Nikita Dev Lomov, Weidong Huang 0001, Jing Luo, Quang Vinh Nguyen |
Cognitive Style's Effects on User Task Performance in Network Visualisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 439-442, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ahti-Veikko Pietarinen |
Peirce's Diagrammatic Solutions to 'Peirce's Puzzle'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 246-250, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Frank Thomas Sautter, Bruno Ramos Mendonça |
Validity as Choiceless Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 204-211, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Nathan Haydon, Ahti-Veikko Pietarinen |
Residuation in Existential Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 229-237, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Mikhail Denisov, Anton Anikin 0001, Oleg Sychev |
Dynamic Flowcharts for Enhancing Learners' Understanding of the Control Flow During Programming Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 408-411, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Francesco Bellucci |
Tractarian Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 183-187, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden |
Extracting Interactive Actor-Based Dataflow Models from Legacy C Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 361-377, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jingyi Liu, Laura R. Novick |
Intentional Diagram Design: Using Gestalt Perceptual Grouping in Cladograms to Tackle Misconceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 431-438, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yuri Engelhardt, Clive Richards |
A Universal Grammar for Specifying Visualization Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 395-403, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James E. Corter, Sven Linker (eds.) |
Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![Springer, 978-3-030-54248-1 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Jacklynn Niemiec |
Visualizing Curricula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 544-547, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Dany Jaspers |
A Mentalist Look at Gaussian Clock Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 66-73, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Günter Wallner, Margit Pohl, Cynthia Graniczkowska, Kathrin Ballweg, Tatiana von Landesberger |
Influence of Shape, Density, and Edge Crossings on the Perception of Graph Differences - An Investigation Under Time Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 348-356, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 10326 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|