Frithjof Dau Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov: Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings Springer 2009
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Martin Knechtel: Access Policy Design Supported by FCA Methods. ICCS 2009: 141-154
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: The Advent of Formal Diagrammatic Reasoning Systems. ICFCA 2009: 38-56
2008
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Andrew Fish: Conceptual Spider Diagrams. ICCS 2008: 104-118
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Jon Ducrou, Peter W. Eklund: Concept Similarity and Related Categories in SearchSleuth. ICCS 2008: 255-268
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Knechtel, Jan Hladik, Frithjof Dau: Using OWL DL Reasoning to Decide about authorization in RBAC. OWLED 2008
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Peter W. Eklund: A diagrammatic reasoning system for the description logic I. J. Vis. Lang. Comput. 19(5): 539-573 (2008)
2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Mark Sifer: A Formalism for Navigating and Editing XML Document Structure. DNIS 2007: 96-114
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: Constants and Functions in Peirce's Existential Graphs. ICCS 2007: 429-442
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Peter W. Eklund: A Diagrammatic Reasoning System for ALC. KSEM 2007: 39-51
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Peter W. Eklund: A Peirce Style Calculus for ALC. VLL 2007: 55-71
2006
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: Fixing Shin's Reading Algorithm for Peirce's Existential Graphs. Diagrams 2006: 88-92
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: Some Notes on Proofs with Alpha Graphs. ICCS 2006: 172-188
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Joachim Hereth Correia: Two Instances of Peirce's Reduction Thesis. ICFCA 2006: 105-118
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: RDF as Graph-Based, Diagrammatic Logic. ISMIS 2006: 332-337
2005
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Marie-Laure Mugnier, Gerd Stumme: Conceptual Structures: Common Semantics for Sharing Knowledge, 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings Springer 2005
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Julia Klinger: From Formal Concept Analysis to Contextual Logic. Formal Concept Analysis 2005: 81-100
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: Variables in Concept Graphs. ICCS 2005: 152-165
2004
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: Query Graphs with Cuts: Mathematical Foundations. Diagrams 2004: 32-50
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: Types and Tokens for Logic with Diagrams. ICCS 2004: 62-93
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: Background Knowledge in Concept Graphs. ICFCA 2004: 156-171
2003
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic Springer 2003
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: An Embedding of Existential Graphs into Concept Graphs with Negations. ICCS 2002: 326-340
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: Concept Graphs and Predicate Logic. ICCS 2001: 72-86
2000
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau: Negations in Simple Concept Graphs. ICCS 2000: 263-276

Coauthor Index

1Joachim Hereth Correia [12]
2Jon Ducrou [21]
3Peter W. Eklund [15] [16] [19] [21]
4Andrew Fish [22]
5Jan Hladik [20]
6Julia Klinger [9]
7Martin Knechtel [20] [24]
8Sergei O. Kuznetsov [25]
9Marie-Laure Mugnier [10]
10Sebastian Rudolph [25]
11Mark Sifer [18]
12Gerd Stumme [10]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)