Evidence of Diseconomies of Scale in Subscription-Based Video on Demand Services: The Case of Netflix. - Szalkowski, Gabriel Andy; Johansen, Christian (IEEE Access, 2025)

Kleene Theorem for Higher-Dimensional Automata. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianski, Krzysztof (Log. Methods Comput. Sci., 2024)

XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. - Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A. C. (Sci. Comput. Program., 2024)

LightSC: The Making of a Usable Security Classification Tool for DevSecOps. - Shrestha, Manish; Johansen, Christian; Johansen, Johanna (CoRR, 2024)

Studying human-to-computer bias transference. - Johansen, Johanna; Pedersen, Tore; Johansen, Christian (AI Soc., 2023)

Attribute-based encryption with enforceable obligations. - Arshad, Hamed; Picazo-Sanchez, Pablo; Johansen, Christian; Schneider, Gerardo (J. Cryptogr. Eng., 2023)

Posets with interfaces as a model for concurrency. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianski, Krzysztof (Inf. Comput., 2022)

A multidisciplinary definition of privacy labels. - Johansen, Johanna; Pedersen, Tore; Fischer-Hübner, Simone; Johansen, Christian; Schneider, Gerardo; Roosendaal, Arnold; Zwingelberg, Harald; Sivesind, Anders Jakob; Noll, Josef (Inf. Comput. Secur., 2022)

Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. - Arshad, Hamed; Johansen, Christian; Owe, Olaf; Picazo-Sanchez, Pablo; Schneider, Gerardo (Inf. Sci., 2022)

Semantic Attribute-Based Access Control: A review on current status and future perspectives. - Arshad, Hamed; Johansen, Christian; Owe, Olaf (J. Syst. Archit., 2022)

A Kleene Theorem for Higher-Dimensional Automata. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianski, Krzysztof (2022)

Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. - Aubert, Clément; Horne, Ross; Johansen, Christian (2022)

Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. - Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A. C. (2022)

Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. - Aubert, Clément; Horne, Ross; Johansen, Christian (2022)

A Kleene Theorem for Higher-Dimensional Automata. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianski, Krzysztof (CoRR, 2022)

Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. - Luteberget, Bjørnar; Johansen, Christian (Formal Aspects Comput., 2021)

SAT modulo discrete event simulation applied to railway design capacity analysis. - Luteberget, Bjørnar; Claessen, Koen; Johansen, Christian; Steffen, Martin (Formal Methods Syst. Des., 2021)

Sculptures in Concurrency. - Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher; Ziemianski, Krzysztof (Log. Methods Comput. Sci., 2021)

Languages of higher-dimensional automata. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianski, Krzysztof (Math. Struct. Comput. Sci., 2021)

The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications. - Johansen, Christian; Mujaj, Aulon; Arshad, Hamed; Noll, Josef (Secur. Commun. Networks, 2021)

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. - Calk, Cameron; Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianski, Krzysztof (2021)

Languages of Higher-Dimensional Automata. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianski, Krzysztof (CoRR, 2021)

lr-Multisemigroups and Modal Convolution Algebras. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianski, Krzysztof (CoRR, 2021)

Posets with Interfaces for Concurrent Kleene Algebra. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianski, Krzysztof (CoRR, 2021)

Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference. - Pedersen, Tore; Johansen, Christian (AI Soc., 2020)

A Methodology for Security Classification applied to Smart Grid Infrastructures. - Shrestha, Manish; Johansen, Christian; Noll, Josef; Roverso, Davide (Int. J. Crit. Infrastructure Prot., 2020)

Generating Posets Beyond N. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur (2020)

Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT. - Shrestha, Manish; Johansen, Christian; Noll, Josef (2020)

Studying the Transfer of Biases from Programmers to Programs. - Pedersen, Tore; Johansen, Christian; Johansen, Johanna (CoRR, 2020)

Domain Semirings United. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemianksi, Krzysztof (CoRR, 2020)

Privacy Labelling and the Story of Princess Privacy and the Seven Helpers. - Johansen, Johanna; Pedersen, Tore; Fischer-Hübner, Simone; Johansen, Christian; Schneider, Gerardo; Roosendaal, Arnold; Zwingelberg, Harald; Sivesind, Anders Jakob; Noll, Josef (CoRR, 2020)

Dynamic structural operational semantics. - Johansen, Christian; Owe, Olaf (J. Log. Algebraic Methods Program., 2019)

A stable non-interleaving early operational semantics for the pi-calculus. - Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon (J. Log. Algebraic Methods Program., 2019)

Synthesis of Railway Signaling Layout from Local Capacity Specifications. - Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin (2019)

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. - Luteberget, Bjørnar; Claessen, Koen; Johansen, Christian (2019)

