Martin Giese

Publikationer (9)
Projekt (0)

Visar 9 publikationer

2007

The KeY system 1.0 (Deduction Component)

Bernhard Beckert, Martin Giese, Reiner Hähnle et al

Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS. Vol. 4603, p. 379-384

Paper i proceeding

2005

The KeY Tool

Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al

Software and Systems Modeling. Vol. 4 (1), p. 32-54

Artikel i vetenskaplig tidskrift

2005

A Calculus for Type Predicates and Type Coercion

Martin Giese

utomated Reasoning with Analytic Tableaux and Related Methods, Tableaux 2005, Lecture Notes in Computer Science. Vol. 3702, p. 123-137

Paper i proceeding

2004

Rule-Based Simplification of OCL Constraints

Martin Giese, Reiner Hähnle, Daniel Larsson

OCL and Model Driven Engineering, UML 2004 workshop, Lisbon, p. 84-98

Paper i proceeding

2004

Taclets: a new paradigm for writing theorem provers

Bernhard Beckert, Martin Giese, Elmar Habermalz et al

Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas. Vol. 98 (1), p. 17-53

Artikel i vetenskaplig tidskrift

2004

Taclets and the KeY Prover

Martin Giese

Electronic Notes in Theoretical Computer Science. Vol. 103, p. 67-79

Artikel i vetenskaplig tidskrift

2004

From Informal to Formal Specifications in UML

Martin Giese, Rogardt Heldal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3273, p. 197-211

Artikel i vetenskaplig tidskrift

2003

Simplification Rules for Constrained Formula Tableaux

Martin Giese

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2796, p. 65-80

Paper i proceeding

2002

The KeY System: Integrating Object-Oriented Design and Formal Methods

Wolfgang Ahrendt, T. Baar, B. Beckert et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2306, p. 327-330

Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Martin Giese medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.