1. 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

  2. Science of Computer Programming

    ISSNs: 0167-6423

    Additional searchable ISSN (Electronic): 1872-7964

    Elsevier, Netherlands

    BFI (2020): BFI-level 2, Scopus rating (2018): CiteScore 1.45 SJR 0.317 SNIP 1.277, Web of Science (2020): Indexed yes, ISI indexed (2013): ISI indexed yes

    Central database

    Journal

  3. Software Testing, Verification and Reliability

    ISSNs: 0960-0833

    Additional searchable ISSN (Electronic): 1099-1689

    JohnWiley & Sons Ltd., United Kingdom

    BFI (2020): BFI-level 2, Scopus rating (2018): CiteScore 2.34 SJR 0.426 SNIP 1.78, Web of Science (2020): Indexed yes

    Central database

    Journal

  4. Theoretical Computer Science

    ISSNs: 0304-3975

    Elsevier, Netherlands

    BFI (2020): BFI-level 2, Scopus rating (2018): CiteScore 1.23 SJR 0.494 SNIP 1.072, Web of Science (2020): Indexed yes, ISI indexed (2013): ISI 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