2016 |
2016-12-30: Concurrent Refinement Algebra and Rely Quotients
Authors:
Julian Fell,
Ian Hayes
and Andrius Velykis
|
2016-12-29: The Twelvefold Way
Author:
Lukas Bulwahn
|
2016-12-20: Proof Strategy Language
Author:
Yutaka Nagashima
|
2016-12-07: Paraconsistency
Authors:
Anders Schlichtkrull
and Jørgen Villadsen
|
2016-11-29: COMPLX: A Verification Framework for Concurrent Imperative Programs
Authors:
Sidney Amani,
June Andronick,
Maksym Bortin,
Corey Lewis,
Christine Rizkallah
and Joseph Tuong
|
2016-11-23: Abstract Interpretation of Annotated Commands
Author:
Tobias Nipkow
|
2016-11-16: Separata: Isabelle tactics for Separation Algebra
Authors:
Zhe Hou,
David Sanan,
Alwen Tiu,
Rajeev Gore
and Ranald Clouston
|
2016-11-12: Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals
Authors:
Jasmin Christian Blanchette,
Mathias Fleury
and Dmitriy Traytel
|
2016-11-12: Formalization of Knuth–Bendix Orders for Lambda-Free Higher-Order Terms
Authors:
Heiko Becker,
Jasmin Christian Blanchette,
Uwe Waldmann
and Daniel Wand
|
2016-11-10: Expressiveness of Deep Learning
Author:
Alexander Bentkamp
|
2016-10-25: Modal Logics for Nominal Transition Systems
Authors:
Tjark Weber,
Lars-Henrik Eriksson,
Joachim Parrow,
Johannes Borgström
and Ramunas Gutkovas
|
2016-10-24: Stable Matching
Author:
Peter Gammie
|
2016-10-21: LOFT — Verified Migration of Linux Firewalls to SDN
Authors:
Julius Michaelis
and Cornelius Diekmann
|
2016-10-19: Source Coding Theorem
Authors:
Quentin Hibon
and Lawrence Paulson
|
2016-10-19: A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor
Authors:
Zhe Hou,
David Sanan,
Alwen Tiu
and Yang Liu
|
2016-10-14: The Factorization Algorithm of Berlekamp and Zassenhaus
Authors:
Jose Divasón,
Sebastiaan Joosten,
René Thiemann
and Akihisa Yamada
|
2016-10-11: Intersecting Chords Theorem
Author:
Lukas Bulwahn
|
2016-10-05: Lp spaces
Author:
Sebastien Gouezel
|
2016-09-30: Fisher–Yates shuffle
Author:
Manuel Eberl
|
2016-09-29: Allen's Interval Calculus
Author:
Fadoua Ghourabi
|
2016-09-23: Formalization of Recursive Path Orders for Lambda-Free Higher-Order Terms
Authors:
Jasmin Christian Blanchette,
Uwe Waldmann
and Daniel Wand
|
2016-09-09: Iptables Semantics
Authors:
Cornelius Diekmann
and Lars Hupel
|
2016-09-06: A Variant of the Superposition Calculus
Author:
Nicolas Peltier
|
2016-09-06: Stone Algebras
Author:
Walter Guttmann
|
2016-09-01: Stirling's formula
Author:
Manuel Eberl
|
2016-08-31: Routing
Authors:
Julius Michaelis
and Cornelius Diekmann
|
2016-08-24: Simple Firewall
Authors:
Cornelius Diekmann,
Julius Michaelis
and Max Haslbeck
|
2016-08-18: Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths
Authors:
Romain Aissat,
Frederic Voisin
and Burkhart Wolff
|
2016-08-12: Formalizing the Edmonds-Karp Algorithm
Authors:
Peter Lammich
and S. Reza Sefidgar
|
2016-08-08: The Imperative Refinement Framework
Author:
Peter Lammich
|
2016-08-07: Ptolemy's Theorem
Author:
Lukas Bulwahn
|
2016-07-17: Surprise Paradox
Author:
Joachim Breitner
|
2016-07-14: Pairing Heap
Authors:
Hauke Brinkop
and Tobias Nipkow
|
2016-07-05: A Framework for Verifying Depth-First Search Algorithms
Authors:
Peter Lammich
and René Neumann
|
2016-07-01: Chamber Complexes, Coxeter Systems, and Buildings
Author:
Jeremy Sylvestre
|
2016-06-30: The Z Property
Authors:
Bertram Felgenhauer,
Julian Nagele,
Vincent van Oostrom
and Christian Sternagel
|
2016-06-30: The Resolution Calculus for First-Order Logic
Author:
Anders Schlichtkrull
|
2016-06-28: IP Addresses
Authors:
Cornelius Diekmann,
Julius Michaelis
and Lars Hupel
|
2016-06-28: Compositional Security-Preserving Refinement for Concurrent Imperative Programs
Authors:
Toby Murray,
Robert Sison,
Edward Pierzchalski
and Christine Rizkallah
|
2016-06-26: Category Theory with Adjunctions and Limits
Author:
Eugene W. Stark
|
2016-06-26: Cardinality of Multisets
Author:
Lukas Bulwahn
|
2016-06-25: A Dependent Security Type System for Concurrent Imperative Programs
Authors:
Toby Murray,
Robert Sison,
Edward Pierzchalski
and Christine Rizkallah
|
2016-06-21: Catalan Numbers
Author:
Manuel Eberl
|
2016-06-18: Program Construction and Verification Components Based on Kleene Algebra
Authors:
Victor B. F. Gomes
and Georg Struth
|
2016-06-13: Conservation of CSP Noninterference Security under Concurrent Composition
Author:
Pasquale Noce
|
2016-06-09: Finite Machine Word Library
Authors:
Joel Beeren,
Matthew Fernandez,
Xin Gao,
Gerwin Klein,
Rafal Kolanski,
Japheth Lim,
Corey Lewis,
Daniel Matichuk
and Thomas Sewell
|
2016-05-31: Tree Decomposition
Author:
Christoph Dittmann
|
2016-05-24: POSIX Lexing with Derivatives of Regular Expressions
Authors:
Fahad Ausaf,
Roy Dyckhoff
and Christian Urban
|
2016-05-24: Cardinality of Equivalence Relations
Author:
Lukas Bulwahn
|
2016-05-20: Perron-Frobenius Theorem for Spectral Radius Analysis
Authors:
Jose Divasón,
Ondřej Kunčar,
René Thiemann
and Akihisa Yamada
|
2016-05-20: The meta theory of the Incredible Proof Machine
Authors:
Joachim Breitner
and Denis Lohner
|
2016-05-18: A Constructive Proof for FLP
Authors:
Benjamin Bisping,
Paul-David Brodmann,
Tim Jungnickel,
Christina Rickmann,
Henning Seidler,
Anke Stüber,
Arno Wilhelm-Weidner,
Kirstin Peters
and Uwe Nestmann
|
2016-05-09: A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks
Author:
Andreas Lochbihler
|
2016-05-05: Randomised Social Choice Theory
Author:
Manuel Eberl
|
2016-05-04: The Incompatibility of SD-Efficiency and SD-Strategy-Proofness
Author:
Manuel Eberl
|
2016-05-04: Spivey's Generalized Recurrence for Bell Numbers
Author:
Lukas Bulwahn
|
2016-05-02: Gröbner Bases Theory
Authors:
Fabian Immler
and Alexander Maletzky
|
2016-04-28: No Faster-Than-Light Observers
Authors:
Mike Stannett
and István Németi
|
2016-04-27: Algorithms for Reduced Ordered Binary Decision Diagrams
Authors:
Julius Michaelis,
Maximilian Haslbeck,
Peter Lammich
and Lars Hupel
|
2016-04-27: A formalisation of the Cocke-Younger-Kasami algorithm
Author:
Maksym Bortin
|
2016-04-26: Conservation of CSP Noninterference Security under Sequential Composition
Author:
Pasquale Noce
|
2016-04-12: Kleene Algebras with Domain
Authors:
Victor B. F. Gomes,
Walter Guttmann,
Peter Höfner,
Georg Struth
and Tjark Weber
|
2016-03-11: Propositional Resolution and Prime Implicates Generation
Author:
Nicolas Peltier
|
2016-03-08: Timed Automata
Author:
Simon Wimmer
|
2016-03-08: The Cartan Fixed Point Theorems
Author:
Lawrence C. Paulson
|
2016-03-01: Linear Temporal Logic
Author:
Salomon Sickert
|
2016-02-17: Analysis of List Update Algorithms
Authors:
Maximilian P.L. Haslbeck
and Tobias Nipkow
|
2016-02-05: Verified Construction of Static Single Assignment Form
Authors:
Sebastian Ullrich
and Denis Lohner
|
2016-01-29: Polynomial Interpolation
Authors:
René Thiemann
and Akihisa Yamada
|
2016-01-29: Polynomial Factorization
Authors:
René Thiemann
and Akihisa Yamada
|
2016-01-20: Knot Theory
Author:
T.V.H. Prathamesh
|
2016-01-18: Tensor Product of Matrices
Author:
T.V.H. Prathamesh
|
2016-01-14: Cardinality of Number Partitions
Author:
Lukas Bulwahn
|