Author: Nik Swoboda
Publication Overview
Publication period start: 2011
Number of co-authors: 12
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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