Science of Computer Programming

ISSNs: 0167-6423

Additional searchable ISSN (Electronic): 1872-7964

Elsevier BV, Netherlands

BFI (2017): BFI-level 2, Scopus rating (2015): SJR 0.57 SNIP 1.38, ISI indexed (2013): ISI indexed yes

Central database

Journal

  1. 2017
  2. Published

    Cost-effective evolution of research prototypes into end-user tools: The MACH case study. / Störrle, Harald.

    In: Science of Computer Programming, Vol. 134, 2017, p. 47–60.

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

  3. Published

    Formal modelling and verification of interlocking systems featuring sequential release. / Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan.

    In: Science of Computer Programming, Vol. 133, 2017, p. 91-115.

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

  4. 2016
  5. Published

    Preface: Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). / Bosnacki, Dragan; Edelkamp, Stefan; Lluch Lafuente, Alberto; Wijs, Anton.

    In: Science of Computer Programming, Vol. 130, 2016, p. 1.

    Publication: ResearchEditorial – Annual report year: 2017

  6. Validation process for railway interlocking systems. / Bonacchi, A. ; Fantechi, Alessandro; Bacherin, S. ; Tempestini, M. .

    In: Science of Computer Programming, Vol. 128, 2016, p. 2-21.

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

  7. 2015
  8. Published

    Systematic derivation of correct variability-aware program analyses. / Midtgaard, Jan; Dimovski, Aleksandar S.; Brabrand, Claus; Wasowski, Andrzej.

    In: Science of Computer Programming, Vol. 105, 2015, p. 145-170.

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

  9. 2014
  10. Modelling and analyzing adaptive self-assembly strategies with Maude. / Vandin, Andrea; Bruni, Roberto; Gadducci, Fabio; Corradini, Andrea; Lluch Lafuente, Alberto.

    In: Science of Computer Programming, 2014.

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

  11. Published

    The logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    In: Science of Computer Programming, Vol. 83, 2014, p. 80-105.

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

  12. 2013
  13. Constraint design rewriting. / Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo.

    In: Science of Computer Programming, 2013.

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

  14. Published

    Foreword: Science of Computer Programming, special section from the Principles and Practice of Programming in Java conference. / Aleksy, Markus; Gitzel, Ralf; Krall, Andreas; Mössenböck, Hanspeter ; Probst, Christian W.; Stephenson, Ben .

    In: Science of Computer Programming, Vol. 78, 2013, p. 423-424.

    Publication: ResearchEditorial – Annual report year: 2013

  15. Published

    Predictive access control for distributed computation. / Yang, Fan; Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 78, No. 9, 2013, p. 1264-1277.

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

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word