Dines Bjørner

  1. Annals of Software Engineering

    ISSNs: 1022-7091

    Additional searchable ISSN (Electronic): 1573-7489

    Kluwer Academic Publishers, Netherlands

    BFI (2012): BFI-level 1, Scopus rating (2005): SJR 0.597 SNIP 2.499, Web of Science (2000): Indexed yes

    Central database

    Journal

  2. Formal Aspects of Computing

    ISSNs: 0934-5043

    Additional searchable ISSN (Electronic): 1433-299X

    Springer U K, United Kingdom

    BFI (2018): BFI-level 2, Scopus rating (2016): CiteScore 1.1 SJR 0.425 SNIP 1.487, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

    Central database

    Journal

  3. Future Generation Computer Systems

    ISSNs: 0167-739X

    Additional searchable ISSN (Electronic): 1872-7115

    Elsevier BV * North-Holland, Netherlands

    BFI (2018): BFI-level 1, Scopus rating (2016): CiteScore 5.6 SJR 1.151 SNIP 3.383, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

    Central database

    Journal

  4. Journal of Logical and Algebraic Methods in Programming

    ISSNs: 2352-2208

    Elsevier, Denmark

    Scopus rating (2016): CiteScore 0.88 SJR 0.394 SNIP 1.175, Web of Science (2018): Indexed yes

    Local database

    Journal

  5. Journal of Universal Computer Science

    ISSNs: 0948-695X

    Institut fuer Informationssysteme und Computer Medien, Austria

    BFI (2018): BFI-level 1, Scopus rating (2016): CiteScore 0.98 SJR 0.307 SNIP 0.743, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

    Central database

    Journal

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word