Follow
Lars-Henrik Eriksson
Lars-Henrik Eriksson
Verified email at it.uu.se
Title
Cited by
Cited by
Year
A finitary version of the calculus of partial inductive definitions
LH Eriksson
International Workshop on Extensions of Logic Programming, 89-134, 1991
481991
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
461990
Modal logics for nominal transition systems
J Parrow, J Borgström, LH Eriksson, RF Gutkovas, T Weber
arXiv preprint arXiv:1904.02564, 2019
322019
Incorporating mutable array into logic programming
LH Eriksson
Proc. Second International Conference on Logic Programming, 76-82, 1984
311984
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
241991
Finitary partial inductive definitions as a general logic
LH Eriksson
International Workshop on Extensions of Logic Programming, 94-119, 1993
221993
Using formal methods in a retrospective safety case
LH Eriksson
International Conference on Computer Safety, Reliability, and Security, 31-44, 2004
202004
Synthesis of a unification algorithm in a logic programming calculus
LH Eriksson
The Journal Of Logic Programming 1 (1), 3-18, 1984
201984
Pi: An interactive derivation editor for the calculus of partial inductive definitions
LH Eriksson
International Conference on Automated Deduction, 821-825, 1994
181994
Formal verification of railway interlockings
LH Eriksson
Swedish National Rail Administration, 1997
151997
Formalising railway interlocking requirements
LH Eriksson
Swedish National Rail Administration, 1997
151997
Specifying railway interlocking requirements for practical use
LH Eriksson
SAFECOMP 96, 243-249, 1997
141997
An Interlocking Specification Language
LH Eriksson, M Fahlén
ASPECT-IRSE'99, 1999
71999
Using formal methods for quality assurance of interlocking systems
LH Eriksson, K Johansson
WIT Transactions on The Built Environment 37, 1998
71998
Weak nominal modal logic
J Parrow, T Weber, J Borgström, LH Eriksson
Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017
52017
Use of domain theories in applied formal methods
LH Eriksson
52006
Spezifikation von Stellwerkslogik mit formalen Methoden
C Trog, LH Eriksson
Signal+ Draht, 2004
42004
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
32016
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
32003
The system can't perform the operation now. Try again later.
Articles 1–20