Author: Mateja Jamnik

Publications

Publication period start: 2008
Number of co-authors: 6

Co-authors

Number of publications with favourite co-authors
Corin A. Gurr
2
Daniel Winterstein
4
Alan Bundy
4

Productive Colleagues

Most productive colleagues in number of publications
Daniel Winterstein
4
Corin A. Gurr
7
Alan Bundy
8

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

New to UX Design? We’re giving you a free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,235 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We’re Giving You a Free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,235 designers enjoy our newsletter—sure you don’t want to receive it?