https://christian.johansenresearch.info/scholarship-for-iccl-school-of-2005/2021-08-09T18:38:07+00:00https://christian.johansenresearch.info/scholarship-for-marktoberdorf-school-2006/2021-08-09T18:38:01+00:00https://christian.johansenresearch.info/best-paper-award-for-railway-verification-at-ifm-2016/2021-08-09T18:37:54+00:00https://christian.johansenresearch.info/5th-most-downloaded-paper-in-jlamp/2021-08-09T18:37:49+00:00https://christian.johansenresearch.info/best-paper-award-for-capacity-verification-at-fmcad-2018/2021-08-09T18:37:43+00:00https://christian.johansenresearch.info/sculptures-in-concurrency/2021-08-09T18:37:35+00:00https://christian.johansenresearch.info/posets-with-interfaces/2021-08-09T18:37:28+00:00https://christian.johansenresearch.info/domain-semirings-united/2021-08-09T18:36:12+00:00https://christian.johansenresearch.info/teaching-assistants-needed/2021-08-22T09:36:11+00:00https://christian.johansenresearch.info/best-artifact-award-for-security-verification/2023-10-23T07:27:27+00:00