Mateja Jamnik

2008
18	EE	M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine: Diagrammatic Reasoning in Separation Logic. Diagrams 2008: 408-411
17	EE	Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)
2006
16	EE	Louise A. Dennis, Mateja Jamnik, Martin Pollet: On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Electr. Notes Theor. Comput. Sci. 151(1): 93-110 (2006)
2005
15	EE	Mateja Jamnik, Alan Bundy: Psychological Validity of Schematic Proofs. Mechanizing Mathematical Reasoning 2005: 321-341
2004
14	EE	Daniel Winterstein, Alan Bundy, Mateja Jamnik: On Differences between the Real and Physical Plane. Diagrams 2004: 29-31
13	EE	Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams 2004: 432-434
12	EE	Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431
2003
11	EE	Mateja Jamnik, Predrag Janicic: Learning Strategies for Mechanised Building of Decision Procedures. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
10	EE	Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller: Automatic Learning of Proof Methods in Proof Planning. Logic Journal of the IGPL 11(6): 647-673 (2003)
2002
9	EE	Mateja Jamnik, Manfred Kerber, Martin Pollet: Learn Omega-matic: System Description. CADE 2002: 150-155
8	EE	Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: Using Animation in Diagrammatic Theorem Proving. Diagrams 2002: 46-60
7		Mateja Jamnik, Manfred Kerber, Martin Pollet: Automatic Learning in Proof Planning. ECAI 2002: 282-286
2001
6	EE	Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424
2000
5	EE	Daniel Winterstein, Alan Bundy, Mateja Jamnik: A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. Diagrams 2000: 286-299
1999
4	EE	Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
3		Mateja Jamnik, Alan Bundy, Ian Green: On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8(3): 297-321 (1999)
1997
2		Mateja Jamnik: Automation of Diagrammatic Proofs in Mathematics. IJCAI 1997: 1541
1		Mateja Jamnik, Alan Bundy, Ian Green: Automation of Diagrammatic Reasoning. IJCAI (1) 1997: 528-533

Coauthor Index

1	Nick Benton (P. N. Benton)	[18]
2	Christoph Benzmüller (Christoph Benzmueller)	[4] [6] [10] [12] [17]
3	Josh Berdine	[18]
4	Alan Bundy	[1] [3] [5] [8] [13] [14] [15]
5	Louise A. Dennis	[16]
6	Ian Green	[1] [3]
7	Corin A. Gurr	[8] [13]
8	Predrag Janicic	[11]
9	Manfred Kerber	[4] [6] [7] [9] [10] [12] [17]
10	Martin Pollet	[7] [9] [10] [16]
11	M. Ridsdale	[18]
12	Volker Sorge	[4] [6] [12] [17]
13	Daniel Winterstein	[5] [8] [13] [14]

Colors in the list of coauthors