Andrea Vandin

Andrea Vandin

Associate Professor

Richard Petersens Plads

Building: 324, 180

2800 Kgs. Lyngby

Denmark

Phone: 45253734

I am an Associate Professor in the section Formal Methods for Safe and Secure Systems at DTU Compute.

Visit my home page for further details: http://people.compute.dtu.dk/anvan/

View graph of relations

View all »

View all »

  • Theoretical Computer Science

    ISSNs: 0304-3975

    Elsevier B.V., Netherlands

    BFI (2019): BFI-level 2, Scopus rating (2018): CiteScore 1.23 SJR 0.494 SNIP 1.072, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

    Central database

    Journal

  • Electronic Proceedings in Theoretical Computer Science

    ISSNs: 2075-2180

    Open Publishing Association, Australia

    Scopus rating (2018): CiteScore 0.53 SJR 0.305 SNIP 0.608, ISI indexed (2013): ISI indexed no, Web of Science (2019): Indexed yes

    Indexed in DOAJ

    Central database

    Journal

  • E A S S T Electronic Communications

    ISSNs: 1863-2122

    Additional searchable ISSN (Electronic): 1863-2122

    European Association of Software Science and Technology, Germany

    BFI (2019): BFI-level 1, Scopus rating (2018): CiteScore 0.58 SJR 0.15 SNIP 0.862, ISI indexed (2013): ISI indexed no

    Indexed in DOAJ

    Central database

    Journal

View all »

Download as:
Download as PDF
Select render style:
CVShortLong
PDF
Download as HTML
Select render style:
CVShortLong
HTML
Download as Word
Select render style:
CVShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

ID: 134911469