Search the dblp DataBase

Publications of Author

1. Martin Giese
   Incremental Closure of Free Variable Tableaux. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2001, pp:545-560 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:327-330 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:21-36 [Conf]
   
4. Martin Giese
   Saturation Up to Redundancy for Tableau and Sequent Calculi. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:182-196 [Conf]
   
5. Martin Giese
   A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2002, pp:130-144 [Conf]
   
6. Martin Giese
   Simplification Rules for Constrained Formula Tableaux. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:65-80 [Conf]
   
7. Martin Giese
   A Calculus for Type Predicates and Type Coercion. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2005, pp:123-137 [Conf]
   
8. Martin Giese, Wolfgang Ahrendt
   Hilbert's epsilon-Terms in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1999, pp:171-185 [Conf]
   
9. Martin Giese, Rogardt Heldal
   From Informal to Formal Specifications in UML. [Citation Graph (0, 0)][DBLP]
   UML, 2004, pp:197-211 [Conf]
   
10. Martin Giese, Daniel Larsson
    Simplifying Transformations of OCL Constraints. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2005, pp:309-323 [Conf]
    
11. Martin Giese
    Taclets and the KeY Prover. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:67-79 [Journal]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal]
    
13. Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
    The KeY system 1.0 (Deduction Component). [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:379-384 [Conf]
    
14. Martin Giese
    Superposition-based Equality Handling for Analytic Tableaux. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:38, n:1-3, pp:127-153 [Journal]
    
15. 
    Probabilistic Logic with Conditional Independence Formulae. [Citation Graph (, )][DBLP]