# Computer science/Algorithms/Graph

## Subject Classification

ACM: Theory of computation~Graph algorithms analysis

AMS: Combinatorics / Graph theory / Graph algorithms

## 2023

## 2022

##### Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph

by Stephan Merz and Vincent Trélat

## 2020

## 2019

##### Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra

by Peter Lammich and Tobias Nipkow

##### Kruskal's Algorithm for Minimum Spanning Forest

by Maximilian P. L. Haslbeck, Peter Lammich and Julian Biendarra

## 2017

## 2016

## 2014

##### Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm

by Peter Lammich

## 2012

## 2011

## 2010

##### Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement

by Viorel Preoteasa and Ralph-Johan Back