Martin Giese

	2009
15		Martin Giese, Arild Waaler: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings Springer 2009
	2007
14		Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: The KeY system 1.0 (Deduction Component). CADE 2007: 379-384
13		Martin Giese: Superposition-based Equality Handling for Analytic Tableaux. J. Autom. Reasoning 38(1-3): 127-153 (2007)
	2006
12		Martin Giese: Saturation Up to Redundancy for Tableau and Sequent Calculi. LPAR 2006: 182-196
	2005
11		Martin Giese, Daniel Larsson: Simplifying Transformations of OCL Constraints. MoDELS 2005: 309-323
10		Martin Giese: A Calculus for Type Predicates and Type Coercion. TABLEAUX 2005: 123-137
9		Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt: The KeY tool. Software and System Modeling 4(1): 32-54 (2005)
	2004
8		Martin Giese, Rogardt Heldal: From Informal to Formal Specifications in UML. UML 2004: 197-211
7		Martin Giese: Taclets and the KeY Prover. Electr. Notes Theor. Comput. Sci. 103: 67-79 (2004)
	2003
6		Martin Giese: Simplification Rules for Constrained Formula Tableaux. TABLEAUX 2003: 65-80
	2002
5		Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt: The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330
4		Martin Giese: A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. TABLEAUX 2002: 130-144
	2001
3		Martin Giese: Incremental Closure of Free Variable Tableaux. IJCAR 2001: 545-560
	2000
2		Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36
	1999
1		Martin Giese, Wolfgang Ahrendt: Hilbert's epsilon-Terms in Automated Theorem Proving. TABLEAUX 1999: 171-185

Coauthor Index

1	Wolfgang Ahrendt	[1] [2] [5] [9]
2	Thomas Baar	[2] [5] [9]
3	Bernhard Beckert	[2] [5] [9] [14]
4	Richard Bubel	[9]
5	Elmar Habermalz	[2] [5]
6	Reiner Hähnle	[2] [5] [9] [14]
7	Rogardt Heldal	[8]
8	Vladimir Klebanov	[14]
9	Daniel Larsson	[11]
10	Wolfram Menzel	[2] [5] [9]
11	Wojciech Mostowski	[5] [9]
12	Andreas Roth	[9]
13	Philipp Rümmer	[14]
14	Steffen Schlager	[9] [14]
15	Peter H. Schmitt	[2] [5] [9] [14]
16	Arild Waaler	[15]

Colors in the list of coauthors