Konrad Slind

Available identifiers

Publication	Date of Publication	Type
I/O automata in Isabelle/HOL	2023-12-08	Paper
Specifying Message Formats with Contiguity Types	2023-06-20	Paper
Applications of Polytypism in Theorem Proving	2010-05-07	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Computer assisted reasoning. A Festschrift for Michael J. C. Gordon	2010-01-25	Paper
Adapting functional programs to higher order logic	2009-07-13	Paper
Compilation as Rewriting in Higher Order Logic	2009-03-06	Paper
A Brief Overview of HOL4	2008-12-04	Paper
Proof Pearl: Wellfounded Induction on the Ordinals Up to ε 0	2008-09-02	Paper
Functional Correctness Proofs of Encryption Algorithms	2008-05-27	Paper
Trusted Source Translation of a Total Function Language	2008-04-11	Paper
Proof producing synthesis of arithmetic and cryptographic hardware	2007-09-06	Paper
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic	2007-09-04	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
A Thread of HOL Development	2002-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q2767092	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2754066	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2729073	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2723408	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q2782495	2000-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4365106	1998-06-29	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Konrad Slind