| A finitary version of the calculus of partial inductive definitions LH Eriksson International Workshop on Extensions of Logic Programming, 89-134, 1991 | 48 | 1991 |
| 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 |
| Incorporating mutable array into logic programming LH Eriksson Proc. Second International Conference on Logic Programming, 76-82, 1984 | 31 | 1984 |
| Modal logics for nominal transition systems J Parrow, J Borgström, LH Eriksson, RF Gutkovas, T Weber arXiv preprint arXiv:1904.02564, 2019 | 30 | 2019 |
| 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 International Workshop on Extensions of Logic Programming, 94-119, 1993 | 22 | 1993 |
| Using formal methods in a retrospective safety case LH Eriksson International Conference on Computer Safety, Reliability, and Security, 31-44, 2004 | 20 | 2004 |
| Synthesis of a unification algorithm in a logic programming calculus LH Eriksson The Journal Of Logic Programming 1 (1), 3-18, 1984 | 20 | 1984 |
| Pi: An interactive derivation editor for the calculus of partial inductive definitions LH Eriksson International Conference on Automated Deduction, 821-825, 1994 | 18 | 1994 |
| 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 |
| Specifying railway interlocking requirements for practical use LH Eriksson SAFECOMP 96, 243-249, 1997 | 14 | 1997 |
| 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 |
| Weak nominal modal logic J Parrow, T Weber, J Borgström, LH Eriksson Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017 | 5 | 2017 |
| 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 |
| FME 2002: Formal Methods-Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings LH Eriksson, PA Lindsay Springer, 2003 | 3 | 2003 |
| Some Technical Aspects of an Interlocking Specification language LH Eriksson FMERail Workshop 4, 12-14, 1999 | 3 | 1999 |
Joachim ParrowProfessor in Computing Science, Uppsala UniversityVerified email at it.uu.se
