Martin Giese

2007
14	EE	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	EE	Martin Giese: Superposition-based Equality Handling for Analytic Tableaux. J. Autom. Reasoning 38(1-3): 127-153 (2007)
2006
12	EE	Martin Giese: Saturation Up to Redundancy for Tableau and Sequent Calculi. LPAR 2006: 182-196
2005
11	EE	Martin Giese, Daniel Larsson: Simplifying Transformations of OCL Constraints. MoDELS 2005: 309-323
10	EE	Martin Giese: A Calculus for Type Predicates and Type Coercion. TABLEAUX 2005: 123-137
9	EE	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	EE	Martin Giese, Rogardt Heldal: From Informal to Formal Specifications in UML. UML 2004: 197-211
7	EE	Martin Giese: Taclets and the KeY Prover. Electr. Notes Theor. Comput. Sci. 103: 67-79 (2004)
2003
6	EE	Martin Giese: Simplification Rules for Constrained Formula Tableaux. TABLEAUX 2003: 65-80
2002
5	EE	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	EE	Martin Giese: A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. TABLEAUX 2002: 130-144
2001
3	EE	Martin Giese: Incremental Closure of Free Variable Tableaux. IJCAR 2001: 545-560
2000
2	EE	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]

Colors in the list of coauthors