Christian Johansen

59 papers A* 1B 10C 4Journal 38Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Unlinkability and History Preserving Bisimilarity. CoRR Clément Aubert, Ross Horne, Christian Johansen, Sjouke Mauw
2026	J	`jnl`	Unlinkability and history preserving bisimilarity. Comput. Secur. Clément Aubert, Ross Horne, Christian Johansen, Sjouke Mauw
2025	J	`jnl`	Evidence of Diseconomies of Scale in Subscription-Based Video on Demand Services: The Case of Netflix. IEEE Access Gabriel Andy Szalkowski, Christian Johansen
2024	J	`jnl`	Kleene Theorem for Higher-Dimensional Automata. Log. Methods Comput. Sci. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2024	J	`jnl`	LightSC: The Making of a Usable Security Classification Tool for DevSecOps. CoRR Manish Shrestha, Christian Johansen, Johanna Johansen
2024	J	`jnl`	XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2023	J	`jnl`	Attribute-based encryption with enforceable obligations. J. Cryptogr. Eng. Hamed Arshad, Pablo Picazo-Sanchez, Christian Johansen, Gerardo Schneider
2023	J	`jnl`	Studying human-to-computer bias transference. AI Soc. Johanna Johansen, Tore Pedersen, Christian Johansen
2022	B	`conf`	A Kleene Theorem for Higher-Dimensional Automata. CONCUR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	J	`jnl`	A Kleene Theorem for Higher-Dimensional Automata. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	J	`jnl`	A multidisciplinary definition of privacy labels. Inf. Comput. Secur. Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll
2022	—	`conf`	Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. EXPRESS/SOS Clément Aubert, Ross Horne, Christian Johansen
2022	B	`conf`	Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. CONCUR Clément Aubert, Ross Horne, Christian Johansen
2022	J	`jnl`	Posets with interfaces as a model for concurrency. Inf. Comput. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	C	`conf`	Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2022	J	`jnl`	Semantic Attribute-Based Access Control: A review on current status and future perspectives. J. Syst. Archit. Hamed Arshad, Christian Johansen, Olaf Owe
2022	J	`jnl`	Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Inf. Sci. Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider
2021	J	`jnl`	Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. Formal Aspects Comput. Bjørnar Luteberget, Christian Johansen
2021	J	`jnl`	Languages of Higher-Dimensional Automata. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	J	`jnl`	Languages of higher-dimensional automata. Math. Struct. Comput. Sci. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	J	`jnl`	Posets with Interfaces for Concurrent Kleene Algebra. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	J	`jnl`	SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods Syst. Des. Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen
2021	J	`jnl`	Sculptures in Concurrency. Log. Methods Comput. Sci. Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
2021	J	`jnl`	The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications. Secur. Commun. Networks Christian Johansen, Aulon Mujaj, Hamed Arshad, Josef Noll
2021	J	`jnl`	lr-Multisemigroups and Modal Convolution Algebras. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	C	`conf`	ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2020	J	`jnl`	A Methodology for Security Classification applied to Smart Grid Infrastructures. Int. J. Crit. Infrastructure Prot. Manish Shrestha, Christian Johansen, Josef Noll, Davide Roverso
2020	J	`jnl`	Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference. AI Soc. Tore Pedersen, Christian Johansen
2020	—	`conf`	Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT. FMEC Manish Shrestha, Christian Johansen, Josef Noll
2020	J	`jnl`	Domain Semirings United. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi
2020	C	`conf`	Generating Posets Beyond N. RAMiCS Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
2020	J	`jnl`	Privacy Labelling and the Story of Princess Privacy and the Seven Helpers. CoRR Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll
2020	J	`jnl`	Studying the Transfer of Biases from Programmers to Programs. CoRR Tore Pedersen, Christian Johansen, Johanna Johansen
2019	J	`jnl`	A stable non-interleaving early operational semantics for the pi-calculus. J. Log. Algebraic Methods Program. Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann
2019	B	`conf`	Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. IFM Bjørnar Luteberget, Koen Claessen, Christian Johansen
2019	J	`jnl`	Dynamic structural operational semantics. J. Log. Algebraic Methods Program. Christian Johansen, Olaf Owe
2019	J	`jnl`	Generating Posets Beyond N. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
2019	B	`conf`	Summary of: Dynamic Structural Operational Semantics. IFM Christian Johansen, Olaf Owe
2019	B	`conf`	Synthesis of Railway Signaling Layout from Local Capacity Specifications. FM Bjørnar Luteberget, Christian Johansen, Martin Steffen
2018	J	`jnl`	Behavioural Computer Science: an agenda for combining modelling of human and system behaviours. Hum. centric Comput. Inf. Sci. Tore Pedersen, Christian Johansen, Audun Jøsang
2018	B	`conf`	Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. FMCAD Bjørnar Luteberget, Koen Claessen, Christian Johansen
2018	J	`jnl`	Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des. Bjørnar Luteberget, Christian Johansen
2018	J	`jnl`	InfoInternet for Education in the Global South: A Study of Applications Enabled by Free Information-only Internet Access in Technologically Disadvantaged Areas (authors' version). CoRR Johanna Johansen, Christian Johansen, Josef Noll
2018	J	`jnl`	Sculptures in Concurrency. CoRR Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
2018	J	`jnl`	The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version). CoRR Christian Johansen, Aulon Mujaj, Hamed Arshad, Josef Noll
2017	C	`conf`	A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. LATA Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann
2017	—	`conf`	Automated Verification of Dynamic Root of Trust Protocols. POST Sergiu Bursuc, Christian Johansen, Shiwei Xu
2017	J	`jnl`	Automated verification of dynamic root of trust protocols (long version). CoRR Sergiu Bursuc, Christian Johansen, Shiwei Xu
2017	—	`conf`	Offline Trusted Device and Proxy Architecture Based on a new TLS Switching Technique. SIoT Denis Migdal, Christian Johansen, Audun Jøsang
2017	B	`conf`	Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. SEFM Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
2016	A*	`conf`	DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. CCS Denis Migdal, Christian Johansen, Audun Jøsang
2016	J	`jnl`	Declarative event based models of concurrency and refinement in psi-calculi. J. Log. Algebraic Methods Program. Håkon Normann, Christian Johansen, Thomas T. Hildebrandt
2016	J	`jnl`	Dynamic Structural Operational Semantics. CoRR Christian Johansen, Olaf Owe
2016	B	`conf`	Rule-Based Consistency Checking of Railway Infrastructure Designs. IFM Bjørnar Luteberget, Christian Johansen, Martin Steffen
2016	B	`conf`	Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. FM Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen
2016	J	`jnl`	ST-structures. J. Log. Algebraic Methods Program. Christian Johansen
2016	—	`conf`	Towards Behavioural Computer Science. IFIPTM Christian Johansen, Tore Pedersen, Audun Jøsang
2015	B	`conf`	Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions. DCOSS Amir Taherkordi, Christian Johansen, Frank Eliassen, Kay Römer
2014	—	`conf`	Probabilistic Modelling of Humans in Security Ceremonies. DPM/SETOP/QASA Christian Johansen, Audun Jøsang