Johannes Åman Pohjola
According to our database1, Johannes Åman Pohjola authored at least 16 papers between 2013 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proc. ACM Program. Lang., 2020
Log. Methods Comput. Sci., 2020
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading.
Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results.
PhD thesis, 2016
Log. Methods Comput. Sci., 2016
Proceedings of the Programming Languages and Systems, 2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
Softw. Syst. Model., 2015
Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013