Negations in Simple Concept Graphs. - Frithjof Dau (ICCS, 2000)

Concept Graphs and Predicate Logic. - Frithjof Dau (ICCS, 2001)

An Embedding of Existential Graphs into Concept Graphs with Negations. - Frithjof Dau (ICCS, 2002)

The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic - Frithjof Dau (Springer, 2003)

Query Graphs with Cuts: Mathematical Foundations. - Frithjof Dau (Diagrams, 2004)

Types and Tokens for Logic with Diagrams. - Frithjof Dau (ICCS, 2004)

Background Knowledge in Concept Graphs. - Frithjof Dau (ICFCA, 2004)

From Formal Concept Analysis to Contextual Logic. - Frithjof Dau; Julia Klinger (Formal Concept Analysis, 2005)

Variables in Concept Graphs. - Frithjof Dau (ICCS, 2005)

Fixing Shin's Reading Algorithm for Peirce's Existential Graphs. - Frithjof Dau (Diagrams, 2006)

Some Notes on Proofs with Alpha Graphs. - Frithjof Dau (ICCS, 2006)

Two Instances of Peirce's Reduction Thesis. - Frithjof Dau; Joachim Hereth Correia (ICFCA, 2006)

RDF as Graph-Based, Diagrammatic Logic. - Frithjof Dau (ISMIS, 2006)

A Formalism for Navigating and Editing XML Document Structure. - Frithjof Dau; Mark Sifer (DNIS, 2007)

Constants and Functions in Peirce's Existential Graphs. - Frithjof Dau (ICCS, 2007)

A Diagrammatic Reasoning System for ALC. - Frithjof Dau; Peter W. Eklund (KSEM, 2007)

A Peirce Style Calculus for ALC. - Frithjof Dau; Peter W. Eklund (VLL, 2007)

Concept Similarity and Related Categories in SearchSleuth. - Frithjof Dau; Jon Ducrou; Peter W. Eklund (ICCS, 2008)

Conceptual Spider Diagrams. - Frithjof Dau; Andrew Fish (ICCS, 2008)

Using OWL DL Reasoning to Decide about authorization in RBAC. - Martin Knechtel; Jan Hladik; Frithjof Dau (OWLED, 2008)

A diagrammatic reasoning system for the description logic I. - Frithjof Dau; Peter W. Eklund (J. Vis. Lang. Comput., 2008)

Access Policy Design Supported by FCA Methods. - Frithjof Dau; Martin Knechtel (ICCS, 2009)

The Advent of Formal Diagrammatic Reasoning Systems. - Frithjof Dau (ICFCA, 2009)

Xeena for schema: creating XML documents with a coordinated grammar tree. - Mark Sifer; Frithjof Dau; Helen Hasan; Kate Crawford 001; Yardena Peres; Yoelle Maarek (Int. J. Comput. Sci. Eng., 2010)

An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores. - Frithjof Dau; Baris Sertkaya (CUBIST Workshop, 2011)

Formal Concept Analysis for Qualitative Data Analysis over Triple Stores. - Frithjof Dau; Baris Sertkaya (ER Workshops, 2011)

Semantic Technologies for Enterprises. - Frithjof Dau (ICCS, 2011)

Concept similarity and related categories in information retrieval using formal concept analysis. - Peter W. Eklund; Jon Ducrou; Frithjof Dau (Int. J. Gen. Syst., 2012)

An Implementation for Fault Tolerance and Experimental Results. - Frithjof Dau (CUBIST Workshop, 2013)

Towards Scalingless Generation of Formal Contexts from an Ontology in a Triple Store. - Frithjof Dau (Int. J. Concept. Struct. Smart Appl., 2013)

Combining Business Intelligence with Semantic Technologies: The CUBIST Project. - Frithjof Dau; Simon Andrews (ICCS, 2014)