| No. |
Title |
Author |
Year |
| 1 |
{mitten}: A Flexible Multimodal Proof Assistant |
Stassen, Philipp et al. |
2023 |
| 2 |
Modular Verification of State-Based CRDTs in Separation Logic |
Nieto, Abel et al. |
2023 |
| 3 |
Modular Verification of State-Based CRDTs in Separation Logic (Artifact) |
Nieto, Abel et al. |
2023 |
| 4 |
A Stratified Approach to Löb Induction |
Gratzer, Daniel et al. |
2022 |
| 5 |
Guarded Cubical Type Theory: Path Equality for Guarded Recursion |
Birkedal, Lars et al. |
2016 |
| 6 |
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191) |
Birkedal, Lars et al. |
2015 |
| 7 |
A Concurrent Logical Relation |
Birkedal, Lars et al. |
2012 |
| 8 |
Step-Indexed Relational Reasoning for Countable Nondeterminism |
Schwinghammer, Jan et al. |
2011 |
| 9 |
10351 Abstracts Collection -- Modelling, Controlling and Reasoning About State |
Ahmed, Amal et al. |
2010 |
| 10 |
10351 Executive Summary -- Modelling, Controlling and Reasoning About State |
Ahmed, Amal et al. |
2010 |
