Lars-Henrik Eriksson

20 papers A 1B 3C 1Journal 6Unranked 6

Year	Rank	Type	Title / 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