Jan-Oliver Kaiser
According to our database1,
Jan-Oliver Kaiser
authored at least 7 papers
between 2013 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
2019
2020
0
1
2
3
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
2018
MoSeL: a general, extensible modal framework for interactive proofs in separation logic.
Proc. ACM Program. Lang., 2018
2017
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact).
Dagstuhl Artifacts Ser., 2017
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015
2013
Proceedings of the Certified Programs and Proofs - Third International Conference, 2013