Robin Sharp

  1. Formal Methods in System Design

    ISSNs: 0925-9856

    Additional searchable ISSN (Electronic): 1572-8102

    Springer New York LLC, United States

    BFI (2017): BFI-level 2, Scopus rating (2016): CiteScore 2.03 SJR 0.679 SNIP 1.941, ISI indexed (2013): ISI indexed yes, Web of Science (2017): Indexed Yes

    Central database

    Journal

  2. Journal of Computing and Information Science in Engineering

    ISSNs: 1530-9827

    A S M E International, United States

    BFI (2017): BFI-level 1, Scopus rating (2016): CiteScore 1.44 SJR 0.41 SNIP 0.888, ISI indexed (2013): ISI indexed yes, Web of Science (2017): Indexed Yes

    Central database

    Journal

  3. Lecture Notes in Computer Science

    ISSNs: 0302-9743

    Additional searchable ISSN (Electronic): 1611-3349

    Springer, Germany

    BFI (2017): BFI-level 1, Scopus rating (2016): CiteScore 0.67 SJR 0.315 SNIP 0.552, ISI indexed (2013): ISI indexed no, Web of Science (2016): Indexed yes

    Central database

    Journal: Book series

  4. Nordic Journal of Computing

    ISSNs: 1236-6064

    University of Helsinki Department of Computer Science, Finland

    BFI (2016): BFI-level 1, ISI indexed (2013): ISI indexed no

    Central database

    Journal

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