2008 |
13 | EE | Dave Barker-Plummer,
John Etchemendy,
Albert Liu,
Michael Murray,
Nik Swoboda:
Openproof - A Flexible Framework for Heterogeneous Reasoning.
Diagrams 2008: 347-349 |
2007 |
12 | EE | Ruben Vazquez,
Nik Swoboda:
Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping.
OTM Conferences (1) 2007: 814-831 |
11 | EE | Dave 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 |
9 | EE | Nik Swoboda,
Gerard Allwein:
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL.
Electr. Notes Theor. Comput. Sci. 134: 153-187 (2005) |
2004 |
8 | EE | Patrick G. T. Healey,
James King,
Nik Swoboda:
Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction.
Diagrams 2004: 286-300 |
7 | EE | Nicolas Fay,
Nik Swoboda,
Takugo Fukaya,
Ichiro Umata,
Yasuhiro Katagiri:
Using Graphics to Communicate Across Cultures.
Diagrams 2004: 347-350 |
6 | EE | Nik 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 |
5 | EE | Nik 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 |
4 | EE | Patrick G. T. Healey,
Nik Swoboda,
James King:
An Environment for Conducting and Analysing Graphical Communication Experiments.
Diagrams 2002: 103-105 |
3 | EE | Nik Swoboda,
Gerard Allwein:
Modeling Heterogeneous Systems.
Diagrams 2002: 131-145 |
2 | EE | Patrick 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) |