Logical Methods in Computer Science

ISSNs: 1860-5974

Additional searchable ISSN (Electronic): 1860-5974

International Federation for Computational Logic, Germany

BFI (2020): BFI-level 2, Scopus rating (2018): CiteScore 1.07 SJR 0.459 SNIP 0.881, Web of Science (2020): Indexed yes, ISI indexed (2013): ISI indexed yes

Indexed in DOAJ

Central database

Journal

  1. 2017
  2. Published

    A coordination language for databases. / Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    In: Logical Methods in Computer Science, Vol. 13, No. 1, 2017.

    Research output: Contribution to journalJournal article – Annual report year: 2016Researchpeer-review

  3. Published

    Asynchronous Distributed Execution of Fixpoint-Based Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele ; Montanari, Ugo .

    In: Logical Methods in Computer Science, Vol. 13, No. 1, 2017.

    Research output: Contribution to journalJournal article – Annual report year: 2018Researchpeer-review

  4. 2013
  5. Published

    Bisimulations meet PCTL equivalences for probabilistic automata. / Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming.

    In: Logical Methods in Computer Science, Vol. 9, No. 2, 7, 2013.

    Research output: Contribution to journalJournal article – Annual report year: 2013Researchpeer-review

  6. 2012
  7. Published

    Efficient CSL Model Checking Using Stratification. / Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger.

    In: Logical Methods in Computer Science, Vol. 8, No. 2, 2012, p. Paper 17.

    Research output: Contribution to journalJournal article – Annual report year: 2012Researchpeer-review