Treffer 1 - 20 von 65 für Suche 'LOCHBIHLER, ANDREAS', Suchdauer: 0,75s Treffer weiter einschränken
  1. 1
    Probabilistic Functions and Cryptographic Oracles in Higher Order Logic

    Probabilistic Functions and Cryptographic Oracles in Higher Order Logic von Lochbihler, Andreas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    CryptHOL: Game-Based Proofs in Higher-Order Logic

    CryptHOL: Game-Based Proofs in Higher-Order Logic von Basin, David A., Lochbihler, Andreas, Sefidgar, S. Reza

    Veröffentlicht in Journal of cryptology

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks with Applications to Probability Theory

    A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks with Applications to Probability Theory von Lochbihler, Andreas

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Quotients of Bounded Natural Functors

    Quotients of Bounded Natural Functors von Fürer, Basil, Lochbihler, Andreas, Schneider, Joshua, Traytel, Dmitriy


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Effect Polymorphism in Higher-Order Logic (Proof Pearl)

    Effect Polymorphism in Higher-Order Logic (Proof Pearl) von Lochbihler, Andreas

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler

    Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler von Lochbihler, Andreas

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Making the java memory model safe

    Making the java memory model safe von Lochbihler, Andreas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automatic Refinement to Efficient Data Structures: A Comparison of Two Approaches

    Automatic Refinement to Efficient Data Structures: A Comparison of Two Approaches von Lammich, Peter, Lochbihler, Andreas

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Effect Polymorphism in Higher-Order Logic (Proof Pearl)

    Effect Polymorphism in Higher-Order Logic (Proof Pearl) von Lochbihler, Andreas


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable

    Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable von Lochbihler, Andreas


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Fast Machine Words in Isabelle/HOL

    Fast Machine Words in Isabelle/HOL von Lochbihler, Andreas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

    A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler von Lochbihler, Andreas

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Cardinality Estimators do not Preserve Privacy

    Cardinality Estimators do not Preserve Privacy von Desfontaines, Damien, Lochbihler, Andreas, Basin, David


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Stream Fusion for Isabelle’s Code Generator: Rough Diamond

    Stream Fusion for Isabelle’s Code Generator: Rough Diamond von Lochbihler, Andreas, Maximova, Alexandra


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Relational Parametricity and Quotient Preservation for Modular (Co)datatypes

    Relational Parametricity and Quotient Preservation for Modular (Co)datatypes von Lochbihler, Andreas, Schneider, Joshua


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Java and the Java Memory Model — A Unified, Machine-Checked Formalisation

    Java and the Java Memory Model — A Unified, Machine-Checked Formalisation von Lochbihler, Andreas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    The Isabelle Collections Framework

    The Isabelle Collections Framework von Lammich, Peter, Lochbihler, Andreas


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Verifying a Compiler for Java Threads

    Verifying a Compiler for Java Threads von Lochbihler, Andreas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL

    Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL von Lochbihler, Andreas


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Equational Reasoning with Applicative Functors

    Equational Reasoning with Applicative Functors von Lochbihler, Andreas, Schneider, Joshua


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: