Lars-Henrik Eriksson

According to our database, Lars-Henrik Eriksson authored at least 14 papers between 1984 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Why Does It Fail? Explanation of Verification Failures.

Lars-Henrik Eriksson

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2017

Weak Nominal Modal Logic.

Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2015

Modal Logics for Nominal Transition Systems.

Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2006

The GTO Toolset and Method.

Lars-Henrik Eriksson

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

2004

Using Formal Methods in a Retrospective Safety Case.

Lars-Henrik Eriksson

Proceedings of the Computer Safety, 2004

1996

Specifying Railway Interlocking Requirements for Practical Use.

Lars-Henrik Eriksson

Proceedings of the 15th International Conference on Computer Safety, 1996

1994

Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.

Lars-Henrik Eriksson

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Finitary Partial Inductive Definitions as a General Logic.

Lars-Henrik Eriksson

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1991

The GCLA II Programming Language.

Martin Aronsson, Lars-Henrik Eriksson

Proceedings of the Processing Declarative Knowledge, 1991

A Finitary Version of the Calculus of Partial Inductive Defintions.

Lars-Henrik Eriksson

Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

1990

The programming language GCLA - A definitional approach to logic programming.

Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin

New Gener. Comput., 1990

1989

GCLA: Generalized Horn Clauses as a Programming Language.

Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin

Proceedings of the Second Scandinavian Conference on Artificial Intelligence 1989, 1989

A Survey of GCLA: A Definitional Approach to Logic Programming.

Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger

Proceedings of the Extensions of Logic Programming, 1989

1984

Synthesis of a Unification Algorithm in a Logic Programming Calculus.

Lars-Henrik Eriksson

J. Log. Program., 1984