Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Makarius Wenzel
From LCF to Isabelle/Hol
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
A Verified Compiler From Isabelle/Hol to CakeML
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/Hol
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Feature Link Propagation Across Variability Representations With Isabelle/Hol
Proving Bounds for Real Linear Programs in Isabelle/Hol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Refinement to Imperative/Hol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fatigue Crack Closure: From LCF to Small Scale Yielding
International Journal of Fatigue
Mechanics of Materials
Materials Science
Industrial
Mechanical Engineering
Manufacturing Engineering
Simulation
Modeling
Beam Transfer From the AGS to ISABELLE
IEEE Transactions on Nuclear Science
Electronic Engineering
Nuclear
Nuclear Energy
High Energy Physics
Engineering
Electrical
Experimental Use of Neutrinos From ISABELLE Beam Dumps
What Not to Do With Isabelle and Why.
