Dave Barker-Plummer

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2007
Publication period end
2011
Number of co-authors
6

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. http://dx.doi.org/10.1016/j.jvlc.2010.11.006

Cox, Richard, Dale, Robert, Etchemendy, John, Barker-Plummer, Dave (2008): Graphical Revelations: Comparing Students\' Translation Errors in Graphics and Logic. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 257-265. http://dx.doi.org/10.1007/978-3-540-87730-1_24

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. http://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. http://ceur-ws.org/Vol-274/paper1.pdf

Barker-Plummer, Dave, Cox, Richard, Swoboda, Nik (eds.) Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference June 28-30, 2006, Stanford, CA, USA.