Christian Johansen
发表
Christian Johansen,
2014,
GraMSec.
Audun Jøsang,
Christian Johansen,
A. Jøsang,
2014,
DPM/SETOP/QASA.
Christian Johansen,
Christian Johansen,
2010,
J. Log. Algebraic Methods Program..
Bjørnar Luteberget,
Christian Johansen,
Gerardo Schneider,
2017,
SEFM.
Christian Johansen,
2014,
ArXiv.
Audun Jøsang,
Christian Johansen,
Denis Migdal,
2016,
ACM CCS 2016.
Bjørnar Luteberget,
Christian Johansen,
Martin Steffen,
2016,
FM.
Christian Johansen,
Thomas T. Hildebrandt,
Håkon Normann,
2014,
ICE.
Christian Johansen,
Gerardo Schneider,
G. Schneider,
2009,
WoLLIC.
Koen Claessen,
Bjørnar Luteberget,
Christian Johansen,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Bjørnar Luteberget,
Christian Johansen,
Martin Steffen,
2016,
IFM.
Bjørnar Luteberget,
Christian Johansen,
Christian Johansen,
2018,
Formal Methods Syst. Des..
Audun Jøsang,
Christian Johansen,
Tore Pedersen,
2016,
IFIPTM.
Christian Johansen,
Tore Pedersen,
Johanna Johansen,
2020,
ArXiv.
Olaf Owe,
Christian Johansen,
2019,
IFM.
Harald Zwingelberg,
Christian Johansen,
Gerardo Schneider,
2020,
ArXiv.
Luca Aceto,
Anna Ingólfsdóttir,
Joshua Sack,
2013,
LFCS.
Bjørnar Luteberget,
Christian Johansen,
Koen Claessen,
2019,
IFM.
Christian Johansen,
Gabriel Ciobanu,
2006,
Electron. Notes Theor. Comput. Sci..
Christian Johansen,
Thomas Hildebrandt,
Håkon Norman,
2016
.
Christian Johansen,
2014,
ArXiv.
Christian Johansen,
Tara L. Jensen,
Sheldon Drobot,
2009
.
Audun Jøsang,
Christian Johansen,
Tore Pedersen,
2018,
Human-centric Computing and Information Sciences.
Audun Jøsang,
Christian Johansen,
Denis Migdal,
2017,
2017 International Workshop on Secure Internet of Things (SIoT).
Christian Johansen,
Gerardo Schneider,
G. Schneider,
2007,
FMOODS.
Christian Johansen,
Gerardo Schneider,
2009,
ICAIL.
Christian Johansen,
2016,
J. Log. Algebraic Methods Program..
Christian Johansen,
Josef Noll,
Manish Shrestha,
2017
.
Christian Johansen,
Tara L. Jensen,
Michael Chapman,
2010
.
Olaf Owe,
Christian Johansen,
Christian Johansen,
2012
.
Gabriel Ciobanu,
Christian Johansen,
Christian Johansen,
2007,
FOCLASA.
Christian Johansen,
2010,
CONCUR.
Audun Jøsang,
Christian Johansen,
Denis Migdal,
2016,
CCS.
Olaf Owe,
Christian Johansen,
Gerardo Schneider,
2018
.
Christian Johansen,
Gerardo Schneider,
G. Schneider,
2012,
J. Log. Algebraic Methods Program..
Bjørnar Luteberget,
Christian Johansen,
Gerardo Schneider,
2017
.
Christian Johansen,
Gerardo Schneider,
Marcel Kyas,
2008,
ATVA.
Christian Johansen,
Thomas T. Hildebrandt,
Håkon Normann,
2016,
J. Log. Algebraic Methods Program..
Olaf Owe,
Christian Johansen,
Christian Johansen,
2016,
J. Log. Algebraic Methods Program..
Christian Johansen,
Thomas T. Hildebrandt,
Håkon Normann,
2019,
J. Log. Algebraic Methods Program..
Georg Struth,
Christian Johansen,
Uli Fahrenberg,
2019,
RAMiCS.
Christian Johansen,
Thomas T. Hildebrandt,
Håkon Normann,
2017,
LATA.
Audun Jøsang,
Christian Johansen,
Tore Pedersen,
2016
.
Frank Eliassen,
Kay Römer,
Christian Johansen,
2015,
2015 International Conference on Distributed Computing in Sensor Systems.
Christian Johansen,
Josef Noll,
Hamed Arshad,
2017
.
Christian Johansen,
2012,
Turing-100.
Christian Johansen,
Shiwei Xu,
Sergiu Bursuc,
2017,
POST.
Ulrich Fahrenberg,
Christian Johansen,
Krzysztof Ziemianski,
2018,
ArXiv.
Gordon J. Pace,
Christian Johansen,
Gerardo Schneider,
2007,
ATVA.
Bjørnar Luteberget,
Christian Johansen,
Martin Steffen,
2019,
FM.
Audun Jøsang,
Christian Johansen,
Denis Migdal,
2016
.
Audun Jøsang,
Christian Johansen,
Denis Migdal,
2016
.
Davide Roverso,
Christian Johansen,
Josef Noll,
2020,
Int. J. Crit. Infrastructure Prot..
Christian Johansen,
2010
.
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version)
pdf
Christian Johansen,
Josef Noll,
Hamed Arshad,
2018,
ArXiv.
Georg Struth,
Christian Johansen,
Krzysztof Ziemia'nski,
2021,
ArXiv.
Koen Claessen,
Bjørnar Luteberget,
Christian Johansen,
2021,
Formal Methods in System Design.
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.
Georg Struth,
Ulrich Fahrenberg,
Christian Johansen,
2021,
ArXiv.
Georg Struth,
Christian Johansen,
Krzysztof Ziemia'nski,
2021,
Math. Struct. Comput. Sci..
Ulrich Fahrenberg,
Christian Johansen,
Krzysztof Ziemianski,
2021,
Log. Methods Comput. Sci..
Olaf Owe,
Christian Johansen,
Christian Johansen,
2019
.