Christian Johansen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus (available as arXiv preprint)	2024-02-06	Paper
Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus	2024-02-06	Paper
\( \ell r\)-multisemigroups, modal quantales and the origin of locality	2023-03-30	Paper
Catoids and modal convolution algebras Algebra Universalis	2023-02-28	Paper
Generating Posets Beyond N Relational and Algebraic Methods in Computer Science	2022-08-30	Paper
Domain semirings united Acta Cybernetica	2022-06-14	Paper
Posets with interfaces as a model for concurrency Information and Computation	2022-06-08	Paper
Languages of higher-dimensional automata Mathematical Structures in Computer Science	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 Formal Aspects of Computing	2022-01-11	Paper
SAT modulo discrete event simulation applied to railway design capacity analysis Formal Methods in System Design	2021-12-08	Paper
Sculptures in concurrency (available as arXiv preprint)	2021-05-25	Paper
Sculptures in concurrency	2021-05-25	Paper
Automated Verification of Dynamic Root of Trust Protocols Lecture Notes in Computer Science	2020-08-03	Paper
Dynamic structural operational semantics Journal of Logical and Algebraic Methods in Programming	2019-10-17	Paper
A stable non-interleaving early operational semantics for the pi-calculus Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
A stable non-interleaving early operational semantics for the pi-calculus Language and Automata Theory and Applications	2017-06-01	Paper
ST-structures Journal of Logical and Algebraic Methods in Programming	2016-11-07	Paper
Declarative event based models of concurrency and refinement in psi-calculi Journal of Logical and Algebraic Methods in Programming	2016-04-20	Paper

Research outcomes over time

This page was built for person: Christian Johansen