Author: Nik Swoboda
Publications
Co-authors
Productive Colleagues
Publications
Barker-Plummer, Dave, Swoboda, Nik (2011): Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity. In J. Vis. Lang. Comput., 22 (1) pp. 56-65. https://dx.doi.org/10.1016/j.jvlc.2010.11.006
Healey, Patrick G. T., Swoboda, Nik, Umata, Ichiro, Katagiri, Yasuhiro (2002): Graphical representation in graphical dialogue. In International Journal of Human-Computer Studies, 57 (4) pp. 375-395.
Barker-Plummer, Dave, Cox, Richard, Swoboda, Nik (eds.) Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference June 28-30, 2006, Stanford, CA, USA.
Healey, Patrick G. T., King, James, Swoboda, Nik (2004): Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 286-300. https://link.springer.de/link/service/series/0558/bibs/2980/29800286.htm
Healey, Patrick G. T., Swoboda, Nik, King, James (2002): An Environment for Conducting and Analysing Graphical Communication Experiments. In: Hegarty, Mary, Meyer, Bernd, Narayanan, N. Hari (eds.) Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference April 18-20, 2002, Callaway Gardens, GA, USA. pp. 103-105. https://link.springer.de/link/service/series/0558/bibs/2317/23170103.htm
Fay, Nicolas, Swoboda, Nik, Fukaya, Takugo, Umata, Ichiro, Katagiri, Yasuhiro (2004): Using Graphics to Communicate Across Cultures. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 347-350. https://link.springer.de/link/service/series/0558/bibs/2980/29800347.htm
Swoboda, Nik, Allwein, Gerard (2002): Modeling Heterogeneous Systems. In: Hegarty, Mary, Meyer, Bernd, Narayanan, N. Hari (eds.) Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference April 18-20, 2002, Callaway Gardens, GA, USA. pp. 131-145. https://link.springer.de/link/service/series/0558/bibs/2317/23170131.htm
Barker-Plummer, Dave, Etchemendy, John, Liu, Albert, Murray, Michael, Swoboda, Nik (2008): Openproof - A Flexible Framework for Heterogeneous Reasoning. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 347-349. https://dx.doi.org/10.1007/978-3-540-87730-1_32
Barker-Plummer, Dave, Swoboda, Nik (2007): A Sequent Based Logic for Coincidence Grids. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 1-12. https://ceur-ws.org/Vol-274/paper1.pdf