default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristian Johansen
Person information
- affiliation: University of Oslo, Norway
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j22]Hamed Arshad
, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse:
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. 232: 103046 (2024)- 2023
- [j21]Johanna Johansen, Tore Pedersen, Christian Johansen:
Studying human-to-computer bias transference. AI Soc. 38(4): 1659-1683 (2023) - [j20]Hamed Arshad, Pablo Picazo-Sanchez, Christian Johansen, Gerardo Schneider:
Attribute-based encryption with enforceable obligations. J. Cryptogr. Eng. 13(3): 343-371 (2023) - 2022
- [j19]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with interfaces as a model for concurrency. Inf. Comput. 285(Part): 104914 (2022) - [j18]Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll:
A multidisciplinary definition of privacy labels. Inf. Comput. Secur. 30(3): 452-469 (2022) - [j17]Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider:
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Inf. Sci. 616: 558-576 (2022) - [j16]Hamed Arshad, Christian Johansen, Olaf Owe:
Semantic Attribute-Based Access Control: A review on current status and future perspectives. J. Syst. Archit. 129: 102625 (2022) - [c33]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CONCUR 2022: 29:1-29:18 - [c32]Clément Aubert, Ross Horne, Christian Johansen:
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. CONCUR 2022: 30:1-30:26 - [c31]Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse:
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE 2022: 11-30 - [c30]Clément Aubert, Ross Horne, Christian Johansen:
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. EXPRESS/SOS 2022: 3-22 - [i16]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CoRR abs/2202.03791 (2022) - 2021
- [j15]Bjørnar Luteberget, Christian Johansen:
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. Formal Aspects Comput. 33(6): 829-854 (2021) - [j14]Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen:
SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods Syst. Des. 57(2): 211-245 (2021) - [j13]Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski:
Sculptures in Concurrency. Log. Methods Comput. Sci. 17(2) (2021) - [j12]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31(5): 575-613 (2021) - [j11]Christian Johansen, Aulon Mujaj, Hamed Arshad, Josef Noll:
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications. Secur. Commun. Networks 2021: 9965573:1-9965573:30 (2021) - [c29]Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS 2021: 90-107 - [i15]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of Higher-Dimensional Automata. CoRR abs/2103.07557 (2021) - [i14]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
lr-Multisemigroups and Modal Convolution Algebras. CoRR abs/2105.00188 (2021) - [i13]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with Interfaces for Concurrent Kleene Algebra. CoRR abs/2106.10895 (2021) - 2020
- [j10]Tore Pedersen, Christian Johansen:
Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference. AI Soc. 35(3): 519-532 (2020) - [j9]Manish Shrestha, Christian Johansen, Josef Noll, Davide Roverso:
A Methodology for Security Classification applied to Smart Grid Infrastructures. Int. J. Crit. Infrastructure Prot. 28: 100342 (2020) - [c28]Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. RAMiCS 2020: 82-99 - [c27]Manish Shrestha, Christian Johansen, Josef Noll:
Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT. FMEC 2020: 244-249 - [i12]Tore Pedersen, Christian Johansen, Johanna Johansen:
Studying the Transfer of Biases from Programmers to Programs. CoRR abs/2005.08231 (2020) - [i11]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi:
Domain Semirings United. CoRR abs/2011.04704 (2020) - [i10]Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll:
Privacy Labelling and the Story of Princess Privacy and the Seven Helpers. CoRR abs/2012.01813 (2020)
2010 – 2019
- 2019
- [j8]Christian Johansen, Olaf Owe:
Dynamic structural operational semantics. J. Log. Algebraic Methods Program. 107: 79-107 (2019) - [j7]Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann:
A stable non-interleaving early operational semantics for the pi-calculus. J. Log. Algebraic Methods Program. 104: 227-253 (2019) - [c26]Bjørnar Luteberget, Christian Johansen, Martin Steffen:
Synthesis of Railway Signaling Layout from Local Capacity Specifications. FM 2019: 121-137 - [c25]Bjørnar Luteberget, Koen Claessen, Christian Johansen:
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. IFM 2019: 341-359 - [c24]Christian Johansen, Olaf Owe:
Summary of: Dynamic Structural Operational Semantics. IFM 2019: 525-528 - [i9]Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. CoRR abs/1910.06162 (2019) - 2018
- [j6]Bjørnar Luteberget, Christian Johansen:
Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des. 52(1): 1-32 (2018) - [j5]Tore Pedersen, Christian Johansen, Audun Jøsang:
Behavioural Computer Science: an agenda for combining modelling of human and system behaviours. Hum. centric Comput. Inf. Sci. 8: 7 (2018) - [c23]Bjørnar Luteberget, Koen Claessen, Christian Johansen:
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. FMCAD 2018: 1-9 - [i8]Christian Johansen, Aulon Mujaj, Hamed Arshad, Josef Noll:
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version). CoRR abs/1807.07952 (2018) - [i7]Johanna Johansen, Christian Johansen, Josef Noll:
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 abs/1808.09496 (2018) - [i6]Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski:
Sculptures in Concurrency. CoRR abs/1812.02008 (2018) - 2017
- [c22]Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann:
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. LATA 2017: 51-63 - [c21]Sergiu Bursuc, Christian Johansen, Shiwei Xu:
Automated Verification of Dynamic Root of Trust Protocols. POST 2017: 95-116 - [c20]Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider:
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. SEFM 2017: 87-103 - [c19]Denis Migdal, Christian Johansen, Audun Jøsang:
Offline Trusted Device and Proxy Architecture Based on a new TLS Switching Technique. SIoT 2017: 10-19 - [i5]Sergiu Bursuc, Christian Johansen, Shiwei Xu:
Automated verification of dynamic root of trust protocols (long version). CoRR abs/1701.08676 (2017) - 2016
- [j4]Håkon Normann, Christian Johansen, Thomas T. Hildebrandt:
Declarative event based models of concurrency and refinement in psi-calculi. J. Log. Algebraic Methods Program. 85(3): 368-398 (2016) - [j3]Christian Johansen:
ST-structures. J. Log. Algebraic Methods Program. 85(6): 1201-1233 (2016) - [c18]Denis Migdal, Christian Johansen, Audun Jøsang:
DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. CCS 2016: 1847-1849 - [c17]Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen:
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. FM 2016: 772-778 - [c16]Christian Johansen, Tore Pedersen, Audun Jøsang:
Towards Behavioural Computer Science. IFIPTM 2016: 154-163 - [c15]Bjørnar Luteberget, Christian Johansen, Martin Steffen:
Rule-Based Consistency Checking of Railway Infrastructure Designs. IFM 2016: 491-507 - [i4]Christian Johansen, Olaf Owe:
Dynamic Structural Operational Semantics. CoRR abs/1612.00666 (2016) - 2015
- [c14]Amir Taherkordi, Christian Johansen, Frank Eliassen, Kay Römer:
Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions. DCOSS 2015: 52-61 - 2014
- [c13]Christian Johansen, Audun Jøsang:
Probabilistic Modelling of Humans in Security Ceremonies. DPM/SETOP/QASA 2014: 277-292 - [c12]Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt:
Concurrency Models with Causality and Events as Psi-calculi. ICE 2014: 4-20 - [c11]Cristian Prisacariu:
Actor Network Procedures as Psi-calculi for Security Ceremonies. GraMSec 2014: 63-77 - [i3]Cristian Prisacariu:
Higher Dimensional Modal Logic. CoRR abs/1405.4100 (2014) - [i2]Cristian Prisacariu:
Extensions of Configuration Structures. CoRR abs/1406.0641 (2014) - 2013
- [c10]Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack:
Compositional Reasoning for Multi-modal Logics. LFCS 2013: 1-15 - 2012
- [j2]Cristian Prisacariu, Gerardo Schneider:
A dynamic deontic logic for complex contracts. J. Log. Algebraic Methods Program. 81(4): 458-490 (2012) - [c9]Cristian Prisacariu:
The Glory of the Past and Geometrical Concurrency. Turing-100 2012: 252-267 - [i1]Cristian Prisacariu:
The Glory of the Past and Geometrical Concurrency. CoRR abs/1206.3136 (2012) - 2010
- [j1]Cristian Prisacariu:
Synchronous Kleene algebra. J. Log. Algebraic Methods Program. 79(7): 608-635 (2010) - [c8]Cristian Prisacariu:
Modal Logic over Higher Dimensional Automata. CONCUR 2010: 494-508
2000 – 2009
- 2009
- [c7]Cristian Prisacariu, Gerardo Schneider:
Abstract specification of legal contracts. ICAIL 2009: 218-219 - [c6]Cristian Prisacariu, Gerardo Schneider:
: An Action-Based Logic for Reasoning about Contracts. WoLLIC 2009: 335-349 - 2008
- [c5]Marcel Kyas, Cristian Prisacariu, Gerardo Schneider:
Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407 - 2007
- [c4]Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider:
Model Checking Contracts - A Case Study. ATVA 2007: 82-97 - [c3]Cristian Prisacariu, Gerardo Schneider:
A Formal Language for Electronic Contracts. FMOODS 2007: 174-189 - 2006
- [c2]Gabriel Ciobanu, Cristian Prisacariu:
Coordination by Timers for Channel-Based Anonymous Communications. FOCLASA 2006: 3-17 - [c1]Gabriel Ciobanu, Cristian Prisacariu:
Timers for Distributed Systems. QAPL 2006: 81-99
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
