| Broadcast psi-calculi with an application to wireless protocols J Borgström, S Huang, M Johansson, P Raabjerg, B Victor, ... Software & Systems Modeling 14 (1), 201-216, 2015 | 54 | 2015 |
| Higher-order psi-calculi J Parrow, J Borgström, P Raabjerg, JÅ Pohjola Mathematical Structures in Computer Science 24 (2), 2014 | 20 | 2014 |
| A verified generational garbage collector for CakeML A Sandberg Ericsson, MO Myreen, J Åman Pohjola Journal of Automated Reasoning 63 (2), 463-488, 2019 | 18 | 2019 |
| A sorted semantic framework for applied process calculi JÅ Pohjola, B Victor, J Parrow, R Gutkovas, J Borgström Logical Methods in Computer Science 12, 2016 | 11 | 2016 |
| Characteristic formulae for liveness properties of non-terminating CakeML programs J Åman Pohjola, H Rostedt, MO Myreen 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019 | 10 | 2019 |
| Do you have space for dessert? a verified space cost semantics for CakeML programs A Gómez-Londoño, J Åman Pohjola, HT Syeda, MO Myreen, YK Tan Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 9 | 2020 |
| A mechanised semantics for HOL with ad-hoc overloading JÅ Pohjola, A Gengelbach arXiv preprint arXiv:2002.10212, 2020 | 9 | 2020 |
| Program Verification in the Presence of I/O H Férée, J Åman Pohjola, R Kumar, S Owens, MO Myreen, S Ho Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018 | 8 | 2018 |
| Negative premises in applied process calculi JÅ Pohjola, J Borgström, J Parrow, P Raabjerg, I Rodhe Department of Information Technology, Uppsala University, Tech. Rep 14, 2013 | 8 | 2013 |
| Synthesis of verified architectural components for autonomy hosted on a verified microkernel K Slind, DS Hardin, JÅ Pohjola, M Sproul Draft, 2019 | 5 | 2019 |
| Into the infinite-theory exploration for coinduction SH Einarsdóttir, M Johansson, J Åman Pohjola International Conference on Artificial Intelligence and Symbolic Computation …, 2018 | 5 | 2018 |
| Bisimulation up-to techniques for psi-calculi J Åman Pohjola, J Parrow Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 5 | 2016 |
| Priorities without priorities: representing preemption in Psi-calculi JÅ Pohjola, J Parrow arXiv preprint arXiv:1408.1453, 2014 | 4 | 2014 |
| Verifying psi-calculi JÅ Pohjola M. Sc. thesis IT 10, 052, 2010 | 3 | 2010 |
| Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading A Gengelbach, JÅ Pohjola, T Weber arXiv preprint arXiv:2101.03807, 2021 | 2 | 2021 |
| Connecting choreography languages with verified stacks A Gómez-Londono, JÅ Pohjola Procs. of the Nordic Workshop on Programming Theory, 31-33, 2018 | 2 | 2018 |
| The expressive power of monotonic parallel composition J Åman Pohjola, J Parrow European Symposium on Programming, 780-803, 2016 | 2 | 2016 |
| Sorted psi-calculi with generalised pattern matching J Borgström, R Gutkovas, J Parrow, B Victor, JA Pohjola Submitted, 2012 | 2 | 2012 |
| Modelling and analysing a wsn secure aggregation protocol: A comparison of languages and tool support V Cambazoglu, R Gutkovas, J Åman Pohjola, B Victor | 1 | 2015 |
| A Sorted Semantic Framework for High-Level Concurrency J Borgström, R Gutkovas, J Parrow, B Victor, J Åman Pohjola Submitted, 2013 | 1 | 2013 |
