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
471991
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
411990
Incorporating mutable arrays into logic programming
LH Eriksson, M Rayner
Second International Conference on Logic Programming, 76-82, 1984
291984
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
251989
Modal logics for nominal transition systems
J Parrow, J Borgström, LH Eriksson, RF Gutkovas, T Weber
arXiv preprint arXiv:1904.02564, 2019
242019
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
211993
Using formal methods in a retrospective safety case
LH Eriksson
International Conference on Computer Safety, Reliability, and Security, 31-44, 2004
192004
Pi: An interactive derivation editor for the calculus of partial inductive definitions
LH Eriksson
International Conference on Automated Deduction, 821-825, 1994
181994
Synthesis of a unification algorithm in a logic programming calculus
LH Eriksson
The Journal of Logic Programming 1 (1), 3-18, 1984
171984
Specifying railway interlocking requirements for practical use
LH Eriksson
SAFECOMP 96, 243-249, 1997
151997
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
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
International Conference on Formal Techniques for Distributed Objects …, 2017
62017
Use of domain theories in applied formal methods
LH Eriksson
42006
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
The system can't perform the operation now. Try again later.
Articles 1–20