Christian Johansen

Cited by

	All	Since 2019
Citations	1169	657
h-index	19	15
i10-index	31	22

160

120

20062007200820092010201120122013201420152016201720182019202020212022202320245 18 40 35 53 41 44 34 21 27 45 58 65 78 78 113 145 120 116

Public access

View all

24 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Josef NollProfessor, Digital Transformation & Societal Security, University of OsloVerified email at its.uio.no
Bjørnar LutebergetResearch Scientist, SINTEFVerified email at sintef.no
Uli FahrenbergLaboratoire de recherche de l'EPITA (LRE)Verified email at polytechnique.edu
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Tore PedersenProfessor at: NORIS; ONH; KCLVerified email at mil.no
Manish ShresthaUniversity of OsloVerified email at student.matnat.uio.no
Olaf OweProfessor, Department of Informatics, University of OsloVerified email at ifi.uio.no
Hamed ArshadPhD in Information Security, University of OsloVerified email at ifi.uio.no
Martin SteffenUniversity of OsloVerified email at ifi.uio.no
Thomas Troels HildebrandtProfessor, Computer Science Departement University of CopenhagenVerified email at di.ku.dk
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Simone Fischer-HübnerProfessor, Karlstad UniversityVerified email at kau.se
Ross HorneUniversity of StrathclydeVerified email at strath.ac.uk
Gabriel Andy SzalkowskiPhD candidate, NTNUVerified email at ntnu.no
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Clément AubertAugusta University, GA, USAVerified email at math.cnrs.fr
Pablo Picazo-SanchezAssistant Professor, Halmstad UniversityVerified email at chalmers.se
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl

Christian Johansen

Professor at NTNU - Norwegian University of Science and Technology

Verified email at ntnu.no - Homepage

system security concurrency formal methods protocol verification privacy


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A formal language for electronic contracts C Prisacariu, G Schneider International Conference on Formal Methods for Open Object-Based Distributed …, 2007	139	2007
A methodology for security classification applied to smart grid infrastructures M Shrestha, C Johansen, J Noll, D Roverso International Journal of Critical Infrastructure Protection 28, 100342, 2020	96	2020
A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012	70	2012
Timers for distributed systems G Ciobanu, C Prisacariu Electronic Notes in Theoretical Computer Science 164 (3), 81-99, 2006	70	2006
Behavioural Computer Science: an agenda for combining modelling of human and system behaviours T Pedersen, C Johansen, A Jøsang Human-centric Computing and Information Sciences 8 (1), 7, 2018	53*	2018
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008	49	2008
Synchronous kleene algebra C Prisacariu The Journal of Logic and Algebraic Programming 79 (7), 608-635, 2010	47*	2010
CL: An Action-Based Logic for Reasoning about Contracts C Prisacariu, G Schneider International Workshop on Logic, Language, Information, and Computation, 335-349, 2009	46	2009
Model checking contracts–a case study G Pace, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2007	44	2007
Efficient verification of railway infrastructure designs against standard regulations B Luteberget, C Johansen Formal Methods in System Design 52, 1-32, 2018	38	2018
Rule-based consistency checking of railway infrastructure designs B Luteberget, C Johansen, M Steffen Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016	29*	2016
Studying human-to-computer bias transference J Johansen, T Pedersen, C Johansen AI & SOCIETY 38 (4), 1659-1683, 2023	28*	2023
Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference T Pedersen, C Johansen AI & SOCIETY 35 (3), 519-532, 2020	26	2020
Probabilistic modelling of humans in security ceremonies C Johansen, A Jøsang Data Privacy Management, Autonomous Spontaneous Security, and Security …, 2015	26	2015
Languages of higher-dimensional automata U Fahrenberg, C Johansen, G Struth, K Ziemiański Mathematical Structures in Computer Science, 1-39, 2021	24	2021
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications C Johansen, A Mujaj, H Arshad, J Noll Security and Communication Networks, 2018	23*	2018
Generating Posets Beyond N U Fahrenberg, C Johansen, G Struth, RB Thapa International Conference on Relational and Algebraic Methods in Computer …, 2020	21	2020
Participatory verification of railway infrastructure by representing regulations in RailCNL B Luteberget, JJ Camilleri, C Johansen, G Schneider Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017	21	2017
Design-time railway capacity verification using SAT modulo discrete event simulation B Luteberget, K Claessen, C Johansen 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018	19	2018
A stable non-interleaving early operational semantics for the pi-calculus TT Hildebrandt, C Johansen, H Normann Journal of Logical and Algebraic Methods in Programming 104, 227-253, 2019	17	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors