dblp.uni-trier.dewww.uni-trier.de

Nik Swoboda

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EEDave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda: Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams 2008: 347-349
2007
12EERuben Vazquez, Nik Swoboda: Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping. OTM Conferences (1) 2007: 814-831
11EEDave Barker-Plummer, Nik Swoboda: A Sequent Based Logic for Coincidence Grids. VLL 2007: 1-12
2006
10 Dave Barker-Plummer, Richard Cox, Nik Swoboda: Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings Springer 2006
2005
9EENik Swoboda, Gerard Allwein: Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. Electr. Notes Theor. Comput. Sci. 134: 153-187 (2005)
2004
8EEPatrick G. T. Healey, James King, Nik Swoboda: Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction. Diagrams 2004: 286-300
7EENicolas Fay, Nik Swoboda, Takugo Fukaya, Ichiro Umata, Yasuhiro Katagiri: Using Graphics to Communicate Across Cultures. Diagrams 2004: 347-350
6EENik Swoboda, Gerard Allwein: Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Software and System Modeling 3(2): 136-149 (2004)
2003
5EENik Swoboda, Gerard Allwein: Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
2002
4EEPatrick G. T. Healey, Nik Swoboda, James King: An Environment for Conducting and Analysing Graphical Communication Experiments. Diagrams 2002: 103-105
3EENik Swoboda, Gerard Allwein: Modeling Heterogeneous Systems. Diagrams 2002: 131-145
2EEPatrick G. T. Healey, Nik Swoboda, Ichiro Umata, Yasuhiro Katagiri: Graphical representation in graphical dialogue. Int. J. Hum.-Comput. Stud. 57(4): 375-395 (2002)
1 Nik Swoboda, J. Gregory Trafton: Diagrams 2002. KI 16(4): 45 (2002)

Coauthor Index

1Gerard Allwein [3] [5] [6] [9]
2Dave Barker-Plummer [10] [11] [13]
3Richard Cox [10]
4John Etchemendy [13]
5Nicolas Fay [7]
6Takugo Fukaya [7]
7Patrick G. T. Healey [2] [4] [8]
8Yasuhiro Katagiri [2] [7]
9James King [4] [8]
10Albert Liu [13]
11Michael Murray [13]
12J. Gregory Trafton [1]
13Ichiro Umata [2] [7]
14Ruben Vazquez [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)