( en | de | ru )

 

Disambiguierung von "Johansen, Christian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Privacy Labelling and the Story of Princess Privacy and the Seven Helpers.

, , , , , , , , und . CoRR, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kathrin Johansen

Hartwig Johansen

Peter Johansen

Hartwig Johansen

Nis Johansen

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Structural Operational Semantics., und . CoRR, (2016)Kleene Theorem for Higher-Dimensional Automata, , , und . (2022)cite arxiv:2202.03791.Behavioural Computer Science: an agenda for combining modelling of human and system behaviours., , und . Hum. centric Comput. Inf. Sci., (2018)ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality., , , , und . RAMiCS, Volume 13027 von Lecture Notes in Computer Science, Seite 90-107. Springer, (2021)Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus., , und . EXPRESS/SOS, Volume 368 von EPTCS, Seite 3-22. (2022)Probabilistic Modelling of Humans in Security Ceremonies., und . DPM/SETOP/QASA, Volume 8872 von Lecture Notes in Computer Science, Seite 277-292. Springer, (2014)SAT modulo discrete event simulation applied to railway design capacity analysis., , , und . Formal Methods Syst. Des., 57 (2): 211-245 (2021)A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus., , und . LATA, Volume 10168 von Lecture Notes in Computer Science, Seite 51-63. (2017)Test-Driven Javascript Development. Developer's Library Addison-Wesley Professional, First Edition, (September 2010)Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus., , und . CONCUR, Volume 243 von LIPIcs, Seite 30:1-30:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)