Lars-Henrik Eriksson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1994–2017
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FORTE | Weak Nominal Modal Logic. | Joachim Parrow, Tjark Weber, Johannes Borgstrm, Lars-Henrik Eriksson |
| 2015 | CONCUR | Modal Logics for Nominal Transition Systems. | Joachim Parrow, Johannes Borgstrm, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber |
| 2004 | SAFECOMP | Using Formal Methods in a Retrospective Safety Case. | Lars-Henrik Eriksson |
| 1996 | SAFECOMP | Specifying Railway Interlocking Requirements for Practical Use. | Lars-Henrik Eriksson |
| 1994 | CADE | Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. | Lars-Henrik Eriksson |