Data-flow analyses as effects and graded monads A Ivašković, A Mycroft, D Orchard 5th International Conference on Formal Structures for Computation and …, 2020 | 14 | 2020 |
Multiple random walks on paths and grids A Ivaskovic, A Kosowski, D Pająk, T Sauerwald STACS 2017-34th Symposium on Theoretical Aspects of Computer Science 66, 1-14, 2017 | 10 | 2017 |
A graded Monad for deadlock-free concurrency (functional pearl) A Ivašković, A Mycroft Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 17-30, 2020 | 5 | 2020 |
Multiple random walks on paths and grids A Ivašković, A Kosowski, D Pajak, TM Sauerwald | | 2017 |
Viral: Real-world competing process simulations on multiplex networks P Velickovic, A Ivaškovic, S Lau, M Stanojevic Belgrade BioInformatics Conference 2016, 102, 0 | | |