Andrej Ivaskovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2020
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FSCD | Data-Flow Analyses as Effects and Graded Monads. | Andrej Ivaskovic, Alan Mycroft, Dominic Orchard |
| 2020 | HASKELL | A graded Monad for deadlock-free concurrency (functional pearl). | Andrej Ivaskovic, Alan Mycroft |
| 2017 | STACS | Multiple Random Walks on Paths and Grids. | Andrej Ivaskovic, Adrian Kosowski, Dominik Pajak, Thomas Sauerwald |