Christian Johansen

Available identifiers

Publication	Date of Publication	Type
A Kleene theorem for higher-dimensional automata	2024-08-13	Paper
Diamonds for security: a non-interleaving operational semantics for the applied \(\pi\)-calculus	2024-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q6150427	2024-02-06	Paper
\( \ell r\)-multisemigroups, modal quantales and the origin of locality	2023-03-30	Paper
Catoids and modal convolution algebras	2023-02-28	Paper
Generating Posets Beyond N	2022-08-30	Paper
Domain semirings united	2022-06-14	Paper
Posets with interfaces as a model for concurrency	2022-06-08	Paper
Languages of higher-dimensional automata	2022-05-17	Paper
Generating Posets with Interfaces	2022-03-05	Paper
Drawing with SAT: four methods and a tool for producing railway infrastructure schematics	2022-01-11	Paper
SAT modulo discrete event simulation applied to railway design capacity analysis	2021-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4989400	2021-05-25	Paper
Automated Verification of Dynamic Root of Trust Protocols	2020-08-03	Paper
Dynamic structural operational semantics	2019-10-17	Paper
A stable non-interleaving early operational semantics for the pi-calculus	2019-06-20	Paper
A stable non-interleaving early operational semantics for the pi-calculus	2017-06-01	Paper
ST-structures	2016-11-07	Paper
Declarative event based models of concurrency and refinement in psi-calculi	2016-04-20	Paper

This page was built for person: Christian Johansen