| A finitary version of the calculus of partial inductive definitions LH Eriksson Extensions of Logic Programming: Second International Workshop, ELP'91 …, 1992 | 47 | 1992 |
| The programming language GCLA—a definitional approach to logic programming M Aronsson, LH Eriksson, A Gäredal, L Hallnäs, P Olin New Generation Computing 7, 381-404, 1990 | 46 | 1990 |
| Modal logics for nominal transition systems J Parrow, J Borgström, LH Eriksson, RF Gutkovas, T Weber arXiv preprint arXiv:1904.02564, 2019 | 29 | 2019 |
| Modal Logics for Nominal Transition Systems J Parrow, J Borgström, LH Eriksson, R Gutkovas, T Weber 26th International Conference on Concurrency Theory (CONCUR 2015), 198-211, 2015 | 29* | 2015 |
| Incorporating mutable arrays into logic programming LH Eriksson, M Rayner Second International Conference on Logic Programming, 76-82, 1984 | 28 | 1984 |
| A survey of GCLA: a definitional approach to logic programming M Aronsson, LH Eriksson, L Hallnäs, P Kreuger Extensions of Logic Programming: International Workshop Tübingen, FRG …, 1991 | 24 | 1991 |
| Finitary partial inductive definitions as a general logic LH Eriksson Extensions of Logic Programming: 4th International Workshop, ELP'93 St …, 1994 | 22 | 1994 |
| Using formal methods in a retrospective safety case LH Eriksson Computer Safety, Reliability, and Security: 23rd International Conference …, 2004 | 20 | 2004 |
| Pi: An interactive derivation editor for the calculus of partial inductive definitions LH Eriksson CADE 814, 821-825, 1994 | 20 | 1994 |
| Synthesis of a unification algorithm in a logic programming calculus LH Eriksson The Journal Of Logic Programming 1 (1), 3-18, 1984 | 16 | 1984 |
| Specifying railway interlocking requirements for practical use LH Eriksson SAFECOMP 96, 243-249, 1997 | 15 | 1997 |
| Formal verification of railway interlockings LH Eriksson Swedish National Rail Administration, 1997 | 15 | 1997 |
| Formalising railway interlocking requirements LH Eriksson Swedish National Rail Administration, 1997 | 15 | 1997 |
| Weak nominal modal logic J Parrow, T Weber, J Borgström, LH Eriksson Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017 | 7 | 2017 |
| An Interlocking Specification Language LH Eriksson, M Fahlén ASPECT-IRSE'99, 1999 | 7 | 1999 |
| Using formal methods for quality assurance of interlocking systems LH Eriksson, K Johansson WIT Transactions on The Built Environment 37, 1998 | 7 | 1998 |
| Use of domain theories in applied formal methods LH Eriksson | 5 | 2006 |
| Spezifikation von Stellwerkslogik mit formalen Methoden C Trog, LH Eriksson Signal+ Draht, 2004 | 4 | 2004 |
| Formal specification and validation of a cache-coherence protocol LH Eriksson, F Orava Swedish Institute of Computer Science, 1995 | 4* | 1995 |
| Modal logics for nominal transition systems. Archive of Formal Proofs, October 2016 T Weber, LH Eriksson, J Parrow, J Borgström, R Gutkovas | 3 | 2016 |
Joachim ParrowProfessor in Computing Science, Uppsala UniversityVerified email at it.uu.se
