https://smolka.st/ 2026-03-02T00:00:00+00:00 1.00 https://smolka.st/papers/mcnetkat-full.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/talks/2018-03-huawei.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/talks/pps18-poster.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/papers/2017-01-POPL.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/papers/netkat-compiler.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/talks/wg-2.8-probnetkat.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/talks/CompileKAT-NYC.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/talks/ProbNetKAT-NEPLS.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/artifacts/mcnetkat/ 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/papers/scottnetkat.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/papers/scottnetkat-notes.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/papers/2015-09-icfp-steffen.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/papers/isar_jar.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/papers/isar_pxtp.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/papers/isar_slides_static.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/papers/bsc-thesis.pdf 2019-05-16T06:25:32+00:00 0.80 https://smolka.st/talks/bsc-thesis.pdf 2019-05-16T06:25:32+00:00 0.80