Johannes ┼man Pohjola
Johannes ┼man Pohjola
Research Scientist, Data61/CSIRO
Verified email at it.uu.se - Homepage
Title
Cited by
Cited by
Year
Broadcast psi-calculi with an application to wireless protocols
J Borgstr÷m, S Huang, M Johansson, P Raabjerg, B Victor, J┼ Pohjola, ...
Software & Systems Modeling 14 (1), 201-216, 2015
542015
Higher-order psi-calculi
J Parrow, J Borgstr÷m, P Raabjerg, J┼ Pohjola
Mathematical Structures in Computer Science 24 (2), 2014
192014
A verified generational garbage collector for CakeML
AS Ericsson, MO Myreen, J┼ Pohjola
Journal of Automated Reasoning 63 (2), 463-488, 2019
172019
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
112016
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
82013
A mechanised semantics for HOL with ad-hoc overloading
J┼ Pohjola, A Gengelbach
arXiv preprint arXiv:2002.10212, 2020
72020
Program Verification in the Presence of I/O
H FÚrÚe, J┼ Pohjola, R Kumar, S Owens, MO Myreen, S Ho
Working Conference on Verified Software: Theories, Tools, and Experimentsá…, 2018
72018
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
52020
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
52019
Into the infinite-theory exploration for coinduction
SH Einarsdˇttir, M Johansson, J┼ Pohjola
International Conference on Artificial Intelligence and Symbolic Computationá…, 2018
52018
Bisimulation up-to techniques for psi-calculi
J ┼man Pohjola, J Parrow
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs andá…, 2016
52016
Priorities without priorities: representing preemption in Psi-calculi
J┼ Pohjola, J Parrow
arXiv preprint arXiv:1408.1453, 2014
42014
Verifying psi-calculi
J┼ Pohjola
Master’s thesis, Uppsala University, Department of Information Technology, 2010
32010
Connecting choreography languages with verified stacks
A Gˇmez-Londono, J┼ Pohjola
Procs. of the Nordic Workshop on Programming Theory, 31-33, 2018
22018
The expressive power of monotonic parallel composition
J┼ Pohjola, J Parrow
European Symposium on Programming, 780-803, 2016
22016
Sorted psi-calculi with generalised pattern matching
J Borgstr÷m, R Gutkovas, J Parrow, B Victor, JA Pohjola
Submitted, 2012
22012
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading
A Gengelbach, J┼ Pohjola, T Weber
arXiv preprint arXiv:2101.03807, 2021
12021
Modelling and analysing a wsn secure aggregation protocol: A comparison of languages and tool support
V Cambazoglu, R Gutkovas, J ┼man Pohjola, B Victor
12015
A Sorted Semantic Framework for High-Level Concurrency
J Borgstr÷m, R Gutkovas, J Parrow, B Victor, J ┼man Pohjola
Submitted, 2013
12013
Bells and whistles: advanced language features in psi-calculi
JA Pohjola
12013
The system can't perform the operation now. Try again later.
Articles 1–20