Ales Bizjak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2015–2018
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ESOP | Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. | Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg |
| 2017 | ESOP | The Essence of Higher-Order Concurrent Separation Logic. | Robbert Krebbers, Ralf Jung, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal |
| 2016 | CSL | Guarded Cubical Type Theory: Path Equality for Guarded Recursion. | Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi |
| 2016 | FOSSACS | Guarded Dependent Type Theory with Coinductive Types. | Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Mgelberg, Lars Birkedal |
| 2015 | FOSSACS | Step-Indexed Logical Relations for Probability. | Ales Bizjak, Lars Birkedal |
| 2015 | FOSSACS | Programming and Reasoning with Guarded Recursion for Coinductive Types. | Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal |
| 2015 | ITP | ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages. | Filip Sieczkowski, Ales Bizjak, Lars Birkedal |