Christian Johansen

Cited by

	All	Since 2018
Citations	914	472
h-index	16	12
i10-index	22	13

160

120

2006200720082009201020112012201320142015201620172018201920202021202220235 18 40 34 51 42 43 29 23 28 46 59 62 71 82 109 141 7

Public access

View all

23 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
Bjørnar LutebergetResearch Scientist, SINTEFVerified email at sintef.no
Josef NollProfessor, Digital Transformation & Societal Security, University of OsloVerified email at its.uio.no
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Manish ShresthaUniversity of OsloVerified email at student.matnat.uio.no
Olaf OweProfessor, Department of Informatics, 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
Hamed ArshadPhD in Informatics, University of OsloVerified email at ifi.uio.no
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Sergiu Bursucpostdoctoral researcher, University of LuxembourgVerified email at uni.lu
Simone Fischer-HübnerProfessor, Karlstad UniversityVerified email at kau.se
Ross HorneUniversity of LuxembourgVerified email at uni.lu
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
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl

Christian Johansen

Professor of Theoretical Computer Science at NTNU - Norwegian University of Science and Technology

Verified email at ntnu.no - Homepage

concurrency formal methods logic in computer science security protocols 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 FMOODS 7, 174-189, 2007	131	2007
Timers for distributed systems G Ciobanu, C Prisacariu Electronic Notes in Theoretical Computer Science 164 (3), 81-99, 2006	70	2006
A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012	61	2012
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	55	2020
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider Automated Technology for Verification and Analysis: 6th International …, 2008	48	2008
CL: An Action-Based Logic for Reasoning about Contracts C Prisacariu, G Schneider International Workshop on Logic, Language, Information, and Computation, 335-349, 2009	47	2009
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	43*	2018
Synchronous kleene algebra C Prisacariu The Journal of Logic and Algebraic Programming 79 (7), 608-635, 2010	43*	2010
Model checking contracts–a case study G Pace, C Prisacariu, G Schneider Automated Technology for Verification and Analysis: 5th International …, 2007	42	2007
Efficient verification of railway infrastructure designs against standard regulations B Luteberget, C Johansen Formal Methods in System Design 52, 1-32, 2018	29	2018
Rule-based consistency checking of railway infrastructure designs B Luteberget, C Johansen, M Steffen Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016	27*	2016
Probabilistic modelling of humans in security ceremonies C Johansen, A Jøsang Data Privacy Management, Autonomous Spontaneous Security, and Security …, 2015	23	2015
Generating Posets Beyond N U Fahrenberg, C Johansen, G Struth, RB Thapa International Conference on Relational and Algebraic Methods in Computer …, 2020	17	2020
A dynamic deontic logic over synchronous actions C Prisacariu University of Oslo (PhD thesis), 2010	17*	2010
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	16	2018
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	16*	2018
Abstract specification of legal contracts C Prisacariu, G Schneider Proceedings of the 12th International Conference on Artificial Intelligence …, 2009	16*	2009
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	15*	2017
The Glory of the Past and Geometrical Concurrency C Prisacariu The Alan Turing Centenary (Turing-100), EPiC Series in Computing, 10, 252-267, 2012	12*	2012
Barbed Bisimulations for Timed Distributed π-calculus G Ciobanu, C Prisacariu 2nd Int’l Conference on Intelligent Computer Communication and Processing …, 2006	12*	2006

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