A finitary version of the calculus of partial inductive definitions LH Eriksson International Workshop on Extensions of Logic Programming, 89-134, 1991 | 47 | 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 (4), 381-404, 1990 | 41 | 1990 |

Incorporating mutable arrays into logic programming LH Eriksson, M Rayner Second International Conference on Logic Programming, 76-82, 1984 | 29 | 1984 |

A survey of GCLA: a definitional approach to logic programming M Aronsson, LH Eriksson, L Hallnäs, P Kreuger International Workshop on Extensions of Logic Programming, 49-99, 1989 | 25 | 1989 |

Modal logics for nominal transition systems J Parrow, J Borgström, LH Eriksson, RF Gutkovas, T Weber arXiv preprint arXiv:1904.02564, 2019 | 24 | 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 | 24* | 2015 |

Finitary partial inductive definitions as a general logic LH Eriksson International Workshop on Extensions of Logic Programming, 94-119, 1993 | 21 | 1993 |

Using formal methods in a retrospective safety case LH Eriksson International Conference on Computer Safety, Reliability, and Security, 31-44, 2004 | 19 | 2004 |

Pi: An interactive derivation editor for the calculus of partial inductive definitions LH Eriksson International Conference on Automated Deduction, 821-825, 1994 | 18 | 1994 |

Synthesis of a unification algorithm in a logic programming calculus LH Eriksson The Journal of Logic Programming 1 (1), 3-18, 1984 | 17 | 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 |

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 International Conference on Formal Techniques for Distributed Objects …, 2017 | 6 | 2017 |

Use of domain theories in applied formal methods LH Eriksson | 4 | 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 |