Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tobias Nipkow

A Verified Compiler From Isabelle/Hol to CakeML

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Hoare Logics for Time Bounds

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

From LCF to Isabelle/Hol

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2019English

Making Security Type Systems Less Ad Hoc

IT - Information Technology
Computer Science
2014English

A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler

ACM Transactions on Programming Languages and Systems
Software
2006English

Verified Lightweight Bytecode Verification

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy