Lars-Henrik Eriksson

20 papers A 1B 3C 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Why does it fail? Explanation of verification failures.
CoRR
Lars-Henrik Eriksson
2021 J jnl
Modal Logics for Nominal Transition Systems.
Log. Methods Comput. Sci.
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
2019 J jnl
Modal Logics for Nominal Transition Systems.
CoRR
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
2017 C conf
Weak Nominal Modal Logic.
FORTE
Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson
2016 J jnl
Modal Logics for Nominal Transition Systems.
Arch. Formal Proofs
Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, Ramunas Gutkovas
2015 B conf
Modal Logics for Nominal Transition Systems.
CONCUR
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
2006 — conf
The GTO Toolset and Method.
AVoCS
Lars-Henrik Eriksson
2004 B conf
Using Formal Methods in a Retrospective Safety Case.
SAFECOMP
Lars-Henrik Eriksson
2002 — ed.
FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings
FME
Lars-Henrik Eriksson, Peter A. Lindsay
1996 B conf
Specifying Railway Interlocking Requirements for Practical Use.
SAFECOMP
Lars-Henrik Eriksson
1994 — ed.
ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi
1994 A conf
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.
CADE
Lars-Henrik Eriksson
1993 — conf
Finitary Partial Inductive Definitions as a General Logic.
ELP
Lars-Henrik Eriksson
1992 — ed.
Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings
ELP
Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister
1991 — conf
A Finitary Version of the Calculus of Partial Inductive Defintions.
ELP
Lars-Henrik Eriksson
1991 — conf
The GCLA II Programming Language.
PDK
Martin Aronsson, Lars-Henrik Eriksson
1990 J jnl
The programming language GCLA - A definitional approach to logic programming.
New Gener. Comput.
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin
1989 — conf
A Survey of GCLA: A Definitional Approach to Logic Programming.
ELP
Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger
1989 — conf
GCLA: Generalized Horn Clauses as a Programming Language.
SCAI
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin
1984 J jnl
Synthesis of a Unification Algorithm in a Logic Programming Calculus.
J. Log. Program.
Lars-Henrik Eriksson