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 BV, Netherlands

    BFI (2018): BFI-level 2, Scopus rating (2017): CiteScore 1.24 SJR 0.3 SNIP 1.041, Web of Science (2018): Indexed yes, ISI indexed (2013): ISI indexed yes

    Central database

    Journal

  • Information Processing Letters

    ISSNs: 0020-0190

    Additional searchable ISSN (Electronic): 1872-6119

    Elsevier BV, Netherlands

    BFI (2018): BFI-level 2, Scopus rating (2017): CiteScore 1.03 SJR 0.412 SNIP 0.884, Web of Science (2018): 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 (2017): CiteScore 1.39, 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