Christian Johansen
发表
Christian Johansen,
Gerardo Schneider,
Marcel Kyas,
2008,
ATVA.
Christian Johansen,
Bjørnar Luteberget,
2016
.
Christian Johansen,
Olaf Owe,
Hamed Arshad,
2022,
J. Syst. Archit..
M. Steffen,
Christian Johansen,
Bjørnar Luteberget,
2019
.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2022,
ArXiv.
Christian Johansen,
R. Horne,
Clément Aubert,
2022,
CONCUR.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2022,
Information and Computation.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2021,
Inf. Comput..
Christian Johansen,
U. Fahrenberg,
G. Struth,
2022
.
Christian Johansen,
Pablo Picazo-Sanchez,
Gerardo Schneider,
2022,
Inf. Sci..
Audun Jøsang,
Christian Johansen,
A. Jøsang,
2014,
DPM/SETOP/QASA.
Christian Johansen,
Christian Johansen,
2010,
J. Log. Algebraic Methods Program..
Tore Pedersen,
Christian Johansen,
Christian Johansen,
2019,
AI & SOCIETY.
Audun Jøsang,
Christian Johansen,
Tore Pedersen,
2018,
Human-centric Computing and Information Sciences.
Christian Johansen,
Gerardo Schneider,
G. Schneider,
2009,
WoLLIC.
Harald Zwingelberg,
Christian Johansen,
Gerardo Schneider,
2020,
ArXiv.
Davide Roverso,
Christian Johansen,
Josef Noll,
2020,
Int. J. Crit. Infrastructure Prot..
Christian Johansen,
Tore Pedersen,
Johanna Johansen,
2020,
ArXiv.
Christian Johansen,
F. Piazza,
T. Donner,
2020,
SciPost Physics.
Christian Johansen,
G. Struth,
Krzysztof Ziemiański,
2023,
Algebra universalis.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2021,
ArXiv.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2020,
Acta Cybernetica.
Georg Struth,
Christian Johansen,
Krzysztof Ziemia'nski,
2021,
ArXiv.
Audun Jøsang,
Christian Johansen,
Tore Pedersen,
2016,
IFIPTM.
Anders Jakob Sivesind,
G. Schneider,
Christian Johansen,
2020,
Inf. Comput. Secur..
Audun Jøsang,
Christian Johansen,
Denis Migdal,
2016
.
Josef Noll,
Manish Shrestha,
Christian Johansen,
2020,
2020 Fifth International Conference on Fog and Mobile Edge Computing (FMEC).
Audun Jøsang,
Christian Johansen,
Denis Migdal,
2017,
2017 International Workshop on Secure Internet of Things (SIoT).
Luca Aceto,
Anna Ingólfsdóttir,
Joshua Sack,
2013,
LFCS.
Koen Claessen,
Bjørnar Luteberget,
Christian Johansen,
2021,
Formal Methods in System Design.
Bjørnar Luteberget,
Christian Johansen,
Martin Steffen,
2019,
FM.
Koen Claessen,
Bjørnar Luteberget,
Christian Johansen,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Christian Johansen,
Pablo Picazo-Sanchez,
Gerardo Schneider,
2023,
Journal of Cryptographic Engineering.
Gordon J. Pace,
Christian Johansen,
Gerardo Schneider,
2007,
ATVA.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2022,
CONCUR.
Georg Struth,
Christian Johansen,
Krzysztof Ziemia'nski,
2021,
Math. Struct. Comput. Sci..
Georg Struth,
Christian Johansen,
Uli Fahrenberg,
2019,
RAMiCS.
Christian Johansen,
G. Struth,
Krzysztof Ziemiański,
2023,
Algebra universalis.
Christian Johansen,
Gerardo Schneider,
G. Schneider,
2007,
FMOODS.
Bjørnar Luteberget,
Christian Johansen,
Gerardo Schneider,
2017,
SEFM.
Bjørnar Luteberget,
Christian Johansen,
Gerardo Schneider,
2017
.
Olaf Owe,
Christian Johansen,
Christian Johansen,
2012
.
Olaf Owe,
Christian Johansen,
Christian Johansen,
2016,
J. Log. Algebraic Methods Program..
Olaf Owe,
Christian Johansen,
Christian Johansen,
2019
.
Christian Johansen,
Tomas Snäckerström,
2019,
Upsala journal of medical sciences.
Audun Jøsang,
Christian Johansen,
Tore Pedersen,
2016
.
Christian Johansen,
Tore Pedersen,
Johanna Johansen,
2021,
AI & SOCIETY.
Christian Johansen,
U. Fahrenberg,
Krzysztof Ziemiański,
2018,
Log. Methods Comput. Sci..
Bjørnar Luteberget,
Christian Johansen,
Christian Johansen,
2018,
Formal Methods Syst. Des..
Bjørnar Luteberget,
Christian Johansen,
Martin Steffen,
2016,
FM.
Bjørnar Luteberget,
Christian Johansen,
Martin Steffen,
2016,
IFM.
InfoInternet for education in the Global South: A study of applications enabled by free information-only internet access in technologically disadvantaged areas
pdf
Christian Johansen,
Josef Noll,
Johanna Johansen,
2018,
African Journal of Science, Technology, Innovation and Development.
Christian Johansen,
Olaf Owe,
Benjamin Lion,
2021,
ICE.
Christian Johansen,
Gerardo Schneider,
G. Schneider,
2012,
J. Log. Algebraic Methods Program..
Christian Johansen,
Shiwei Xu,
Sergiu Bursuc,
2017,
POST.
Christian Johansen,
Thomas T. Hildebrandt,
Håkon Normann,
2016,
J. Log. Algebraic Methods Program..
Christian Johansen,
Thomas T. Hildebrandt,
Håkon Normann,
2014,
ICE.
Cristian Prisacariu,
Christian Johansen,
Cristian Prisacariu,
2014,
GraMSec.
Christian Johansen,
Josef Noll,
Manish Shrestha,
2017
.
Gabriel Ciobanu,
Christian Johansen,
Christian Johansen,
2007,
FOCLASA.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2021,
Math. Struct. Comput. Sci..
Christian Johansen,
Josef Noll,
Hamed Arshad,
2017
.