Martin Giese

	2011
21		Rachel McDonnell, Simon J. Thorpe, Stephen N. Spencer, Diego Gutierrez, Martin Giese: Proceedings of the 8th Symposium on Applied Perception in Graphics and Visualization, APGV 2011, Toulouse, France, August 27-28, 2011 ACM 2011
	2010
20		Magdalena Ivanovska, Martin Giese: Probabilistic Logic with Conditional Independence Formulae. ECAI 2010: 983-984
19		Magdalena Ivanovska, Martin Giese: Probabilistic Logic with Conditional Independence Formulae. STAIRS 2010: 127-139
18		Martin Giese, Andrew Ireland, Laura Kovács: Introduction. J. Symb. Comput. 45(11): 1097-1100 (2010)
17		Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer: Practical Aspects of Automated Deduction for Program Verification. KI 24(1): 43-49 (2010)
	2009
16		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
15		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
14		Martin Giese: Superposition-based Equality Handling for Analytic Tableaux. J. Autom. Reasoning 38(1-3): 127-153 (2007)
	2006
13		Martin Giese: Saturation Up to Redundancy for Tableau and Sequent Calculi. LPAR 2006: 182-196
	2005
12		Martin Giese, Daniel Larsson: Simplifying Transformations of OCL Constraints. MoDELS 2005: 309-323
11		Martin Giese: A Calculus for Type Predicates and Type Coercion. TABLEAUX 2005: 123-137
10		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
9		Martin Giese, Rogardt Heldal: From Informal to Formal Specifications in UML. UML 2004: 197-211
8		Martin Giese: Taclets and the KeY Prover. Electr. Notes Theor. Comput. Sci. 103: 67-79 (2004)
	2003
7		Martin Giese: Simplification Rules for Constrained Formula Tableaux. TABLEAUX 2003: 65-80
	2002
6		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
5		Martin Giese: A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. TABLEAUX 2002: 130-144
4		Martin Giese: Proof search without backtracking for free variable tableaux. Karlsruhe Institute of Technology 2002: 1-146
	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] [6] [10] [17]
2	Thomas Baar	[2] [6] [10]
3	Bernhard Beckert	[2] [6] [10] [15] [17]
4	Richard Bubel	[10]
5	Diego Gutierrez	[21]
6	Elmar Habermalz	[2] [6]
7	Reiner Hähnle	[2] [6] [10] [15]
8	Rogardt Heldal	[9]
9	Andrew Ireland	[18]
10	Magdalena Ivanovska	[19] [20]
11	Vladimir Klebanov	[15]
12	Laura Kovács (Laura Ildikó Kovács)	[18]
13	Daniel Larsson	[12]
14	Rachel McDonnell	[21]
15	Wolfram Menzel	[2] [6] [10]
16	Wojciech Mostowski	[6] [10]
17	Andreas Roth	[10]
18	Philipp Rümmer	[15] [17]
19	Steffen Schlager	[10] [15]
20	Peter H. Schmitt	[2] [6] [10] [15]
21	Stephen N. Spencer	[21]
22	Simon J. Thorpe	[21]
23	Arild Waaler	[16]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page