Summary of: Dynamic Structural Operational Semantics. - Johansen, Christian; Owe, Olaf (2019)

Generating Posets Beyond N. - Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur (CoRR, 2019)

Efficient verification of railway infrastructure designs against standard regulations. - Luteberget, Bjørnar; Johansen, Christian (Formal Methods Syst. Des., 2018)

Behavioural Computer Science: an agenda for combining modelling of human and system behaviours. - Pedersen, Tore; Johansen, Christian; Jøsang, Audun (Hum. centric Comput. Inf. Sci., 2018)

Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. - Luteberget, Bjørnar; Claessen, Koen; Johansen, Christian (2018)

The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version). - Johansen, Christian; Mujaj, Aulon; Arshad, Hamed; Noll, Josef (CoRR, 2018)

InfoInternet for Education in the Global South: A Study of Applications Enabled by Free Information-only Internet Access in Technologically Disadvantaged Areas (authors' version). - Johansen, Johanna; Johansen, Christian; Noll, Josef (CoRR, 2018)

Sculptures in Concurrency. - Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher; Ziemianski, Krzysztof (CoRR, 2018)

A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. - Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon (2017)

Automated Verification of Dynamic Root of Trust Protocols. - Bursuc, Sergiu; Johansen, Christian; Xu, Shiwei (2017)

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. - Luteberget, Bjørnar; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo (2017)

Offline Trusted Device and Proxy Architecture Based on a new TLS Switching Technique. - Migdal, Denis; Johansen, Christian; Jøsang, Audun (2017)

Automated verification of dynamic root of trust protocols (long version). - Bursuc, Sergiu; Johansen, Christian; Xu, Shiwei (CoRR, 2017)

Declarative event based models of concurrency and refinement in psi-calculi. - Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas T. (J. Log. Algebraic Methods Program., 2016)

ST-structures. - Johansen, Christian (J. Log. Algebraic Methods Program., 2016)

DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. - Migdal, Denis; Johansen, Christian; Jøsang, Audun (2016)

Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. - Luteberget, Bjørnar; Johansen, Christian; Feyling, Claus; Steffen, Martin (2016)

Towards Behavioural Computer Science. - Johansen, Christian; Pedersen, Tore; Jøsang, Audun (2016)

Rule-Based Consistency Checking of Railway Infrastructure Designs. - Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin (2016)

Dynamic Structural Operational Semantics. - Johansen, Christian; Owe, Olaf (CoRR, 2016)

Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions. - Taherkordi, Amir; Johansen, Christian; Eliassen, Frank; Römer, Kay (2015)

Probabilistic Modelling of Humans in Security Ceremonies. - Johansen, Christian; Jøsang, Audun (2014)

Concurrency Models with Causality and Events as Psi-calculi. - Normann, Håkon; Prisacariu, Cristian; Hildebrandt, Thomas T. (2014)

Actor Network Procedures as Psi-calculi for Security Ceremonies. - Prisacariu, Cristian (2014)

Higher Dimensional Modal Logic. - Prisacariu, Cristian (CoRR, 2014)

Extensions of Configuration Structures. - Prisacariu, Cristian (CoRR, 2014)

Compositional Reasoning for Multi-modal Logics. - Aceto, Luca; Ingólfsdóttir, Anna; Prisacariu, Cristian; Sack, Joshua (2013)

A dynamic deontic logic for complex contracts. - Prisacariu, Cristian; Schneider, Gerardo (J. Log. Algebraic Methods Program., 2012)

The Glory of the Past and Geometrical Concurrency. - Prisacariu, Cristian (2012)

The Glory of the Past and Geometrical Concurrency - Prisacariu, Cristian (CoRR, 2012)

Synchronous Kleene algebra. - Prisacariu, Cristian (J. Log. Algebraic Methods Program., 2010)

Modal Logic over Higher Dimensional Automata. - Prisacariu, Cristian (2010)

Abstract specification of legal contracts. - Prisacariu, Cristian; Schneider, Gerardo (2009)

: An Action-Based Logic for Reasoning about Contracts. - Prisacariu, Cristian; Schneider, Gerardo (2009)

Run-Time Monitoring of Electronic Contracts. - Kyas, Marcel; Prisacariu, Cristian; Schneider, Gerardo (2008)

Model Checking Contracts - A Case Study. - Pace, Gordon J.; Prisacariu, Cristian; Schneider, Gerardo (2007)

A Formal Language for Electronic Contracts. - Prisacariu, Cristian; Schneider, Gerardo (2007)

Coordination by Timers for Channel-Based Anonymous Communications. - Ciobanu, Gabriel; Prisacariu, Cristian (2006)

Timers for Distributed Systems. - Ciobanu, Gabriel; Prisacariu, Cristian (2006)