Author: Mateja Jamnik

Publication Overview

Publication period start: 2008

Number of co-authors: 6

Co-Authors

Number of publications with favourite co-authors

Corin A. Gurr

Daniel Winterstein

Alan Bundy

Productive Colleagues

Most productive colleagues in number of publications

Daniel Winterstein

Corin A. Gurr

Alan Bundy

Publications

Winterstein, Daniel, Bundy, Alan, Gurr, Corin A., Jamnik, Mateja (2002): Using Animation in Diagrammatic Theorem Proving. 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. 46-60. https://link.springer.de/link/service/series/0558/bibs/2317/23170046.htm

Winterstein, Daniel, Bundy, Alan, Gurr, Corin A., Jamnik, Mateja (2004): An Experimental Comparison of Diagrammatic and Algebraic Logics. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 432-434. https://link.springer.de/link/service/series/0558/bibs/2980/29800432.htm

Winterstein, Daniel, Bundy, Alan, Jamnik, Mateja (2000): A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. In: Anderson, Michael, Cheng, Peter C-H., Haarslev, Volker (eds.) Diagrams 2000 - Theory and Application of Diagrams - First International Conference September 1-3, 2000, Edinburgh, Scotland, UK. pp. 286-299. https://link.springer.de/link/service/series/0558/bibs/1889/18890286.htm

Winterstein, Daniel, Bundy, Alan, Jamnik, Mateja (2004): On Differences between the Real and Physical Plane. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 29-31. https://link.springer.de/link/service/series/0558/bibs/2980/29800029.htm

Ridsdale, M., Jamnik, Mateja, Benton, Nick, Berdine, Josh (2008): Diagrammatic Reasoning in Separation 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. 408-411. https://dx.doi.org/10.1007/978-3-540-87730-1_50