Language-Based Technology

Former organisational unit. 31/12/2015. Taken over by Formal Methods

Close

Organisation profile

 

Contact information

Matematiktorvet
303 B
DK-2800
Kgs. Lyngby
Denmark
  • Phone: +45 4525 3031
View graph of relations

View all »

Prizes

(1)
  • Science of Computer Programming

    ISSNs: 0167-6423

    Additional searchable ISSN (Electronic): 1872-7964

    Elsevier B.V., Netherlands

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

    Central database

    Journal

  • Information Processing Letters

    ISSNs: 0020-0190

    Additional searchable ISSN (Electronic): 1872-6119

    Elsevier B.V., Netherlands

    BFI (2019): BFI-level 2, Scopus rating (2018): CiteScore 1.29 SJR 0.4 SNIP 0.972, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

    Central database

    Journal

  • Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications

    ISSNs: 2093-5374, 2093-5374

    Additional searchable ISSN (Electronic): 2093-5382

    Innovative Information Science & Technology Research Group, Korea, Republic of

    Scopus rating (2018): CiteScore 2.57, ISI indexed (2013): ISI indexed no

    Central database

    Journal

Most downloaded publications

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

ID: 52516344