Searching for authors named "Martin Strecker" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

Forgetting in Intelligent Systems
by Martin Strecker — 1993 — April
…Forgetting in Intelligent Systems Martin Strecker Laboratoire Artemis/IMAG, BP53X F-38041 Grenoble…
Cited by 1 (0 self) – Add To MetaCart

Extracting a Formally Verified, Fully Executable Compiler From a Proof Assistant
by Stefan Berghofer, Martin Strecker — 2002
… compiler from a proof assistant Stefan Berghofer 1 Martin Strecker 2,3 Technische Universität München…
Cited by 3 (1 self) – Add To MetaCart

Structuring and Using a Knowledge Base of Mathematical Concepts: A Type-Theoretic Approach
by Martin Strecker Marko, Marko Luther, Matthias Wagner, Abteilung Kunstliche Intelligenz — 1996
… and instances of concepts. However, using a type theory c fl 1996 Martin Strecker, Marko Luther, Matthias…
Add To MetaCart

Investigating Type-Certifying Compilation with
by Isabelle Martin Strecker, Fakultät Für Informatik, Technische Universität München — 2002 — In Proc. Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR
…Investigating Type-Certifying Compilation with Isabelle ⋆ Martin Strecker Fakultät für Informatik…
Add To MetaCart

Verified Bytecode Verification and Type-Certifying Compilation
by Gerwin Klein, Martin Strecker, Technische Universität München, Fakultät Für Informatik, D- Garching — 2003 — Journal of Logic and Algebraic Programming
…Verified Bytecode Verification and Type-Certifying Compilation Gerwin Klein, Martin Strecker…
Cited by 5 (1 self) – Add To MetaCart

Formal Verification of a Java Compiler in Isabelle
by Martin Strecker, Fakultät Für Informatik, Technische Universität München — 2002
…Formal Verification of a Java Compiler in Isabelle ⋆ Martin Strecker Fakultät für Informatik…
Cited by 18 (1 self) – Add To MetaCart

Universität Ulm
by Abteilung Künstliche Intelligenz, Leiter Prof, Dr. Friedrich, W. Henke, Martin Strecker, Amtierender Dekan, Prof Dr, Uwe Schöning, Externer Gutachter, Prof Tobiasnipkow — 1999
…. nat. der Fakultät für Informatik der Universität Ulm Martin Strecker aus Darmstadt 1999 Amtierender…
Add To MetaCart

Java Source and Bytecode Formalizations in Isabelle: µJava
by Gerwin Klein, Tobias Nipkow, David von Oheimb, Leonor Prensa Nieto, Norbert Schirmer, Cornelia Pusch, Martin Strecker — 2002
…µJava Gerwin Klein Tobias Nipkow David von Oheimb Cornelia Pusch Martin Strecker March 29, 2001…
Add To MetaCart

CASE Tools for Embedded Systems
by Alle Rechte Vorbehalten, Technischen Universität München, Bernhard Schätz, Bernhard Schätz, Martin Rappl, Tobias Hain, Tobias Hain, Frank Houdek, Alexander Wisspeintner, Frank Houdek, Wolfgang Prenninger, Jan Romberg, Jan Romberg, Oscar Slotosch, Oscar Slotosch, Martin Strecker, Martin Strecker, Er Wisspeintner, Er Wisspeintner, Christoph Angerer, Martin Glaser, Christian Merenda, Anis Trimeche, Abdellatif Zaouia, Hongkun Jiang, Clemens Lanthaler, Petr Ossipov, Tania Fichtner — 2003
…, Tobias Hain,Frank Houdek, Wolfgang Prenninger, Martin Rappl,Jan Romberg, Oscar Slotosch, Martin Strecker…
Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB