| A formal language for electronic contracts C Prisacariu, G Schneider International Conference on Formal Methods for Open Object-Based Distributed …, 2007 | 101 | 2007 |
| Timers for distributed systems G Ciobanu, C Prisacariu Electronic Notes in Theoretical Computer Science 164 (3), 81-99, 2006 | 61 | 2006 |
| Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008 | 41 | 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 | 38 | 2009 |
| A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012 | 37 | 2012 |
| Model checking contracts–a case study G Pace, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2007 | 31 | 2007 |
| Synchronous kleene algebra C Prisacariu The Journal of Logic and Algebraic Programming 79 (7), 608-635, 2010 | 26* | 2010 |
| Rule-based consistency checking of railway infrastructure designs B Luteberget, C Johansen, M Steffen International Conference on Integrated Formal Methods, 491-507, 2016 | 17 | 2016 |
| A dynamic deontic logic over synchronous actions C Prisacariu University of Oslo (PhD thesis), 2010 | 16* | 2010 |
| Probabilistic modelling of humans in security ceremonies C Johansen, A Jøsang Data Privacy Management, Autonomous Spontaneous Security, and Security …, 2014 | 10 | 2014 |
| Towards a formal definition of electronic contracts C Prisacariu, G Schneider Research report http://urn. nb. no/URN: NBN: no-35645, 2007 | 10 | 2007 |
| Timed distributed π-calculus C Prisacariu, G Ciobanu Tech. Report FML-05-01, Institute of Computer Science, 2005 | 9* | 2005 |
| The Glory of the Past and Geometrical Concurrency C Prisacariu The Alan Turing Centenary (Turing-100), EPiC Series in Computing, 10, 252-267, 2012 | 8* | 2012 |
| Efficient verification of railway infrastructure designs against standard regulations B Luteberget, C Johansen Formal Methods in System Design 52 (1), 1-32, 2018 | 7 | 2018 |
| DEMO: OffPAD-Offline Personal Authenticating Device with Applications in Hospitals and e-Banking D Migdal, C Johansen, A Jøsang Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016 | 7* | 2016 |
| Towards behavioural computer science C Johansen, T Pedersen, A Jøsang IFIP International Conference on Trust Management, 154-163, 2016 | 7* | 2016 |
| Modal logic over higher dimensional automata C Prisacariu CONCUR 2010: International Conference on Concurrency Theory 6269 (LNCS), 494-508, 2010 | 7* | 2010 |
| Securing the End-points of the Signal Protocol using Intel SGX based Containers K Severinsen, C Johansen, S Bursuc HotSpot 2017: 5th Workshop on Hot Issues in Security Principles and Trust, 8, 2017 | 6 | 2017 |
| Concurrency models with causality and events as psi-calculi H Normann, C Prisacariu, T Hildebrandt ICE 2014: 7th Interaction and Concurrency Experience 166 (arXiv:1410.7466), 4-20, 2014 | 6 | 2014 |
| Actor network procedures as psi-calculi for security ceremonies C Prisacariu Graphical Models for Security (GraMSec'14) 148 (arXiv:1404.1988), 63-77, 2014 | 6 | 2014 |
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se