Kai Brnnler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2001–2020
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CAV | Towards Verifying the Bitcoin-S Library (Short Paper). | Ramon Boss, Kai Brnnler, Anna Doukmak |
| 2018 | LFCS | A Logic of Blockchain Updates. | Kai Brnnler, Dandolo Flumini, Thomas Studer |
| 2010 | AiML | A Syntactic Realization Theorem for Justification Logics. | Kai Brnnler, Remo Goetschi, Roman Kuznets |
| 2010 | LPAR | How to Universally Close the Existential Rule. | Kai Brnnler |
| 2009 | TABLEAUX | Modular Sequent Systems for Modal Logic. | Kai Brnnler, Lutz Straburger |
| 2008 | LPAR | An Algorithmic Interpretation of a Deep Inference System. | Kai Brnnler, Richard McKinley |
| 2006 | AiML | Deep Sequent Systems for Modal Logic. | Kai Brnnler |
| 2006 | CiE | Deep Inference and Its Normal Form of Derivations. | Kai Brnnler |
| 2003 | CSL | Atomic Cut Elimination for classical Logic. | Kai Brnnler |
| 2001 | LPAR | A Local System for Classical Logic. | Kai Brnnler, Alwen Fernanto Tiu |