BibTeX records: Lars-Henrik Eriksson

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Lars-Henrik Eriksson

download as .bib file

@article{DBLP:journals/lmcs/ParrowBEGW21,
  author       = {Joachim Parrow and
                  Johannes Borgstr{\"{o}}m and
                  Lars{-}Henrik Eriksson and
                  Ramunas Gutkovas and
                  Tjark Weber},
  title        = {Modal Logics for Nominal Transition Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {17},
  number       = {1},
  year         = {2021},
  url          = {https://lmcs.episciences.org/7137},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/ParrowBEGW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1904-02564,
  author       = {Joachim Parrow and
                  Johannes Borgstr{\"{o}}m and
                  Lars{-}Henrik Eriksson and
                  Ramunas Gutkovas and
                  Tjark Weber},
  title        = {Modal Logics for Nominal Transition Systems},
  journal      = {CoRR},
  volume       = {abs/1904.02564},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.02564},
  eprinttype    = {arXiv},
  eprint       = {1904.02564},
  timestamp    = {Wed, 24 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-02564.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/ParrowWBE17,
  author       = {Joachim Parrow and
                  Tjark Weber and
                  Johannes Borgstr{\"{o}}m and
                  Lars{-}Henrik Eriksson},
  editor       = {Ahmed Bouajjani and
                  Alexandra Silva},
  title        = {Weak Nominal Modal Logic},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
                  as Part of the 12th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
                  June 19-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60225-7\_13},
  doi          = {10.1007/978-3-319-60225-7\_13},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/ParrowWBE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/WeberEPBG16,
  author       = {Tjark Weber and
                  Lars{-}Henrik Eriksson and
                  Joachim Parrow and
                  Johannes Borgstr{\"{o}}m and
                  Ramunas Gutkovas},
  title        = {Modal Logics for Nominal Transition Systems},
  journal      = {Arch. Formal Proofs},
  volume       = {2016},
  year         = {2016},
  url          = {https://www.isa-afp.org/entries/Modal\_Logics\_for\_NTS.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/WeberEPBG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ParrowBEGW15,
  author       = {Joachim Parrow and
                  Johannes Borgstr{\"{o}}m and
                  Lars{-}Henrik Eriksson and
                  Ramunas Gutkovas and
                  Tjark Weber},
  editor       = {Luca Aceto and
                  David de Frutos{-}Escrig},
  title        = {Modal Logics for Nominal Transition Systems},
  booktitle    = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
                  Madrid, Spain, September 1.4, 2015},
  series       = {LIPIcs},
  volume       = {42},
  pages        = {198--211},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.198},
  doi          = {10.4230/LIPICS.CONCUR.2015.198},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/ParrowBEGW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Eriksson07,
  author       = {Lars{-}Henrik Eriksson},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {The {GTO} Toolset and Method},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {77--91},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.030},
  doi          = {10.1016/J.ENTCS.2007.05.030},
  timestamp    = {Tue, 24 Jan 2023 14:10:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Eriksson07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Eriksson04,
  author       = {Lars{-}Henrik Eriksson},
  editor       = {Maritta Heisel and
                  Peter Liggesmeyer and
                  Stefan Wittmann},
  title        = {Using Formal Methods in a Retrospective Safety Case},
  booktitle    = {Computer Safety, Reliability, and Security, 23rd International Conference,
                  {SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3219},
  pages        = {31--44},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30138-7\_4},
  doi          = {10.1007/978-3-540-30138-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Eriksson04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fm/2002,
  editor       = {Lars{-}Henrik Eriksson and
                  Peter A. Lindsay},
  title        = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
                  of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2391},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45614-7},
  doi          = {10.1007/3-540-45614-7},
  isbn         = {3-540-43928-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Eriksson96,
  author       = {Lars{-}Henrik Eriksson},
  editor       = {Erwin Schoitsch},
  title        = {Specifying Railway Interlocking Requirements for Practical Use},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {243--249},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_21},
  doi          = {10.1007/978-1-4471-0937-2\_21},
  timestamp    = {Tue, 25 Jun 2019 15:55:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Eriksson96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Eriksson94,
  author       = {Lars{-}Henrik Eriksson},
  editor       = {Alan Bundy},
  title        = {Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive
                  Definitions},
  booktitle    = {Automated Deduction - CADE-12, 12th International Conference on Automated
                  Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {814},
  pages        = {821--825},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58156-1\_68},
  doi          = {10.1007/3-540-58156-1\_68},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Eriksson94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iclp/1994w10,
  editor       = {Roy Dyckhoff and
                  Lars{-}Henrik Eriksson and
                  Alberto Momigliano and
                  Mario Ornaghi},
  title        = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic
                  Programming, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/1994w10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Eriksson93,
  author       = {Lars{-}Henrik Eriksson},
  editor       = {Roy Dyckhoff},
  title        = {Finitary Partial Inductive Definitions as a General Logic},
  booktitle    = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
                  St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {798},
  pages        = {94--119},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-58025-5\_52},
  doi          = {10.1007/3-540-58025-5\_52},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Eriksson93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/elp/1991,
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0013601},
  doi          = {10.1007/BFB0013601},
  isbn         = {3-540-55498-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Eriksson91,
  author       = {Lars{-}Henrik Eriksson},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {A Finitary Version of the Calculus of Partial Inductive Defintions},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {89--134},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013605},
  doi          = {10.1007/BFB0013605},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Eriksson91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdk/AronssonE91,
  author       = {Martin Aronsson and
                  Lars{-}Henrik Eriksson},
  editor       = {Harold Boley and
                  Michael M. Richter},
  title        = {The {GCLA} {II} Programming Language},
  booktitle    = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
                  Germany, July 1-3, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {567},
  pages        = {399--401},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013546},
  doi          = {10.1007/BFB0013546},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/pdk/AronssonE91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ngc/AronssonEGHO90,
  author       = {Martin Aronsson and
                  Lars{-}Henrik Eriksson and
                  Anette G{\"{a}}redal and
                  Lars Halln{\"{a}}s and
                  Peter Olin},
  title        = {The programming language {GCLA} - {A} definitional approach to logic
                  programming},
  journal      = {New Gener. Comput.},
  volume       = {7},
  number       = {4},
  pages        = {381--404},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF03037453},
  doi          = {10.1007/BF03037453},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/AronssonEGHO90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/AronssonEHK89,
  author       = {Martin Aronsson and
                  Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Per Kreuger},
  editor       = {Peter Schroeder{-}Heister},
  title        = {A Survey of {GCLA:} {A} Definitional Approach to Logic Programming},
  booktitle    = {Extensions of Logic Programming, International Workshop, T{\"{u}}bingen,
                  FRG, December 8-10, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {475},
  pages        = {49--99},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0038692},
  doi          = {10.1007/BFB0038692},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/AronssonEHK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scai/AronssonEGHO89,
  author       = {Martin Aronsson and
                  Lars{-}Henrik Eriksson and
                  Anette G{\"{a}}redal and
                  Lars Halln{\"{a}}s and
                  Peter Olin},
  editor       = {Hannu Jaakkola and
                  Seppo Linnainmaa},
  title        = {{GCLA:} Generalized Horn Clauses as a Programming Language},
  booktitle    = {Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings
                  of the 2nd SCAI, Tampere, Finland, June 12-15, 1989},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {4},
  pages        = {873--887},
  publisher    = {{IOS} Press},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 11:47:47 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/AronssonEGHO89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Eriksson84,
  author       = {Lars{-}Henrik Eriksson},
  title        = {Synthesis of a Unification Algorithm in a Logic Programming Calculus},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {1},
  pages        = {3--18},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90020-7},
  doi          = {10.1016/0743-1066(84)90020-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Eriksson84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.