The Journal of Logic and Algebraic Programming

ISSNs: 1567-8326

Elsevier BV North-Holland, Netherlands

ISI indexed (2013): yes, FI (2012): 2

Central database

Journal

  1. 2012
  2. Published

    Guest Editor’s foreword. / Hansen, Michael Reichhardt.

    In: Journal of Logic and Algebraic Programming, Vol. 81, No. 4, 2012, p. 355.

    Publication: ResearchEditorial – Annual report year: 2012

  3. Published

    Static Analysis of IMC. / Skrypnyuk, Nataliya; Nielson, Flemming; Pilegaard, Henrik.

    In: Journal of Logic and Algebraic Programming, Vol. 81, No. 4, 2012, p. 522-540.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  4. 2009
  5. Matching in security-by-contract for mobile code. / Bielova, N.; Dragoni, Nicola; Massacci, F; Naliuka, K.; Siahaan, I.

    In: Journal of Logic and Algebraic Programming, Vol. 78, No. 5, 2009, p. 340-358.

    Publication: Research - peer-reviewJournal article – Annual report year: 2009

  6. 2008
  7. Published

    Models and formal verification of multiprocessor system-on-chips. / Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan.

    In: Journal of Logic and Algebraic Programming, Vol. 77, No. 1-2, 2008, p. 1-19.

    Publication: Research - peer-reviewJournal article – Annual report year: 2008

  8. Published

    Pathway Analysis for BioAmbients. / Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis.

    In: Journal of Logic and Algebraic Programming, Vol. 77, No. 1-2, 2008, p. 92-130.

    Publication: Research - peer-reviewJournal article – Annual report year: 2008

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word