2016 |
2016-11-12:
Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals
Author:
Jasmin Christian Blanchette,
Mathias Fleury and
Dmitriy Traytel
|
2016-10-19:
Source Coding Theorem
Author:
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
Author:
Zhe Hou,
David Sanan,
Alwen Tiu and
Yang Liu
|
2016-10-14:
The Factorization Algorithm of Berlekamp and Zassenhaus
Author:
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
Author:
Jasmin Christian Blanchette,
Uwe Waldmann and
Daniel Wand
|
2016-09-23:
Formalization of Knuth–Bendix Orders for Lambda-Free Higher-Order Terms
Author:
Heiko Becker,
Jasmin Christian Blanchette,
Uwe Waldmann and
Daniel Wand
|
2016-09-09:
Iptables Semantics
Author:
Cornelius Diekmann and
Lars Hupel
|
2016-09-06:
Stone Algebras
Author:
Walter Guttmann
|
2016-09-06:
A Variant of the Superposition Calculus
Author:
Nicolas Peltier
|
2016-09-01:
Stirling's formula
Author:
Manuel Eberl
|
2016-08-31:
Routing
Author:
Julius Michaelis and
Cornelius Diekmann
|
2016-08-24:
Simple Firewall
Author:
Cornelius Diekmann,
Julius Michaelis and
Max Haslbeck
|
2016-08-18:
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths
Author:
Romain Aissat,
Frederic Voisin and
Burkhart Wolff
|
2016-08-12:
Formalizing the Edmonds-Karp Algorithm
Author:
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
Author:
Hauke Brinkop and
Tobias Nipkow
|
2016-07-05:
A Framework for Verifying Depth-First Search Algorithms
Author:
Peter Lammich and
René Neumann
|
2016-07-01:
Chamber Complexes, Coxeter Systems, and Buildings
Author:
Jeremy Sylvestre
|
2016-06-30:
The Z Property
Author:
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
Author:
Cornelius Diekmann,
Julius Michaelis and
Lars Hupel
|
2016-06-28:
Compositional Security-Preserving Refinement for Concurrent Imperative Programs
Author:
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
Author:
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
Author:
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
Author:
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:
Cardinality of Equivalence Relations
Author:
Lukas Bulwahn
|
2016-05-24:
POSIX Lexing with Derivatives of Regular Expressions
Author:
Fahad Ausaf,
Roy Dyckhoff and
Christian Urban
|
2016-05-20:
Perron-Frobenius Theorem for Spectral Radius Analysis
Author:
Jose Divasón,
Ondřej Kunčar,
René Thiemann and
Akihisa Yamada
|
2016-05-20:
The meta theory of the Incredible Proof Machine
Author:
Joachim Breitner and
Denis Lohner
|
2016-05-18:
A Constructive Proof for FLP
Author:
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:
Spivey's Generalized Recurrence for Bell Numbers
Author:
Lukas Bulwahn
|
2016-05-04:
The Incompatibility of SD-Efficiency and SD-Strategy-Proofness
Author:
Manuel Eberl
|
2016-05-02:
Gröbner Bases Theory
Author:
Fabian Immler and
Alexander Maletzky
|
2016-04-28:
No Faster-Than-Light Observers
Author:
Mike Stannett and
István Németi
|
2016-04-27:
A formalisation of the Cocke-Younger-Kasami algorithm
Author:
Maksym Bortin
|
2016-04-27:
Algorithms for Reduced Ordered Binary Decision Diagrams
Author:
Julius Michaelis,
Maximilian Haslbeck,
Peter Lammich and
Lars Hupel
|
2016-04-26:
Conservation of CSP Noninterference Security under Sequential Composition
Author:
Pasquale Noce
|
2016-04-12:
Kleene Algebras with Domain
Author:
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:
The Cartan Fixed Point Theorems
Author:
Lawrence C. Paulson
|
2016-03-08:
Timed Automata
Author:
Simon Wimmer
|
2016-03-01:
Linear Temporal Logic
Author:
Salomon Sickert
|
2016-02-17:
Analysis of List Update Algorithms
Author:
Maximilian P.L. Haslbeck and
Tobias Nipkow
|
2016-02-05:
Verified Construction of Static Single Assignment Form
Author:
Sebastian Ullrich and
Denis Lohner
|
2016-01-29:
Polynomial Interpolation
Author:
René Thiemann and
Akihisa Yamada
|
2016-01-29:
Polynomial Factorization
Author:
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
|