Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christian Doczkal
A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Completeness and Decidability of Converse PDL in the Constructive Type Theory of Coq
Related publications
Two Formal Analyses of Attack Graphs
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Informal Proof, Formal Proof, Formalism
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Maximum Induced Forests in Graphs of Bounded Treewidth
Electronic Journal of Combinatorics
Combinatorics
Applied Mathematics
Mathematics
Geometry
Discrete Mathematics
Computational Theory
Topology
Theoretical Computer Science
Fine-Grained Complexity of Graph Homomorphism Problem for Bounded-Treewidth Graphs
On the Dimension of Posets With Cover Graphs of Treewidth 2
Order
Algebra
Geometry
Number Theory
Computational Theory
Mathematics
Topology
Fully Polynomial-Time Parameterized Computations for Graphs and Matrices of Low Treewidth
A Formal Proof of the Expressiveness of Deep Learning
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Formal Library for Elliptic Curves in the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
