Johannes Åman Pohjola

Broadcast psi-calculi with an application to wireless protocols

Johannes Borgström, Shuqin Huang, Magnus Johansson et al. · Software & Systems Modeling · 2013 · 24 citations · Full text

Computing, Communication, Computer Science +12

Higher-order psi-calculi

Joachim Parrow, Johannes Borgström, Palle Raabjerg et al. · Mathematical Structures in Computer Science · 2013 · 18 citations · Full text

Computing, Computer Science, Algebra +11

A Verified Generational Garbage Collector for CakeML

Adam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola · Journal of Automated Reasoning · 2018 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +13

Do you have space for dessert? a verified space cost semantics for CakeML programs

Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Syeda et al. · Proceedings of the ACM on Programming Languages · 2020 · 12 citations · Full text

Computing, Computer Engineering, Computer Science +13