Search the dblp DataBase

Publications of Author

1. Patrick G. T. Healey, James King, Nik Swoboda
   Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2004, pp:286-300 [Conf]
   
2. Patrick G. T. Healey, Nik Swoboda, James King
   An Environment for Conducting and Analysing Graphical Communication Experiments. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2002, pp:103-105 [Conf]
   
3. Nicolas Fay, Nik Swoboda, Takugo Fukaya, Ichiro Umata, Yasuhiro Katagiri
   Using Graphics to Communicate Across Cultures. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2004, pp:347-350 [Conf]
   
4. Nik Swoboda, Gerard Allwein
   Modeling Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2002, pp:131-145 [Conf]
   
5. Nik Swoboda, Gerard Allwein
   Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
   
6. Nik Swoboda, Gerard Allwein
   Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:134, n:, pp:153-187 [Journal]
   
7. Patrick G. T. Healey, Nik Swoboda, Ichiro Umata, Yasuhiro Katagiri
   Graphical representation in graphical dialogue. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 2002, v:57, n:4, pp:375-395 [Journal]
   
8. Nik Swoboda, J. Gregory Trafton
   Diagrams 2002. [Citation Graph (0, 0)][DBLP]
   KI, 2002, v:16, n:4, pp:45- [Journal]
   
9. Nik Swoboda, Gerard Allwein
   Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2004, v:3, n:2, pp:136-149 [Journal]
   
10. Ruben Vazquez, Nik Swoboda
    Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:814-831 [Conf]
    
11. 
    Openproof - A Flexible Framework for Heterogeneous Reasoning. [Citation Graph (, )][DBLP]
    
    
12. 
    A Sequent Based Logic for Coincidence Grids. [Citation Graph (, )][DBLP]