Former Member

Dr. Martin Giese

< back

Peer Reviewed Journal Publication
  • Giese, M. (2006) Superposition-based Equality Handling for Analytic Tableaux. Journal of Automated Reasoning, Bd. 38(1-3), S. 127-153.
  • Ahrendt, W.; Baar, T.; Beckert, B.; Bubel, R.; Giese, M. et al. [..] (2005) The KeY Tool. Software and Systems Modeling, Bd. 4(1), S. 32-54.

Conference Contribution: Publication in Proceedings
  • Giese, M. (2006) Saturation up to Redundancy for Tableau and Sequent Calculi., Logic for Programming, Artificial Intelligence, and Reasoning, LPAR06 In Reihe: LNCS, Bd. 4246: Springer, S. 182-196.
  • Giese, M. (2005) A Calculus for Type Predicates and Type Coercion. In: Beckert, B. (Hrsg.), Automated Reasoning with Analytic Tableaux and Related Methods, Tableaux 2005 In Reihe: LNAI, Bd. 3702: Springer, S. 123-137. (link)
  • Giese, M.; Larsson, D. (2005) Simplifying Transformations of OCL Constraints. In: Briand, L. (Hrsg.), 8th Intl. Conf. on Model Driven Engineering Languages and Systems In Reihe: LNCS, Bd. 3713: Springer, S. 309-323. (link)