Follow
Andrej Ivašković
Andrej Ivašković
Verified email at cst.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
142020
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
102017
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
52020
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
The system can't perform the operation now. Try again later.
Articles 1–5