Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Florian Kammueller |
Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Christian Sternagel, René Thiemann |
A Formalization of Knuth-Bendix Orders. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Jonathan Julián Huerta y Munive |
Matrices for ODEs. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Jasmin Blanchette, Sophie Tourret |
Extensions to the Comprehensive Framework for Saturation Theorem Proving. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Lawrence C. Paulson |
The Nash-Williams Partition Theorem. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Salomon Sickert |
An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Michael Foster 0001, Achim D. Brucker, Ramsay G. Taylor, John Derrick |
Inference of Extended Finite State Machines. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Emin Karayel, Edgar Gonzàlez |
Strong Eventual Consistency of the Collaborative Editing Framework WOOT. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Martin Desharnais |
A Generic Framework for Verified Compilers. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Sophie Tourret |
A Comprehensive Framework for Saturation Theorem Proving. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Walter Guttmann, Bernhard Möller |
A Hierarchy of Algebras for Boolean Subsets. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Bertram Felgenhauer |
Implementing the Goodstein Function in λ-Calculus. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Safouan Taha, Burkhart Wolff, Lina Ye |
The HOL-CSP Refinement Toolkit. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Achim D. Brucker, Michael Herzberg |
A Formal Model of the Safely Composable Document Object Model with Shadow Roots. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Michael Foster 0001, Achim D. Brucker, Ramsay G. Taylor, John Derrick |
A Formal Model of Extended Finite State Machines. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Manuel Eberl |
The Lambert W Function on the Reals. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Andrei Popescu 0001, Dmitriy Traytel |
From Abstract to Concrete Gödel's Incompleteness Theorems - Part II. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Frank J. Balbach |
Some classical results in inductive inference of recursive functions. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Mohammad Abdulaziz, Peter Lammich |
AI Planning Languages Semantics. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Georgy Dunaev |
Recursion Theorem in ZF. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Walter Guttmann, Nicolas Robinson-O'Brien |
Relational Minimum Spanning Tree Algorithms. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Walter Guttmann, Peter Höfner |
Relational Characterisations of Paths. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Manuel Eberl |
Furstenberg's topology and his proof of the infinitude of primes. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Achim D. Brucker, Michael Herzberg |
A Formalization of Web Components. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Cornelius Diekmann, Lars Hupel |
Hello World. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | David Fuenmayor |
Topological semantics for paraconsistent and paracomplete logics. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Angeliki Koutsoukou-Argyraki, Wenda Li |
Irrationality Criteria for Series by Erdős and Straus. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Max W. Haslbeck, Manuel Eberl |
Skip Lists. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Toby Murray |
An Under-Approximate Relational Logic. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Albert Rizaldi, Fabian Immler |
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Mathias Fleury, Daniela Kaufmann |
Practical Algebraic Calculus Checker. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Martin Desharnais |
Inline Caching and Unboxing Optimization for Interpreters. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Javier Díaz |
Finite Map Extras. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Angeliki Koutsoukou-Argyraki |
Amicable Numbers. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Robin Eßmann, Tobias Nipkow, Simon Robillard |
Verified Approximation Algorithms. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Andrei Popescu 0001, Dmitriy Traytel |
Robinson Arithmetic. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Pasquale Noce |
The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Achim D. Brucker, Michael Herzberg |
A Formal Model of the Document Object Model with Shadow Roots. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Dominique Unruh, José Manuel Rodríguez Caballero |
Banach-Steinhaus Theorem. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Jose Divasón |
A verified algorithm for computing the Smith normal form of a matrix. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Achim D. Brucker, Michael Herzberg |
The Safely Composable DOM. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
Formalization of Forcing in Isabelle/ZF. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Martin Rau, Tobias Nipkow |
Closest Pair of Points Algorithms. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider 0001, Dmitriy Traytel |
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker |
Stateful Protocol Composition and Typing. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Lukas Heimes, Dmitriy Traytel, Joshua Schneider 0001 |
Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Simon Foster 0001, Burkhart Wolff |
A Sound Type System for Physical Quantities, Units, and Measurements. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Anthony Bordg, Hanna Lachnitt, Yijun He |
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Andrei Popescu 0001, Dmitriy Traytel |
An Abstract Formalization of Gödel's Incompleteness Theorems. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Andrei Popescu 0001, Dmitriy Traytel |
Syntax-Independent Logic Infrastructure. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Eugene W. Stark |
Bicategories. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Andrei Popescu 0001, Dmitriy Traytel |
From Abstract to Concrete Gödel's Incompleteness Theorems - Part I. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | José Manuel Rodríguez Caballero |
Arithmetic progressions and relative primes. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Lawrence C. Paulson |
Ordinal Partitions. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Manuel Eberl |
Mersenne primes and the Lucas-Lehmer test. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Manuel Eberl |
Power Sum Polynomials. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Ben Fiedler, Dmitriy Traytel |
A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Andreas Lochbihler, Ognjen Maric |
Authenticated Data Structures As Functors. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Walter Guttmann |
Relational Disjoint-Set Forests. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull |
Automated Stateful Protocol Verification. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Manuel Eberl |
Gaussian Integers. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Chelsea Edmonds |
Lucas's Theorem. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Achim D. Brucker, Michael Herzberg |
A Formalization of Safely Composable Web Components. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Pedro Sánchez Terraf |
Cofinality and the Delta System Lemma. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
15 | Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten |
Universal Turing Machine. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | André Platzer |
Differential Game Logic. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Manuel Eberl |
Elementary Facts About the Distribution of Primes. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Angeliki Koutsoukou-Argyraki |
Aristotle's Assertoric Syllogistic. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Jonathan Julián Huerta y Munive |
Verification Components for Hybrid Systems. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Ralph Bottesch, Alban Reynaud, René Thiemann |
Linear Inequalities. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Frédéric Tuong, Burkhart Wolff |
Clean - An Abstract Imperative Programming Language and its Theory. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan |
Quantum Hoare Logic. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Matthias Brun 0002, Dmitriy Traytel |
Formalization of Generic Authenticated Data Structures. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Julian Parsert, Cezary Kaliszyk |
Linear Programming. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Giuliano Losa |
Stellar Quorum Systems. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | David Aspinall 0001, David Butler 0002 |
Multi-Party Computation. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Lawrence C. Paulson |
Zermelo Fraenkel Set Theory in Higher-Order Logic. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Peter Lammich, Tobias Nipkow |
Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Fabian Immler, Yong Kiam Tan |
The Poincaré-Bendixson Theorem. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | David Butler 0002, Andreas Lochbihler |
Sigma Protocols and Commitment Schemes. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Alexander Maletzky |
Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Ernie Cohen, Norbert Schirmer |
A Reduction Theorem for Store Buffers. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Maxime Buyse, Jason Jaskolka |
Communicating Concurrent Kleene Algebra for Distributed Systems Specification. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Angeliki Koutsoukou-Argyraki, Wenda Li |
The Transcendence of Certain Infinite Series. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Simon Foster 0001, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro 0002, Burkhart Wolff |
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Alexander Maletzky |
Hilbert's Nullstellensatz. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Robert Sachtleben |
Formalisation of an Adaptive State Counting Algorithm. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Clemens Ballarin |
A Case Study in Basic Algebra. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Filip Maric, Danijela Simic |
Complex Geometry. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Lorenzo Gheri, Andrei Popescu 0001 |
A General Theory of Syntax with Bindings. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Peter Lammich, Simon Wimmer 0001 |
VerifyThis 2019 - Polished Isabelle Solutions. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Safouan Taha, Lina Ye, Burkhart Wolff |
HOL-CSP Version 2.0. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Manuel Eberl |
Selected Problems from the International Mathematical Olympiad 2019. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Benedikt Seidl, Salomon Sickert |
A Compositional and Unified Translation of LTL into ω-Automata. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Simon Griebel |
Binary Heaps for IMP2. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Daniel Stüwe, Manuel Eberl |
Probabilistic Primality Testing. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Frédéric Tuong, Burkhart Wolff |
Isabelle/C. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Asta Halkjær From |
Formalizing a Seligman-Style Tableau System for Hybrid Logic. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Peter Lammich, Simon Wimmer 0001 |
IMP2 - Simple Program Verification in Isabelle/HOL. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Joshua Schneider 0001, Dmitriy Traytel |
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|