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.489 SNIP 2.378, 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 (2017): SJR 0.377 SNIP 1.281, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

    Central database

    Journal

  3. Future Generation Computer Systems - The International Journal of eScience

    ISSNs: 0167-739X

    Additional searchable ISSN (Electronic): 1872-7115

    Elsevier , Netherlands

    BFI (2018): BFI-level 1, Scopus rating (2017): SJR 0.844 SNIP 2.472, 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 (2017): SJR 0.325 SNIP 0.959, Web of Science (2018): Indexed yes

    Local database

    Journal

  5. Journal of Universal Computer Science

    ISSNs: 0948-695X

    Additional searchable ISSN (Electronic): 0948-6968

    Institut fuer Informationssysteme und Computer Medien, Austria

    BFI (2018): BFI-level 1, Scopus rating (2017): SJR 0.357 SNIP 1.042, 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