Christian Johansen

Cited by

	All	Since 2016
Citations	676	345
h-index	13	11
i10-index	17	12

20062007200820092010201120122013201420152016201720182019202020215 17 40 35 49 42 43 31 22 27 47 53 67 72 81 24

Public access

View all

16 articles

1 article

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 for Mobile and Sensor Systems, University of OsloVerified email at its.uio.no
Manish ShresthaUniversity of OsloVerified email at student.matnat.uio.no
Thomas Troels HildebrandtProfessor, Computer Science Departement University of CopenhagenVerified email at di.ku.dk
Martin SteffenUniversity of OsloVerified email at ifi.uio.no
Olaf OweProfessor, Department of Informatics, University of OsloVerified email at ifi.uio.no
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Sergiu Bursucpostdoctoral researcher, University of LuxembourgVerified email at uni.lu
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Hamed ArshadDepartment of Informatics, University of OsloVerified email at ifi.uio.no
Ratan Bahadur ThapaPhD Student, University of OsloVerified email at ifi.uio.no
John J. CamilleriDigital Grammars ABVerified email at digitalgrammars.com
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
Amir TaherkordiUniversity of OsloVerified email at ifi.uio.no
Frank Eliassenprofessor of informatics at University of OsloVerified email at ifi.uio.no
Kay RömerProfessor, TU GrazVerified email at tugraz.at

Christian Johansen

Researcher at University of Oslo

Verified email at ifi.uio.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 International Conference on Formal Methods for Open Object-Based Distributed …, 2007	113	2007
Timers for distributed systems G Ciobanu, C Prisacariu Electronic Notes in Theoretical Computer Science 164 (3), 81-99, 2006	66	2006
A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012	49	2012
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008	45	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	41	2009
Synchronous kleene algebra C Prisacariu The Journal of Logic and Algebraic Programming 79 (7), 608-635, 2010	36*	2010
Model checking contracts–a case study G Pace, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2007	36	2007
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	25*	2018
Rule-based consistency checking of railway infrastructure designs B Luteberget, C Johansen, M Steffen International Conference on Integrated Formal Methods, 491-507, 2016	22	2016
Efficient verification of railway infrastructure designs against standard regulations B Luteberget, C Johansen Formal Methods in System Design 52 (1), 1-32, 2018	19	2018
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	17*	2020
A dynamic deontic logic over synchronous actions C Prisacariu University of Oslo (PhD thesis), 2010	15*	2010
Probabilistic modelling of humans in security ceremonies C Johansen, A Jøsang Data Privacy Management, Autonomous Spontaneous Security, and Security …, 2014	14	2014
Abstract specification of legal contracts C Prisacariu, G Schneider Proceedings of the 12th International Conference on Artificial Intelligence …, 2009	13*	2009
Barbed Bisimulations for Timed Distributed π-calculus G Ciobanu, C Prisacariu 2nd Int’l Conference on Intelligent Computer Communication and Processing …, 2006	12*	2006
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	10	2018
The Glory of the Past and Geometrical Concurrency C Prisacariu The Alan Turing Centenary (Turing-100), EPiC Series in Computing, 10, 252-267, 2012	10*	2012
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	9	2019
Participatory verification of railway infrastructure by representing regulations in railcnl B Luteberget, JJ Camilleri, C Johansen, G Schneider International Conference on Software Engineering and Formal Methods, 87-103, 2017	9*	2017
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications C Johansen, A Mujaj, H Arshad, J Noll arXiv preprint arXiv:1807.07952, 2018	8*	2018

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

Upload PDF

Follow this author

Cited by

Co-authors