Science of Computer Programming

ISSNs: 0167-6423, 0167-6423

Additional searchable ISSN (Electronic): 1872-7964

Elsevier BV, Netherlands

BFI (2015): BFI-level 2, ISI indexed (2013): ISI indexed yes

Central database

Journal

  1. Research › Journal article
  2. Published

    Abstract Interpretation of Mobile Ambients. / Nielson, Flemming; Hansen, René Rydhof; Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 47, No. 2-3, 2003, p. 145-175.

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

  3. Published

    A Hoare-like proof system for analysing the computation time of programs. / Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 9, No. 2, 1987, p. 107-136.

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

  4. Published

    A portable virtual machine target for proof-carrying code. / Franz, Michael; Chandra, Deepak; Gal, Andreas; Haldar, Vivek; Probst, Christian W.; Reig, Fermin; Wang, Ning.

    In: Science of Computer Programming, Vol. 57, No. 3, 2005, p. 275-294.

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

  5. Published

    Automatic Binding Time Analysis for a Typed Lambda-Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Science of Computer Programming, Vol. 10, No. 2, 1988, p. 139-176.

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

  6. 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

  7. E-pub ahead of print

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

    In: Science of Computer Programming, 2015.

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

  8. 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

  9. 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

  10. 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

  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

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